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.




510 Publications

2026 | Research Data | IST-REx-ID: 21145 | OA
Becker LM, Schanda P, Chipot C. 2026. Additional Data for ‘Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes’, Institute of Science and Technology Austria, 10.15479/AT-ISTA-21145.
[Published Version] View | Files available | DOI
 
2026 | Published | Conference Paper | IST-REx-ID: 22146 | OA
Kalinin N, Andersson JD. 2026. Learning rate scheduling with matrix factorization for private training. 7th Symposium on Foundations of Responsible Computing. FORC: Symposium on Foundations of Responsible Computing, LIPIcs, vol. 368, 2:1-2:21.
[Published Version] View | Files available | DOI | arXiv
 
2026 | Published | Conference Abstract | IST-REx-ID: 22119 | OA
Muñoz Hermosilla JM, Miles E, McCarthy M, Melo Velasco JV, Hardmeier F, GANTAYAT P, Fontrodona-Bach A, Jouvet G, Pellicciotti F. 2026. Constraining debris input to Oberaletsch Glacier using ensemble-based Lagrangian modelling. EGU General Assembly 2026. EGU General Assembly, EGU26-19367.
[Published Version] View | Files available | DOI
 
2025 | Research Data | IST-REx-ID: 20842 | OA
Agafonova S. 2025. Research Data for: ‘One-milligram torsional pendulum toward experiments at the quantum-gravity interface’, Institute of Science and Technology Austria, 10.15479/AT-ISTA-20842.
[Published Version] View | Files available | DOI
 
2025 | Research Data Reference | IST-REx-ID: 20883 | OA
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 | OA
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 | OA
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 | Conference Paper | IST-REx-ID: 21020 | OA
Henzinger TA, Karimi M, Thejaswini KS. 2025. Privacy-preserving runtime verification. Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. CCS: Conference on Computer and Communications Security, 2774–2787.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21136 | OA
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 | OA
Kolmogorov V, Naldi S, Zapata J. 2025. Certifying solutions of degenerate semidefinite programs. SIAM Journal on Optimization. 35(3), 1630–1654.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21248 | OA | PlanS
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 | OA
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 | OA
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 | OA
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 | OA
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 | Draft | Preprint | IST-REx-ID: 21398 | OA
Dvorak M, Figueroa-Reid T, Hamadani R, Hwang B-H, Karunus E, Kolmogorov V, Meiburg A, Nelson A, Nelson P, Sandey M, Sergeev I. Composition direction of Seymour’s theorem for regular matroids — Formally verified. arXiv, 10.48550/arXiv.2509.20539.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | 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 | Draft | Preprint | IST-REx-ID: 21427 | OA
Dunajova Z, Tasciyan S, Majek J, Merrin J, Sahai E, Sixt MK, Hannezo EB. Substrate heterogeneity promotes cancer cell dissemination through interface roughening. 10.1101/2025.05.20.655037.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2025 | Draft | Preprint | IST-REx-ID: 21858 | OA
Iofinova EB, Jovanovic A, Alistarh D-A. Position: It’s time to act on the risk of efficient personalized text generation. arXiv, 10.48550/arXiv.2502.06560.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 14278 | OA
Koval I. 2025. Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse. Inventiones Mathematicae.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed