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.
474 Publications
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19630 |
Synak P. 2025. Methods 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 |
Thesis | PhD |
IST-REx-ID: 19684 |
Yalniz G. 2025. Transition to turbulence : Data-, solution-, and pattern-driven approaches. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 19702 |
Kopfová L, Tkadlec J. 2025. Colonization times in Moran process on graphs. PLoS computational biology. 21(5), e1012868.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 19704 |
|
|
Tavakoli M, Lyudchik J, Januszewski M, Vistunou V, Agudelo Duenas N, Vorlaufer J, Sommer CM, Kreuzinger C, Oliveira B, Cenameri A, Novarino G, Jain V, Danzl JG. 2025. Light-microscopy-based connectomic reconstruction of mammalian brain tissue. Nature. 642, 398–410.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19722
Inumella S. 2025. Molecular mechanisms of microtubule reorganization in elongating root epidermal cells. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 |
Conference Paper |
IST-REx-ID: 19738 |
Acharya A, Azari K, Baig MA, Hofheinz D, Kamath C. 2025. Securely instantiating ‘Half Gates’ garbling in the standard model. 28th IACR International Conference on Practice and Theory of Public-Key Cryptography. PKC: Public-Key Cryptography, LNCS, vol. 15677, 37–75.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19759 |
Prach B. 2025. Robust image classification with 1-Lipschitz networks. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 15128 |
Riabov V. 2025. Mesoscopic eigenvalue statistics for Wigner-type matrices. Annales de l’institut Henri Poincare (B) Probability and Statistics. 61(1), 129–154.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 10045 |
Dvorak M, Kolmogorov V. 2025. Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. 209, 279–322.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Research Data Reference |
IST-REx-ID: 20883 |
Felix B, Reinhard K, Nuttin B, Sans Dublanc A, Liu C, Tong V, Murmann JS, Wierda K, Farrow K, Hoekstra H. 2025. The neural basis of species-specific defensive behaviour in Peromyscus mice, Dryad, 10.5061/DRYAD.Q2BVQ83XC.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20920 |
Hoffmann C. 2025. Theory and applications of verifiable delay functions. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20926 |
Kim D, Wang X, Vargas S, Zhong P, King DS, Inizan TJ, Cheng B. 2025. A universal augmentation framework for long-range electrostatics in machine learning interatomic potentials. Journal of Chemical Theory and Computation. 21(24), 12709–12724.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21136 |
Monzer A, Friml J. 2025. Historical and mechanistic perspective on ABP1-TMK1-mediated cell surface auxin signaling. npj Science of Plants. 1(1), 2.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 |
Published |
Journal Article |
IST-REx-ID: 21144 |
Kolmogorov V, Naldi S, Zapata J. 2025. Certifying solutions of degenerate semidefinite programs. SIAM Journal on Optimization. 35(3), 1630–1654.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21248 |
|
|
Milivojev N, Scaramuzza F, Brum PO, Velastegui Gamboa CL, Andreatta G, Raible F, Tessmar-Raible K. 2025. Light-modulated stem cells in the camera-type eye of an annelid model for adult brain plasticity. Nature Communications. 16, 9861.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2025 |
Published |
Conference Paper |
IST-REx-ID: 21250 |
Alistarh D-A, Ellen F, Fedorov A. 2025. An almost-logarithmic lower bound for leader election with bounded value contention. 39th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing, LIPIcs, vol. 356, 3:1-3:16.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Book Chapter |
IST-REx-ID: 21257 |
Kurtic E, Kuznedelev D, Frantar E, Goinv M, Pandit S, Agarwalla A, Nguyen T, Marques A, Kurtz M, Alistarh D-A. 2025.Sparse Fine-Tuning for Inference Acceleration of Large Language Models. In: Enhancing LLM Performance. Efficacy, Fine-Tuning, and Inference Techniques. Machine Translation: Technologies and Applications, , 83–97.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21281 |
Asadi A, Brice L, Chatterjee K, Thejaswini KS. 2025. ε-stationary Nash equilibria in multi-player stochastic graph games. 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS: Conference on Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 360, 9:1-9:17.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21327 |
Maddipatla SA, Sellam NE, Bojan MI, Vedula S, Schanda P, Marx A, Bronstein AM. 2025. Inverse problems with experiment-guided AlphaFold. Proceedings of the 42nd International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 267, 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