Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




469 Publications

2025 | Published | Journal Article | IST-REx-ID: 21144 | OA
Kolmogorov, Vladimir, Simone Naldi, and Jeferson Zapata. “Certifying Solutions of Degenerate Semidefinite Programs.” SIAM Journal on Optimization. Society for Industrial and Applied Mathematics, 2025. https://doi.org/10.1137/24m1664691.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21248 | OA | PlanS
Milivojev, Nadja, Federico Scaramuzza, Pedro Ozório Brum, Camila L Velastegui Gamboa, Gabriele Andreatta, Florian Raible, and Kristin Tessmar-Raible. “Light-Modulated Stem Cells in the Camera-Type Eye of an Annelid Model for Adult Brain Plasticity.” Nature Communications. Springer Nature, 2025. https://doi.org/10.1038/s41467-025-65631-0.
[Published Version] View | DOI | Download Published Version (ext.)
 
2025 | Published | Conference Paper | IST-REx-ID: 21250 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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, Luc, Miquel Oliu-Barton, and Raimundo J Saona Urmeneta. “Marginal Values of a Stochastic Game.” Mathematics of Operations Research. Institute for Operations Research and the Management Sciences, 2025. https://doi.org/10.1287/moor.2023.0297.
View | Files available | DOI | WoS
 
2025 | Published | Conference Paper | IST-REx-ID: 21020 | OA
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 | OA
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 | OA
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 | OA
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: 19431 | OA
Hlavata, Annamaria. “Regulation of Cytoplasmic RNA Polymerase II.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/10.15479/AT-ISTA-19431.
View | Files available | DOI
 
2025 | Published | Thesis | PhD | IST-REx-ID: 19993 | OA
Strahodinsky, Florian. “Social Immunity in a Tri-Partite Host-Pathogen Relationship.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19993.
[Published Version] View | Files available | DOI
 
2025 | Published | Thesis | PhD | IST-REx-ID: 19906 | OA
Suresh, Sarath S. “Turbulence in Polymeric Flows : A Characterisation of Elasto-Inertial Turbulence and the Maximum Drag Reduction Asymptote.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19906.
[Published Version] View | Files available | DOI
 
2025 | Published | Thesis | PhD | IST-REx-ID: 20694 | OA
Pal, Arka. “Using Genealogies to Study the Genomic Basis of Species Divergence.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20694.
[Published Version] View | Files available | DOI
 
2025 | Published | Thesis | PhD | IST-REx-ID: 20563 | OA
Quattrocchi, Filippo. “Optimal Transport Methods for Kinetic Equations, Boundary Value Problems, and Discretization of Measures.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20563.
[Published Version] View | Files available | DOI
 
2025 | Draft | Preprint | IST-REx-ID: 20569 | OA
Brigati, Giovanni, Jan Maas, and Filippo Quattrocchi. “Kinetic Optimal Transport (OTIKIN) -- Part 1: Second-Order Discrepancies between Probability Measures.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2502.15665.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Thesis | PhD | IST-REx-ID: 18871 | OA
Arnold, Georg M. “Microwave-Optic Interconnects for Superconducting Circuits.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/at:ista:18871.
[Published Version] View | Files available | DOI
 
2025 | Published | Thesis | PhD | IST-REx-ID: 19745 | OA
Canigova, Nikola. “Adaptive Strategies of Dendritic Cell Migration in Response to Environmental Cues.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19745.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed