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.
618 Publications
2026 |
Published |
Journal Article |
IST-REx-ID: 22637 |
| 
|
Andres Juanes, Alejandro, et al. “Distributing Stationary Qubit Entanglement through a Nonlocal Squeezed Reservoir.” Physical Review X, vol. 16, no. 3, 031005, American Physical Society, 2026, doi:10.1103/r4jt-j39w.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22735
Lin, Peipeng. Calibrating the Teacher Synapse: Mechanisms and Functional Significance of Presynaptic Inhibition at Hippocampal Mossy Fiber Synapses. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-22735.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22775
Jamrichova, Silvia. Timing and Strength of Synaptic Transmission at Hippocampal Mossy Fiber Synapses in Mice and Humans. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-22775.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 22923 |
Cipolloni, Giorgio, et al. “Eigenvector Decorrelation for Random Matrices.” Annals of Applied Probability, vol. 36, no. 4, Institute of Mathematical Statistics, 2026, pp. 3707–56, doi:10.1214/26-AAP2318.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2026 |
Published |
Book Chapter |
IST-REx-ID: 22925 |
Vijatovic, David, et al. “Fluorescent in Situ MRNA Hybridization (FISH) Using Hybridization Chain Reaction (HCR) in Xenopus Cryosections.” Xenopus, edited by Caroline W. Beck, vol. 3049, Springer, 2026, pp. 245–59, doi:10.1007/978-1-0716-5360-9_11.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2026 |
Published |
Conference Paper |
IST-REx-ID: 22920 |
Asadi, Ali, et al. “Generalized Bidding Games: Where Bidding and Stochastic Games Meet.” 37th International Conference on Concurrency Theory, vol. 391, 13:1-13:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, doi:10.4230/LIPIcs.CONCUR.2026.13.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22919 |
Asadi, Ali, et al. “PAC Learning in Turn-Based Stochastic Games with Reachability Objectives: A Decentralized Private Approach via Expected Conditional Distance.” 37th International Conference on Concurrency Theory, vol. 391, 12:1-12:23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, doi:10.4230/LIPIcs.CONCUR.2026.12.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 22408 |
|
|
Kerschbaumer, Aron, et al. “Quasi-Solitons in Rydberg Atom Chains.” Nature Communications, vol. 17, 8783, Springer Nature, 2026, doi:10.1038/s41467-026-75598-1.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2026 |
Research Data |
IST-REx-ID: 21960 |
Kerschbaumer, Aron. Research Data: “Quasi-Solitons in Rydberg Atom Chains.” Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21960.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22808 |
Kueffner, Konstantin. Monitoring Algorithmic Fairness in Sequential Decision Making. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-22808.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22873
Ehrmann, Andreas. Biological Functionality without Biochemistry: Designing Nanomachines for Target Behavior. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-22873.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22857 |
Bombari, Simone. Trustworthy Machine Learning in High Dimensions. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-22857.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Conference Paper |
IST-REx-ID: 22894 |
Iurada, Leonardo, et al. “A Law of Data Reconstruction for Random Features (and Beyond).” 14th International Conference on Learning Representations, vol. 2026, OpenReview, 2026, pp. 145275–314.
[Published Version]
View
| Files available
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22921 |
Cano Cordoba, Filip, et al. “Monitoring Discounted Sum Properties.” 37th International Conference on Concurrency Theory, vol. 391, 22:1-22:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, doi:10.4230/LIPIcs.CONCUR.2026.22.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Research Data |
IST-REx-ID: 22777 |
Tong, Xin. Towards a Deeper Understanding of Meroblastic Cleavage - Supplementary Movies. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-22777.
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21423 |
Dunajova, Zuzana. Geometry-Driven Self-Organization of Migrating Cells and Chiral Filaments. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21423.
[Published Version]
View
| Files available
| DOI
2026 |
Research Data |
IST-REx-ID: 21439 |
Dunajova, Zuzana. Supplementary Movies to PhD Thesis “Geometry-Driven Self-Organization of Migrating Cells and Chiral Filaments.” Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21439.
[Published Version]
View
| Files available
| DOI
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
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 |
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