Please note that ISTA 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.
8915 Publications
2020 | Scientific Software | IST-REx-ID: 8294 | 
R. Hauschild, “RGtracker.” IST Austria, 2020.
View
| Files available
| DOI
2020 | Submitted | Preprint | IST-REx-ID: 8307 |
A. Stewart and E. Kokoris Kogias, “GRANDPA: A Byzantine finality gadget,” arXiv. .
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2020 | Published | 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
| WoS
2020 | Published | 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.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | 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. American Physical Society, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | 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
| WoS
2020 | Published | 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 | Published | 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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 | Published | Journal Article | IST-REx-ID: 8323 |
J. Pach, “A farewell to Ricky Pollack,” Discrete and Computational Geometry, vol. 64. Springer Nature, pp. 571–574, 2020.
View
| DOI
| Download None (ext.)
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8324 |
P. Wang, H. Fu, K. Chatterjee, Y. Deng, and M. Xu, “Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time,” in Proceedings of the ACM on Programming Languages, 2020, vol. 4, no. POPL.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8325 |
N. Kalinin and M. Shkolnikov, “Sandpile solitons via smoothing of superharmonic functions,” Communications in Mathematical Physics, vol. 378, no. 9. Springer Nature, pp. 1649–1675, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8329 |
W. Schlemmer et al., “2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries,” Angewandte Chemie International Edition, vol. 59, no. 51. Wiley, pp. 22943–22946, 2020.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2020 | Published | Thesis | IST-REx-ID: 8332 |
B. Kragl, “Verifying concurrent programs: Refinement, synchronization, sequentialization,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8336 |
K. Kubiasova et al., “Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum,” Nature Communications, vol. 11. Springer Nature, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8337 |
I. Antoniadi et al., “Cell-surface receptors enable perception of extracellular cytokinins,” Nature Communications, vol. 11. Springer Nature, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8339 |
N. Genise, D. Micciancio, C. Peikert, and M. Walter, “Improved discrete Gaussian and subgaussian analysis for lattice cryptography,” in 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Edinburgh, United Kingdom, 2020, vol. 12110, pp. 623–651.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 | Published | Thesis | IST-REx-ID: 8340 |
D. Kampjut, “Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes,” Institute of Science and Technology Austria, 2020.
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 8341 |
U. Bezeljak, “In vitro reconstitution of a Rab activation switch,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 8350 |
S. Shamipour, “Bulk actin dynamics drive phase segregation in zebrafish oocytes ,” Institute of Science and Technology Austria, 2020.
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 8353 |
J. Steiner, “Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I,” Institute of Science and Technology Austria, 2020.
View
| Files available
| DOI