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.
7482 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: 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
2025 | Published | Conference Paper | IST-REx-ID: 20684 |
Kurtic E, Marques A, Pandit S, Kurtz M, Alistarh D-A. 2025. “Give me BF16 or give me death”? Accuracy-performance trade-offs in LLM quantization. Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics. ACL: Meeting of the Association for Computational Linguistics, 26872–26886.
[Published Version]
View
| Files available
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 17468 |
|
|
Mondal S, Nguyen HTK, Hauschild R, Freunberger SA. 2025. Marcus kinetics control singlet and triplet oxygen evolving from superoxide. Nature. 646(8085), 601–605.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20188 |
|
|
Jikko Y, Deguchi E, Matsuda K, Hino N, Tsukiji S, Matsuda M, Terai K. 2025. Front-biased activation of the Ras-Rab5-Rac1 loop coordinates collective cell migration. Journal of Cell Science. 138(15), 263779.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20100 |
|
|
Vedula S, Bronstein AM, Marx A. 2025. Improving prediction accuracy in chimeric proteins with windowed multiple sequence alignment. Computational and Structural Biotechnology Journal. 27, 3292–3298.
[Published Version]
View
| Files available
| DOI
| WoS
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20043 |
Groechenig M, Shen S. 2025. Complex K-theory of moduli spaces of Higgs bundles. Journal of the European Mathematical Society.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2025 | Research Data Reference | IST-REx-ID: 20103 |
Vedula S, Bronstein AM, Marx A. 2025. Replication Data for: ‘Improving Prediction Accuracy in Chimeric Proteins with Windowed Multiple Sequence Alignment’, Harvard Dataverse, 10.7910/DVN/DYEBVM.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)