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 |
Alistarh D-A, Ellen F, Fedorov A. An almost-logarithmic lower bound for leader election with bounded value contention. In: 39th International Symposium on Distributed Computing. Vol 356. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025:3:1-3:16. doi:10.4230/LIPIcs.DISC.2025.3
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Book Chapter |
IST-REx-ID: 21257 |
Kurtic E, Kuznedelev D, Frantar E, et al. Sparse Fine-Tuning for Inference Acceleration of Large Language Models. In: Passban P, Way A, Rezagholizadeh M, eds. Enhancing LLM Performance. Efficacy, Fine-Tuning, and Inference Techniques. Springer Nature; 2025:83-97. doi:10.1007/978-3-031-85747-8_6
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21281 |
Asadi A, Brice L, Chatterjee K, Thejaswini KS. ε-stationary Nash equilibria in multi-player stochastic graph games. In: 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Vol 360. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025:9:1-9:17. doi:10.4230/lipics.fsttcs.2025.9
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21327 |
Maddipatla SA, Sellam NE, Bojan MI, et al. Inverse problems with experiment-guided AlphaFold. In: Proceedings of the 42nd International Conference on Machine Learning. Vol 267. ML Research Press; 2025:42366-42393.
[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 |
Journal Article |
IST-REx-ID: 17037
Attia L, Oliu-Barton M, Saona Urmeneta RJ. Marginal values of a stochastic game. Mathematics of Operations Research. 2025;50(1):482-505. doi:10.1287/moor.2023.0297
View
| Files available
| DOI
| WoS
2025 |
Published |
Conference Paper |
IST-REx-ID: 21020 |
Henzinger TA, Karimi M, Thejaswini KS. Privacy-preserving runtime verification. In: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery; 2025:2774-2787. doi:10.1145/3719027.3765137
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Draft |
Preprint |
IST-REx-ID: 21398 |
Dvorak M, Figueroa-Reid T, Hamadani R, et al. Composition direction of Seymour’s theorem for regular matroids — Formally verified. arXiv. doi:10.48550/arXiv.2509.20539
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
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
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19993 |
Strahodinsky F. Social immunity in a tri-partite host-pathogen relationship. 2025. doi:10.15479/AT-ISTA-19993
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19906 |
Suresh SS. Turbulence in polymeric flows : A characterisation of elasto-inertial turbulence and the maximum drag reduction asymptote. 2025. doi:10.15479/AT-ISTA-19906
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
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 |
Thesis | PhD |
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 |
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 | PhD |
IST-REx-ID: 18871 |
Arnold GM. Microwave-optic interconnects for superconducting circuits. 2025. doi:10.15479/at:ista:18871
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19745 |
Canigova N. Adaptive strategies of dendritic cell migration in response to environmental cues. 2025. doi:10.15479/AT-ISTA-19745
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19271 |
Önal C. Asymmetrical modulation of fear expression via GABAB receptors in the mouse medial habenula. 2025. doi:10.15479/AT-ISTA-19271
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19302 |
Sartoris L. The effect of circadian rhythm on organisational immunity of ant colonies. 2025. doi:10.15479/AT-ISTA-19302
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19456 |
Cumpelik AD. The role of prefrontal spatial coding in supporting a contextual association task. 2025. doi:10.15479/AT-ISTA-19456
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19533 |
Sett R. Quantum remote sensing and non-equilibrium phase transitions in the microwave regime. 2025. doi:10.15479/AT-ISTA-19533
[Published Version]
View
| Files available
| DOI