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.
466 Publications
2025 |
Published |
Conference Paper |
IST-REx-ID: 21250 |
An almost-logarithmic lower bound for leader election with bounded value contention
D.-A. Alistarh, F. Ellen, A. Fedorov, in:, 39th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 3:1-3:16.
[Published Version]
View
| Files available
| DOI
D.-A. Alistarh, F. Ellen, A. Fedorov, in:, 39th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 3:1-3:16.
2025 |
Published |
Book Chapter |
IST-REx-ID: 21257 |
Sparse Fine-Tuning for Inference Acceleration of Large Language Models
E. Kurtic, D. Kuznedelev, E. Frantar, M. Goinv, S. Pandit, A. Agarwalla, T. Nguyen, A. Marques, M. Kurtz, D.-A. Alistarh, in:, P. Passban, A. Way, M. Rezagholizadeh (Eds.), Enhancing LLM Performance. Efficacy, Fine-Tuning, and Inference Techniques, Springer Nature, 2025, pp. 83–97.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Kurtic, D. Kuznedelev, E. Frantar, M. Goinv, S. Pandit, A. Agarwalla, T. Nguyen, A. Marques, M. Kurtz, D.-A. Alistarh, in:, P. Passban, A. Way, M. Rezagholizadeh (Eds.), Enhancing LLM Performance. Efficacy, Fine-Tuning, and Inference Techniques, Springer Nature, 2025, pp. 83–97.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21281 |
ε-stationary Nash equilibria in multi-player stochastic graph games
A. Asadi, L. Brice, K. Chatterjee, K.S. Thejaswini, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 9:1-9:17.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Asadi, L. Brice, K. Chatterjee, K.S. Thejaswini, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 9:1-9:17.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21327 |
Inverse problems with experiment-guided AlphaFold
S.A. Maddipatla, N.E. Sellam, M.I. Bojan, S. Vedula, P. Schanda, A. Marx, A.M. Bronstein, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 42366–42393.
[Published Version]
View
| Files available
| arXiv
S.A. Maddipatla, N.E. Sellam, M.I. Bojan, S. Vedula, P. Schanda, A. Marx, A.M. Bronstein, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 42366–42393.
2025 |
Submitted |
Preprint |
IST-REx-ID: 21399 |
The equational theories project: Advancing collaborative mathematical research at scale
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
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.
2025 |
Published |
Journal Article |
IST-REx-ID: 17037
Marginal values of a stochastic game
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2025) 482–505.
View
| Files available
| DOI
| WoS
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2025) 482–505.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21020 |
Privacy-preserving runtime verification
T.A. Henzinger, M. Karimi, K.S. Thejaswini, in:, Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–2787.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, M. Karimi, K.S. Thejaswini, in:, Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–2787.
2025 |
Draft |
Preprint |
IST-REx-ID: 21398 |
Composition direction of Seymour's theorem for regular matroids — Formally verified
M. Dvorak, T. Figueroa-Reid, R. Hamadani, B.-H. Hwang, E. Karunus, V. Kolmogorov, A. Meiburg, A. Nelson, P. Nelson, M. Sandey, I. Sergeev, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Dvorak, T. Figueroa-Reid, R. Hamadani, B.-H. Hwang, E. Karunus, V. Kolmogorov, A. Meiburg, A. Nelson, P. Nelson, M. Sandey, I. Sergeev, ArXiv (n.d.).
2025 |
Research Data |
IST-REx-ID: 20842 |
Research Data for: 'One-milligram torsional pendulum toward experiments at the quantum-gravity interface'
S. Agafonova, (2025).
View
| Files available
| DOI
S. Agafonova, (2025).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19993 |
Social immunity in a tri-partite host-pathogen relationship
F. Strahodinsky, Social Immunity in a Tri-Partite Host-Pathogen Relationship, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
F. Strahodinsky, Social Immunity in a Tri-Partite Host-Pathogen Relationship, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19906 |
Turbulence in polymeric flows : A characterisation of elasto-inertial turbulence and the maximum drag reduction asymptote
S.S. Suresh, Turbulence in Polymeric Flows : A Characterisation of Elasto-Inertial Turbulence and the Maximum Drag Reduction Asymptote, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
S.S. Suresh, Turbulence in Polymeric Flows : A Characterisation of Elasto-Inertial Turbulence and the Maximum Drag Reduction Asymptote, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20694 |
Using genealogies to study the genomic basis of species divergence
A. Pal, Using Genealogies to Study the Genomic Basis of Species Divergence, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
A. Pal, Using Genealogies to Study the Genomic Basis of Species Divergence, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20563 |
Optimal transport methods for kinetic equations, boundary value problems, and discretization of measures
F. Quattrocchi, Optimal Transport Methods for Kinetic Equations, Boundary Value Problems, and Discretization of Measures, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
F. Quattrocchi, Optimal Transport Methods for Kinetic Equations, Boundary Value Problems, and Discretization of Measures, Institute of Science and Technology Austria, 2025.
2025 |
Draft |
Preprint |
IST-REx-ID: 20569 |
Kinetic Optimal Transport (OTIKIN) -- Part 1: Second-order discrepancies between probability measures
G. Brigati, J. Maas, F. Quattrocchi, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
G. Brigati, J. Maas, F. Quattrocchi, ArXiv (n.d.).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 18871 |
Microwave-optic interconnects for superconducting circuits
G.M. Arnold, Microwave-Optic Interconnects for Superconducting Circuits, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
G.M. Arnold, Microwave-Optic Interconnects for Superconducting Circuits, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19745 |
Adaptive strategies of dendritic cell migration in response to environmental cues
N. Canigova, Adaptive Strategies of Dendritic Cell Migration in Response to Environmental Cues, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
N. Canigova, Adaptive Strategies of Dendritic Cell Migration in Response to Environmental Cues, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19271 |
Asymmetrical modulation of fear expression via GABAB receptors in the mouse medial habenula
C. Önal, Asymmetrical Modulation of Fear Expression via GABAB Receptors in the Mouse Medial Habenula, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
C. Önal, Asymmetrical Modulation of Fear Expression via GABAB Receptors in the Mouse Medial Habenula, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19302 |
The effect of circadian rhythm on organisational immunity of ant colonies
L. Sartoris, The Effect of Circadian Rhythm on Organisational Immunity of Ant Colonies, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
L. Sartoris, The Effect of Circadian Rhythm on Organisational Immunity of Ant Colonies, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19456 |
The role of prefrontal spatial coding in supporting a contextual association task
A.D. Cumpelik, The Role of Prefrontal Spatial Coding in Supporting a Contextual Association Task, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
A.D. Cumpelik, The Role of Prefrontal Spatial Coding in Supporting a Contextual Association Task, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19533 |
Quantum remote sensing and non-equilibrium phase transitions in the microwave regime
R. Sett, Quantum Remote Sensing and Non-Equilibrium Phase Transitions in the Microwave Regime, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
R. Sett, Quantum Remote Sensing and Non-Equilibrium Phase Transitions in the Microwave Regime, Institute of Science and Technology Austria, 2025.