Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6207 Publications
2020 | Conference Paper | IST-REx-ID: 8286 | 
D.-A. Alistarh, G. Nadiradze, and A. Sabour, “Dynamic averaging load balancing on cycles,” in 47th International Colloquium on Automata, Languages, and Programming, Virtual, Online; Germany, 2020, vol. 168.
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 8287 |
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, and C. Schilling, “Reachability analysis of linear hybrid systems via block decomposition,” in Proceedings of the International Conference on Embedded Software, Virtual .
View
| Files available
| arXiv
2020 | Scientific Software | IST-REx-ID: 8294 |
R. Hauschild, “RGtracker.” IST Austria, 2020.
View
| Files available
| DOI
2020 | Preprint | IST-REx-ID: 8307 |
A. Stewart and E. Kokoris Kogias, “GRANDPA: A Byzantine finality gadget,” arXiv. .
View
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8308 |
P. Brighi, D. A. Abanin, and M. Serbyn, “Stability of mobility edges in disordered interacting systems,” Physical Review B, vol. 102, no. 6. American Physical Society, 2020.
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8318 |
J. Gutierrez-Fernandez et al., “Key role of quinone in the mechanism of respiratory complex I,” Nature Communications, vol. 11, no. 1. Springer Nature, 2020.
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8319 |
Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B. K. Malia, O. Hosten, and M. A. Kasevich, “Retrieval of cavity-generated atomic spin squeezing after free-space release,” Physical Review A, vol. 102, no. 1. APS, 2020.
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8320
S. A. Mukba, P. Vlasov, P. M. Kolosov, E. Y. Shuvalova, T. V. Egorova, and E. Z. Alkalaeva, “Expanding the genetic code: Unnatural base pairs in biological systems,” Molecular Biology, vol. 54, no. 4. Springer Nature, pp. 475–484, 2020.
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8321
S. A. Mukba, P. Vlasov, P. M. Kolosov, E. Y. Shuvalova, T. V. Egorova, and E. Z. Alkalaeva, “Expanding the genetic code: Unnatural base pairs in biological systems,” Molekuliarnaia biologiia, vol. 54, no. 4. Russian Academy of Sciences, pp. 531–541, 2020.
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Conference Paper | IST-REx-ID: 8322 |
S. Chakraborty, S. Dziembowski, and J. B. Nielsen, “Reverse firewalls for actively secure MPCs,” in Advances in Cryptology – CRYPTO 2020, Santa Barbara, CA, United States, 2020, vol. 12171, pp. 732–762.
View
| DOI
| Download Preprint (ext.)