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 | Thesis | PhD | IST-REx-ID: 19759 | OA
Prach, Bernd. Robust Image Classification with 1-Lipschitz Networks. Institute of Science and Technology Austria, 2025, doi:10.15479/10.15479/at-ista-19759.
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 15128 | OA
Riabov, Volodymyr. “Mesoscopic Eigenvalue Statistics for Wigner-Type Matrices.” Annales de l’institut Henri Poincare (B) Probability and Statistics, vol. 61, no. 1, Institute of Mathematical Statistics, 2025, pp. 129–54, doi:10.1214/23-AIHP1438.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 10045 | OA
Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension Problem and Discrete Convexity.” Mathematical Programming, vol. 209, Springer Nature, 2025, pp. 279–322, doi:10.1007/s10107-024-02064-5.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Research Data Reference | IST-REx-ID: 20883 | OA
Felix, Baier, et al. The Neural Basis of Species-Specific Defensive Behaviour in Peromyscus Mice. Dryad, 2025, doi:10.5061/DRYAD.Q2BVQ83XC.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20920 | OA
Hoffmann, Charlotte. Theory and Applications of Verifiable Delay Functions. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20920.
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 20926 | OA
Kim, Dongjin, et al. “A Universal Augmentation Framework for Long-Range Electrostatics in Machine Learning Interatomic Potentials.” Journal of Chemical Theory and Computation, vol. 21, no. 24, American Chemical Society, 2025, pp. 12709–24, doi:10.1021/acs.jctc.5c01400.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21136 | OA
Monzer, Aline, and Jiří Friml. “Historical and Mechanistic Perspective on ABP1-TMK1-Mediated Cell Surface Auxin Signaling.” Npj Science of Plants, vol. 1, no. 1, Springer Nature, 2025, p. 2, doi:10.1038/s44383-025-00002-8.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 21144 | OA
Kolmogorov, Vladimir, et al. “Certifying Solutions of Degenerate Semidefinite Programs.” SIAM Journal on Optimization, vol. 35, no. 3, Society for Industrial and Applied Mathematics, 2025, pp. 1630–54, doi:10.1137/24m1664691.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21248 | OA | PlanS
Milivojev, Nadja, et al. “Light-Modulated Stem Cells in the Camera-Type Eye of an Annelid Model for Adult Brain Plasticity.” Nature Communications, vol. 16, 9861, Springer Nature, 2025, doi: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, et al. “An Almost-Logarithmic Lower Bound for Leader Election with Bounded Value Contention.” 39th International Symposium on Distributed Computing, vol. 356, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 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 | OA
Kurtic, Eldar, et al. “Sparse Fine-Tuning for Inference Acceleration of Large Language Models.” Enhancing LLM Performance. Efficacy, Fine-Tuning, and Inference Techniques, edited by Peyman Passban et al., Springer Nature, 2025, pp. 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 | OA
Asadi, Ali, et al. “ε-Stationary Nash Equilibria in Multi-Player Stochastic Graph Games.” 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 360, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 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 | OA
Maddipatla, Sai A., et al. “Inverse Problems with Experiment-Guided AlphaFold.” Proceedings of the 42nd International Conference on Machine Learning, vol. 267, ML Research Press, 2025, pp. 42366–93.
[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, et al. “Marginal Values of a Stochastic Game.” Mathematics of Operations Research, vol. 50, no. 1, Institute for Operations Research and the Management Sciences, 2025, pp. 482–505, doi:10.1287/moor.2023.0297.
View | Files available | DOI | WoS
 

2025 | Published | Conference Paper | IST-REx-ID: 21020 | OA
Henzinger, Thomas A., et al. “Privacy-Preserving Runtime Verification.” Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–87, doi:10.1145/3719027.3765137.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Draft | Preprint | IST-REx-ID: 21398 | OA
Dvorak, Martin, 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 | OA
Agafonova, Sofia. Research Data for: “One-Milligram Torsional Pendulum toward Experiments at the Quantum-Gravity Interface.” Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20842.
View | Files available | DOI
 

2025 | Draft | Preprint | IST-REx-ID: 21427 | OA
Dunajova, Zuzana, et al. Substrate Heterogeneity Promotes Cancer Cell Dissemination through Interface Roughening. bioRxiv, doi:10.1101/2025.05.20.655037.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2025 | Published | Thesis | PhD | IST-REx-ID: 19431 | OA
Hlavata, Annamaria. Regulation of Cytoplasmic RNA Polymerase II. Institute of Science and Technology Austria, 2025, doi:10.15479/10.15479/AT-ISTA-19431.
View | Files available | DOI
 

Filters and Search Terms

department=Various

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed