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.

6118 Publications


2020 | Journal Article | IST-REx-ID: 8285 | OA
B. K. Malia, J. Martínez-Rincón, Y. Wu, O. Hosten, and M. A. Kasevich, “Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit,” Physical Review Letters, vol. 125, no. 4. 2020.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8286 | OA
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 | 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 | OA
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.)
 

2020 | Journal Article | IST-REx-ID: 8323 | OA
J. Pach, “A farewell to Ricky Pollack,” Discrete and Computational Geometry, vol. 64. Springer Nature, pp. 571–574, 2020.
View | DOI | Download None (ext.)
 

2020 | Journal Article | IST-REx-ID: 8325 | OA
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.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8329 | OA
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.
View | DOI | Download Published Version (ext.)
 

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 | Thesis | IST-REx-ID: 8332 | OA
B. Kragl, “Verifying concurrent programs: Refinement, synchronization, sequentialization,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8336 | OA
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.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8337 | OA
I. Antoniadi et al., “Cell-surface receptors enable perception of extracellular cytokinins,” Nature Communications, vol. 11. Springer Nature, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8338 | OA
A. Akopyan, A. I. Bobenko, W. K. Schief, and J. Techter, “On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs,” Discrete and Computational Geometry. Springer Nature, 2020.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8339 | OA
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.
View | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 8341
U. Bezeljak, “In vitro reconstitution of a Rab activation switch,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8349 | OA
M. Nardin, J. W. Phillips, W. F. Podlaski, and S. W. Keemink, “Nonlinear computations in spiking neural networks through multiplicative synapses,” arXiv. .
View | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8012 | OA
B. Kragl, C. Enea, T. A. Henzinger, S. O. Mutluergil, and S. Qadeer, “Inductive sequentialization of asynchronous programs,” in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 2020, pp. 227–242.
View | Files available | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8195 | OA
B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent programs,” in Computer Aided Verification, 2020, vol. 12224, pp. 275–298.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7580 | OA
U. Bezeljak, H. Loya, B. M. Kaczmarek, T. E. Saunders, and M. Loose, “Stochastic activation and bistability in a Rab GTPase regulatory network,” Proceedings of the National Academy of Sciences, vol. 117, no. 12. Proceedings of the National Academy of Sciences, pp. 6504–6549, 2020.
View | Files available | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 8340
D. Kampjut, “Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8358 | OA
P. R. Dos Santos Caldas, “Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers,” IST Austria, 2020.
View | Files available | DOI
 

Search

Filter Publications