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. Data for “Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes.” 2025. doi:10.15479/AT-ISTA-20641
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20664 |
|
|
Kapoor L, Ruzickova N, Zivadinovic P, et al. Quantifying the carbon footprint of conference travel: The case of NMR meetings. Magnetic Resonance. 2025;6(2):243-256. doi:10.5194/mr-6-243-2025
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20357
Ruzickova N. Effect propagation in biological networks. 2025. doi:10.15479/AT-ISTA-20357
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20556 |
Hoffmann C. Theory and applications of verifiable delay functions. 2025. doi:10.15479/AT-ISTA-20556
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 19778 |
Hoffmann C, Pietrzak KZ. Watermarkable and zero-knowledge Verifiable Delay Functions from any proof of exponentiation. In: 28th IACR International Conference on Practice and Theory of Public-Key Cryptography. Vol 15674. Springer Nature; 2025:36-66. doi:10.1007/978-3-031-91820-9_2
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2025 | Published | Journal Article | IST-REx-ID: 20425 |
|
|
Eilers AC, Yue M, Matthee JJ, et al. The light echo of a high-redshift quasar mapped with Lyα tomography. Astrophysical Journal Letters. 2025;991(2). doi:10.3847/2041-8213/ae057a
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20454 |
|
|
Barrault L, Bugnet LA, Mathis S, Mombarg JSG. Exploring the probing power of γ Dor’s inertial dip for core magnetism: The case of a toroidal field. Astronomy and Astrophysics. 2025;701. doi:10.1051/0004-6361/202555213
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20646 |
|
|
Petrova E, Ljubotina M, Yalniz G, Serbyn M. Finding periodic orbits in projected quantum many-body dynamics. PRX Quantum. 2025;6(4). doi:10.1103/tldp-kvkd
[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. doi:10.48550/arXiv.2502.15665
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20563
Quattrocchi F. Optimal transport methods for kinetic equations, boundary value problems, and discretization of measures. 2025. doi:10.15479/AT-ISTA-20563
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20147 |
Sarac NE. A monitoring-oriented theory and classification of quantitative specifications. 2025. doi:10.15479/AT-ISTA-20147
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20342 |
|
|
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative properties and automata. Logical Methods in Computer Science. 2025;21(2). doi:10.46298/lmcs-21(2:2)2025
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20607
Mondal S. Oxygen and sulfur redox : Conversion kinetics and phase equilibria. 2025. doi:10.15479/AT-ISTA-20607
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20694
Pal A. Using genealogies to study the genomic basis of species divergence. 2025. doi:10.15479/AT-ISTA-20694
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20628 |
Chen Y-L, Ly M, Wojtan C. Numerical homogenization of sand from grain-level simulations. ACM Transactions on Graphics. 2025;44(6). doi:10.1145/3763344
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20324 |
|
|
Mukhopadhyay S, Lancheros Naranjo DA, Senior JL, Higginbotham AP. Dual relaxation oscillations in a Josephson-junction array. Physical Review Applied. 2025;24. doi:10.1103/qvls-7s3q
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20741 |
Kojic M. Towards understanding the assembly mechanisms of the Z-ring in Archaea and Bacteria. 2025. doi:10.15479/AT-ISTA-20741
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20449
Bett VK. Evolution and regulation of the Z chromosome. 2025. doi:10.15479/AT-ISTA-20449
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20777
Zivadinovic P. Scale-free activity as a basis for spatial learning and memory in the brain. 2025. doi:10.15479/AT-ISTA-20777
[Published Version]
View
| Files available
| DOI
2025 | Research Data | IST-REx-ID: 20842 |
Agafonova S. Research Data for: “One-milligram torsional pendulum toward experiments at the quantum-gravity interface.” 2025. doi:10.15479/AT-ISTA-20842
View
| Files available
| DOI