Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
474 Publications
2026 |
Published |
Thesis | MS |
IST-REx-ID: 21401 |
Karimi M. 2026. Privacy-preserving runtime verification. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 21452 |
| 
|
Di Cesare C, Matthee JJ, Naidu RP, Torralba A, Kotiwale G, Kramarenko I, Blaizot J, Rosdahl J, Leja J, Iani E, Adamo A, Covelo-Paz A, Furtak LJ, Heintz KE, Mascia S, Navarrete B, Oesch PA, Romano M, Shivaei I, Tacchella S. 2026. The slope and scatter of the star-forming main sequence at z ∼ 5: Reconciling observations with simulations. Astronomy & Astrophysics. 707, A129.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 21449 |
|
|
Hawaldar S, Nikhil N, Rey AM, Bollinger JJ, Shankar A. 2026. Parametric amplification of spin-motion coupling in three-dimensional trapped-ion crystals. Physical Review Applied. 25(3), 034004.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 20840 |
|
|
Agafonova S, Rosello P, Mekonnen M, Hosten O. 2026. One-milligram torsional pendulum toward experiments at the quantum-gravity interface. Communications Physics. 9, 80.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21423
Dunajova Z. 2026. Geometry-driven self-organization of migrating cells and chiral filaments. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2026 |
Research Data |
IST-REx-ID: 21439 |
Dunajova Z. 2026. Supplementary movies to PhD thesis “Geometry-driven self-organization of migrating cells and chiral filaments”, Institute of Science and Technology Austria, 10.15479/AT-ISTA-21439.
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 21469 |
|
|
Shen C, Frenzel M, Maehrlein SF, Alpichshev Z. 2026. Disentangling electronic and ionic nonlinear polarization effects in bulk THz Kerr response. Physical Review Letters. 136(10), 106901.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 21471 |
Backlund SM, Stankowski S, Soler Schaller RM. 2026. Seeds as space-time travelers: How does evolution balance the joint benefits and trade-offs of dormancy and dispersal? American Journal of Botany. 113(3), e70175.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2026 |
Published |
Journal Article |
IST-REx-ID: 21482 |
Hübl M, Goodrich CP. 2026. Entropic size control of self-assembled filaments. Physical Review Research. 8, L012054.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 21485 |
|
|
Grosjean GM, Ostermann M, Sauer M, Hahn M, Pichler CM, Fahrnberger F, Pertl F, Balazs D, Link MM, Kim SH, Schrader DL, Blanco A, Gracia F, Mujica N, Waitukaitis SR. 2026. Adventitious carbon breaks symmetry in oxide contact electrification. Nature. 651(8106), 626–631.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 21486 |
Layana Franco LA, Toups MA, Vicoso B. 2026. Causes and consequences of sex-chromosome turnovers in Diptera. Evolution Letters., qrag003.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2026 |
Research Data |
IST-REx-ID: 21137 |
Naik S. 2026. Data associated with Keratins coordinate tissue spreading , Institute of Science and Technology Austria, 10.15479/AT-ISTA-21137.
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21393 |
Dvorak M. 2026. Pursuit of truth and beauty in Lean 4 : Formally verified theory of grammars, optimization, matroids. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 21483 |
|
|
Babic D, Zupunski M, Friml J. 2026. Imaging and genetic toolbox to study Arabidopsis embryogenesis. New Phytologist., nph. 71072.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2025 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 14278 |
Koval I. 2025. Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse. Inventiones Mathematicae.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 18565 |
Bhargava M, Schreck C, Freire M, Hugron PA, Lefebvre S, Sellán S, Bickel B. 2025. Mesh simplification for unfolding. Computer Graphics Forum. 44(1), e15269.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Research Data |
IST-REx-ID: 18712 |
Surendranadh P, Sachdeva H. 2025. Mathematica notebook and Fortran code for ‘Effect of assortative mating and sexual selection on polygenic barriers to gene flow’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:17344.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Conference Paper |
IST-REx-ID: 19778 |
Hoffmann C, Pietrzak KZ. 2025. Watermarkable and zero-knowledge Verifiable Delay Functions from any proof of exponentiation. 28th IACR International Conference on Practice and Theory of Public-Key Cryptography. PKC: Public-Key Cryptography, LNCS, vol. 15674, 36–66.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2025 |
Published |
Journal Article |
IST-REx-ID: 19795 |
Vorlaufer J, Semenov N, Kreuzinger C, Javoor M, Zens B, Agudelo Duenas N, Tavakoli M, Suplata M, Jahr W, Lyudchik J, Wartak A, Schur FK, Danzl JG. 2025. Image-based 3D active sample stabilization on the nanometer scale for optical microscopy. Biophysical Reports. 5(2), 100211.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19836
Saez Mollejo J. 2025. Singlet-triplet qubits in planar Germanium. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI