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.
7454 Publications
2025 | Published | Thesis | IST-REx-ID: 19630 | 
Synak P. 2025. Method for fluid simulation, surface tracking, and statistics of non-manifold structures. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20322 |
| 
|
Erdös L, Henheik SJ, Riabov V. 2025. Cusp universality for correlated random matrices. Communications in Mathematical Physics. 406(10), 253.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18764 |
Erdös L, Henheik SJ, Reker J, Riabov V. 2025. Prethermalization for deformed Wigner matrices. Annales Henri Poincare. 26, 1991–2033.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Draft | Preprint | IST-REx-ID: 20576 |
Erdös L, Riabov V. The zigzag strategy for random band matrices. arXiv, 10.48550/ARXIV.2506.06441.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2025 | Published | Thesis | IST-REx-ID: 20551 |
Ishida S. 2025. Symplectic-prequantum structures and dynamics on the codimension-2 shape space. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Draft | Preprint | IST-REx-ID: 20580 |
Chern A, Ishida S. Implicit representations of codimension-2 submanifolds and their prequantum structure. arXiv, 10.48550/ARXIV.2507.11727.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
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: 18778 |
Tluckova K, Kaczmarek BM, Testa Salmazo AP, Bernecky C. 2025. Mechanism of mammalian transcriptional repression by noncoding RNA. Nature Structural & Molecular Biology. 32, 607–612.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Conference Paper | IST-REx-ID: 20668 |
Hashimoto K, Katsumata S, Pascual Perez G. 2025. Exploring how to authenticate application messages in MLS: More efficient, post-quantum, and anonymous blocklistable. 34th Usenix Security Symposium. USENIX: Security Symposium, 6699–6716.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20669 |
|
|
He Z, Westoby M, REN S, Zhao C, He Y, Zhang T, Yang W. 2025. Quantifying the seasonal dynamics of a transitional ice cliff-pond system on a debris-covered glacier. Journal of Glaciology.
[Published Version]
View
| DOI
| Download Published Version (ext.)
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 | Journal Article | IST-REx-ID: 20663 |
|
|
Roychoudhry S, Sageman-Furnas K, Taylor HJ, Showpnil I, Wolverton C, Friml J, Bianco MD, Kepinski S. 2025. Angle dependence as a unifying feature of root graviresponse modules. Proceedings of the National Academy of Sciences of the United States of America. 122(46), e2506400122.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Research Data | IST-REx-ID: 20242 |
Schanda P. 2025. Data of: ‘Quantifying the carbon footprint of conference travel: the case of NMR meetings’, Institute of Science and Technology Austria, 10.15479/AT-ISTA-20242.
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20659 |
|
|
Aguado C, Alfaro-Ruiz R, Martínez-Poyato ML, Moreno-Martínez AE, García-Madrona S, Roldán-Sastre A, Alonso-Gómez P, Fernández M, Puertas-Avendaño R, Shigemoto R, Martemyanov KA, Luján R. 2025. Developmental regulation of GABAB receptors and downstream molecules in the mouse brain. Histology and Histopathology. 40(12), 1967–1984.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Conference Paper | IST-REx-ID: 20658 |
Edelsbrunner H, Stephenson ER, Thoresen MH. 2025. The mid-sphere cousin of the medial axis transform. 4th International Joint Conference on Discrete Geometry and Mathematical Morphology. DGMM: Discrete Geometry and Mathematical Morphology, LNCS, vol. 16296, 133–147.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20648 |
Chatterjee K, Goharshady AK, Goharshady E, Karrabi M, Saadat M, Seeliger M, Zikelic D. 2025. PolyQEnt: A polynomial quantified entailment solver. 23rd International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 16145, 411–424.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20685 |
|
|
Segura H et al. 2025. nextGEMS: Entering the era of kilometer-scale Earth system modeling. Geoscientific Model Development. 18(20), 7735–7761.
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 20690 |
Brihaye T, Chatterjee K, Mohr S, Weininger M. 2025. Risk-aware Markov decision processes using cumulative prospect theory. 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 458–471.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20689 |
Baier C, Chatterjee K, Meggendorfer T, Piribauer J. 2025. Multiplicative rewards in Markovian models. 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 499–512.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20688 |
Grobelna M, Kretinsky J, Weininger M. 2025. Stopping criteria for value iteration on concurrent stochastic reachability and safety games. 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 568–580.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv