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.
424 Publications
2025 | Research Data | IST-REx-ID: 20641 | 
Becker LM, Schanda P. 2025. Data for ‘Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes’, Institute of Science and Technology Austria, 10.15479/AT-ISTA-20641.
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20664 |
| 
|
Kapoor L, Ruzickova N, Zivadinovic P, Leitner V, Sisak MA, Mweka CN, Dobbelaere JA, Katsaros G, Schanda P. 2025. Quantifying the carbon footprint of conference travel: The case of NMR meetings. Magnetic Resonance. 6(2), 243–256.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20357
Ruzickova N. 2025. Effect propagation in biological networks. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20556 |
Hoffmann C. 2025. Theory and applications of verifiable delay functions. Institute of Science and Technology Austria.
[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: 20425 |
|
|
Eilers AC, Yue M, Matthee JJ, Hennawi JF, Davies FB, Simcoe RA, Teague R, Bordoloi R, Brammer G, Kang Y, Kashino D, Mackenzie R, Naidu RP, Navarrete B. 2025. The light echo of a high-redshift quasar mapped with Lyα tomography. Astrophysical Journal Letters. 991(2), L40.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20454 |
|
|
Barrault L, Bugnet LA, Mathis S, Mombarg JSG. 2025. Exploring the probing power of γ Dor’s inertial dip for core magnetism: The case of a toroidal field. Astronomy and Astrophysics. 701, A253.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20646 |
|
|
Petrova E, Ljubotina M, Yalniz G, Serbyn M. 2025. Finding periodic orbits in projected quantum many-body dynamics. PRX Quantum. 6(4), 040333.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Draft | Preprint | IST-REx-ID: 20569 |
Brigati G, Maas J, Quattrocchi F. Kinetic Optimal Transport (OTIKIN) -- Part 1: Second-order discrepancies between probability measures. arXiv, 2502.15665.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20563
Quattrocchi F. 2025. Optimal transport methods for kinetic equations, boundary value problems, and discretization of measures. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20147 |
Sarac NE. 2025. A monitoring-oriented theory and classification of quantitative specifications. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20342 |
|
|
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. 2025. Safety and liveness of quantitative properties and automata. Logical Methods in Computer Science. 21(2), 13149.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20607
Mondal S. 2025. Oxygen and sulfur redox : Conversion kinetics and phase equilibria. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20694
Pal A. 2025. Using genealogies to study the genomic basis of species divergence. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20628 |
Chen Y-L, Ly M, Wojtan C. 2025. Numerical homogenization of sand from grain-level simulations. ACM Transactions on Graphics. 44(6), 220.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20324 |
|
|
Mukhopadhyay S, Lancheros Naranjo DA, Senior JL, Higginbotham AP. 2025. Dual relaxation oscillations in a Josephson-junction array. Physical Review Applied. 24, 014035.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20741 |
Kojic M. 2025. Towards understanding the assembly mechanisms of the Z-ring in Archaea and Bacteria. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20449
Bett VK. 2025. Evolution and regulation of the Z chromosome. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20777
Zivadinovic P. 2025. Scale-free activity as a basis for spatial learning and memory in the brain. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Research Data | IST-REx-ID: 20842 |
Agafonova S. 2025. Research Data for: ‘One-milligram torsional pendulum toward experiments at the quantum-gravity interface’, Institute of Science and Technology Austria, 10.15479/AT-ISTA-20842.
View
| Files available
| DOI