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.
532 Publications
2026 |
Published |
Journal Article |
IST-REx-ID: 21777 |
| 
|
Becker, Lea Marie, et al. “Accelerated 19F Biomolecular Magic-Angle Spinning NMR with Paramagnetic Dopants.” Magnetic Resonance, vol. 7, no. 1, Copernicus Publications, 2026, pp. 29–37, doi:10.5194/mr-7-29-2026.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22255 |
Li, Yunzhe. Spectral Rigidity and Nonrigidity of Dynamical Systems. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-22255.
[Published Version]
View
| Files available
| DOI
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 22370
Hofmeister, Angela K., et al. “Unified Synthesis of Unconventional α-Polyhalogenated Amines through Hydroaminoalkylation.” Angewandte Chemie International Edition, e1233707, Wiley, 2026, doi:10.1002/anie.1233707.
[Published Version]
View
| DOI
| PubMed | Europe PMC
2026 |
Published |
Journal Article |
IST-REx-ID: 22323 |
|
|
Léonard, Kristen Williams, et al. “Microwave Radiometry of a Quantum-Critical Hybrid Josephson Array.” Physical Review Applied, vol. 26, 014031, American Physical Society, 2026, doi:10.1103/75bl-mm3b.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21393 |
Dvorak, Martin. Pursuit of Truth and Beauty in Lean 4 : Formally Verified Theory of Grammars, Optimization, Matroids. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21393.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21198 |
Scott, Jonathan A. Data Heterogeneity and Personalization in Federated Learning. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21198.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21021 |
Fillmore, Christopher D. Braiding Geometry and Topology to Study Shapes and Data. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21021.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Conference Paper |
IST-REx-ID: 22327 |
Breitkopf, Tom-Lukas, et al. “Ranking Opinions with Few States in Population Protocols.” Proceedings of the ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2026, pp. 414–24, doi:10.1145/3796701.3815913.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22258 |
Depope, Al. From Sparse Selection to Risk Prediction: Approximate Message Passing for Proteomic Survival Models and Large-Scale Genomics. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-22258.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 14703 |
|
|
Ishida, Sadashige, and Hugo Lavenant. “Quantitative Convergence of a Discretization of Dynamic Optimal Transport Using the Dual Formulation.” Foundations of Computational Mathematics, vol. 26, Springer Nature, 2026, pp. 349–84, doi:10.1007/s10208-024-09686-3.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 21720 |
El-Hayek, Antoine, et al. “Deterministic and Exact Fully-Dynamic Minimum Cut of Superpolylogarithmic Size in Subpolynomial Time.” Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms, vol. 2026, Society for Industrial and Applied Mathematics, 2026, pp. 613–63, doi:10.1137/1.9781611978971.25.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 18706 |
|
|
Portinale, Lorenzo, and Filippo Quattrocchi. “Discrete-to-Continuum Limits of Optimal Transport with Linear Growth on Periodic Graphs.” European Journal of Applied Mathematics, vol. 37, no. 3, Cambridge University Press, 2026, pp. 614–42, doi:10.1017/s0956792524000810.
[Published Version]
View
| Files available
| DOI
| WoS
2026 |
Published |
Journal Article |
IST-REx-ID: 14278 |
|
|
Koval, Illya. “Local Strong Birkhoff Conjecture and Local Spectral Rigidity of Almost Every Ellipse.” Inventiones Mathematicae, vol. 244, Springer Nature, 2026, pp. 221–98, doi:10.1007/s00222-025-01397-y.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Research Data |
IST-REx-ID: 20842 |
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.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20926 |
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 |
Conference Paper |
IST-REx-ID: 21020 |
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 |
Published |
Journal Article |
IST-REx-ID: 21136 |
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 |
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
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21248 |
|
|
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 |
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