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.
492 Publications
2025 |
Published |
Conference Paper |
IST-REx-ID: 21250 |
Alistarh, Dan-Adrian, Faith Ellen, and Alexander Fedorov. “An Almost-Logarithmic Lower Bound for Leader Election with Bounded Value Contention.” In 39th International Symposium on Distributed Computing, 356:3:1-3:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. https://doi.org/10.4230/LIPIcs.DISC.2025.3.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Book Chapter |
IST-REx-ID: 21257 |
Kurtic, Eldar, Denis Kuznedelev, Elias Frantar, Michael Goinv, Shubhra Pandit, Abhinav Agarwalla, Tuan Nguyen, Alexandre Marques, Mark Kurtz, and Dan-Adrian Alistarh. “Sparse Fine-Tuning for Inference Acceleration of Large Language Models.” In Enhancing LLM Performance. Efficacy, Fine-Tuning, and Inference Techniques, edited by Peyman Passban, Andy Way, and Mehdi Rezagholizadeh, 83–97. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-85747-8_6.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21281 |
Asadi, Ali, Leonard Brice, Krishnendu Chatterjee, and K. S. Thejaswini. “ε-Stationary Nash Equilibria in Multi-Player Stochastic Graph Games.” In 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 360:9:1-9:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. https://doi.org/10.4230/lipics.fsttcs.2025.9.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21327 |
Maddipatla, Sai A, Nadav E Sellam, Meital I Bojan, Sanketh Vedula, Paul Schanda, Ailie Marx, and Alex M. Bronstein. “Inverse Problems with Experiment-Guided AlphaFold.” In Proceedings of the 42nd International Conference on Machine Learning, 267:42366–93. ML Research Press, 2025.
[Published Version]
View
| Files available
| arXiv
2025 |
Submitted |
Preprint |
IST-REx-ID: 21399 |
Bolan M, Breitner J, Brox J, Carlini N, Carneiro M, Doorn F van, Dvorak M, Goens A, Hill A, Husum H, Mejia HI, Kocsis ZA, Floch BL, Bar-on A, Luccioli L, McNeil D, Meiburg A, Monticone P, Nielsen PP, Osazuwa EO, Paolini G, Petracci M, Reinke B, Renshaw D, Rossel M, Roux C, Scanvic J, Srinivas S, Tadipatri AR, Tao T, Tsyrklevich V, Vaquerizo-Villar F, Weber D, Zheng F. The equational theories project: Advancing collaborative mathematical research at scale. arXiv, 10.48550/arXiv.2512.07087.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21020 |
Henzinger, Thomas A, Mahyar Karimi, and K. S. Thejaswini. “Privacy-Preserving Runtime Verification.” In Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2774–87. Association for Computing Machinery, 2025. https://doi.org/10.1145/3719027.3765137.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Research Data |
IST-REx-ID: 20842 |
Agafonova, Sofia. “Research Data for: ‘One-Milligram Torsional Pendulum toward Experiments at the Quantum-Gravity Interface.’” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20842.
View
| Files available
| DOI
2025 |
Draft |
Preprint |
IST-REx-ID: 21427 |
Dunajova, Zuzana, Saren Tasciyan, Juraj Majek, Jack Merrin, Erik Sahai, Michael K Sixt, and Edouard B Hannezo. “Substrate Heterogeneity Promotes Cancer Cell Dissemination through Interface Roughening.” bioRxiv, n.d. https://doi.org/10.1101/2025.05.20.655037.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2025 |
Draft |
Preprint |
IST-REx-ID: 21398 |
Dvorak, Martin, Tristan Figueroa-Reid, Rida Hamadani, Byung-Hak Hwang, Evgenia Karunus, Vladimir Kolmogorov, Alexander Meiburg, et al. “Composition Direction of Seymour’s Theorem for Regular Matroids — Formally Verified.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2509.20539.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19684 |
Yalniz, Gökhan. “Transition to Turbulence : Data-, Solution-, and Pattern-Driven Approaches.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19684.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 19795 |
Vorlaufer, Jakob, Nikolai Semenov, Caroline Kreuzinger, Manjunath Javoor, Bettina Zens, Nathalie Agudelo Duenas, Mojtaba Tavakoli, et al. “Image-Based 3D Active Sample Stabilization on the Nanometer Scale for Optical Microscopy.” Biophysical Reports. Elsevier, 2025. https://doi.org/10.1016/j.bpr.2025.100211.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 18979 |
Draganov, Ondrej. “Structures and Computations in Topological Data Analysis.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/at:ista:18979.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20206 |
Vorlaufer, Jakob. “Construction of a Cryo-Super-Resolution Microscope to Guide in Situ Structure Analysis.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20206.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19722
Inumella, Syamala. “Molecular Mechanisms of Microtubule Reorganization in Elongating Root Epidermal Cells.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19722.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19395 |
Monzer, Aline. “Cell-Surface Auxin Signaling: Linking Molecular Pathways to Plant Development.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19395.
[Published Version]
View
| Files available
| DOI
2025 |
Draft |
Preprint |
IST-REx-ID: 19398 |
Monzer, Aline, Ewa Mazur, Lesia Rodriguez Solovey, Michelle C Gallei, Minxia Zou, Michael Smejkal, Ema Cervenova, and Jiří Friml. “TMK Interacting Network of Receptor like Kinases for Auxin Canalization and Beyond.” BioRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/2025.02.28.640727.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19393 |
Karle, Volker. “Non-Equilibrium Topological Phases with Periodically Driven Molecules and Quantum Rotors.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19393.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20138 |
Svoboda, Jakub. “Structural Properties of Games on Graphs.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20138.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20117
Wang, Yiqun. “The Role of Dynamin Related Protein 2A in Cytokinin Regulated Plant Growth and Development.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20117.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19759 |
Prach, Bernd. “Robust Image Classification with 1-Lipschitz Networks.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/10.15479/at-ista-19759.
[Published Version]
View
| Files available
| DOI