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.
619 Publications
2026 |
Published |
Journal Article |
IST-REx-ID: 22637 |
| 
|
Andres Juanes A, Agustí J, Sett R, et al. Distributing stationary qubit entanglement through a nonlocal squeezed reservoir. Physical Review X. 2026;16(3). doi:10.1103/r4jt-j39w
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22735
Lin P. Calibrating the teacher synapse: Mechanisms and functional significance of presynaptic inhibition at hippocampal mossy fiber synapses. 2026. doi:10.15479/AT-ISTA-22735
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22775
Jamrichova S. Timing and strength of synaptic transmission at hippocampal mossy fiber synapses in mice and humans. 2026. doi:10.15479/AT-ISTA-22775
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 22923 |
Cipolloni G, Erdös L, Henheik SJ, Kolupaiev O. Eigenvector decorrelation for random matrices. Annals of Applied Probability. 2026;36(4):3707-3756. doi:10.1214/26-AAP2318
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2026 |
Published |
Book Chapter |
IST-REx-ID: 22925 |
Vijatovic D, Papadopoulos S, Dalla Vecchia M, Sweeney LB. Fluorescent in situ mRNA hybridization (FISH) using Hybridization Chain Reaction (HCR) in Xenopus cryosections. In: Beck CW, ed. Xenopus. Vol 3049. MIMB. Springer; 2026:245-259. 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 A, Henzinger TA, Goharshady E, Kebis P, Mallik K. Generalized bidding games: Where bidding and stochastic games meet. In: 37th International Conference on Concurrency Theory. Vol 391. 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 A, Chatterjee K, Kebis P. PAC learning in turn-based stochastic games with reachability objectives: A decentralized private approach via expected conditional distance. In: 37th International Conference on Concurrency Theory. Vol 391. 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 A, Desaules J-YM, Ljubotina M, Serbyn M. Quasi-solitons in Rydberg atom chains. Nature Communications. 2026;17. doi:10.1038/s41467-026-75598-1
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2026 |
Research Data |
IST-REx-ID: 21960 |
Kerschbaumer A. Research Data: “Quasi-solitons in Rydberg atom chains.” 2026. doi:10.15479/AT-ISTA-21960
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22808 |
Kueffner K. Monitoring algorithmic fairness in sequential decision making. 2026. doi:10.15479/AT-ISTA-22808
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22873
Ehrmann A. Biological functionality without biochemistry: Designing nanomachines for target behavior. 2026. doi:10.15479/AT-ISTA-22873
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22857 |
Bombari S. Trustworthy machine learning in high dimensions. 2026. doi:10.15479/AT-ISTA-22857
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Conference Paper |
IST-REx-ID: 22894 |
Iurada L, Bombari S, Tommasi T, Mondelli M. A law of data reconstruction for random features (and beyond). In: 14th International Conference on Learning Representations. Vol 2026. OpenReview; 2026:145275-145314.
[Published Version]
View
| Files available
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22921 |
Cano Cordoba F, Henzinger TA, Kueffner K, Sarac NE. Monitoring discounted sum properties. In: 37th International Conference on Concurrency Theory. Vol 391. 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 X. Towards a deeper understanding of meroblastic cleavage - supplementary movies. 2026. doi:10.15479/AT-ISTA-22777
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21423 |
Dunajova Z. Geometry-driven self-organization of migrating cells and chiral filaments. 2026. doi:10.15479/AT-ISTA-21423
[Published Version]
View
| Files available
| DOI
2026 |
Research Data |
IST-REx-ID: 21439 |
Dunajova Z. Supplementary movies to PhD thesis “Geometry-driven self-organization of migrating cells and chiral filaments.” 2026. doi:10.15479/AT-ISTA-21439
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 18706 |
|
|
Portinale L, Quattrocchi F. Discrete-to-continuum limits of optimal transport with linear growth on periodic graphs. European Journal of Applied Mathematics. 2026;37(3):614-642. doi:10.1017/s0956792524000810
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Research Data |
IST-REx-ID: 20842 |
Agafonova S. Research Data for: “One-milligram torsional pendulum toward experiments at the quantum-gravity interface.” 2025. doi:10.15479/AT-ISTA-20842
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Conference Paper |
IST-REx-ID: 21020 |
Henzinger TA, Karimi M, Thejaswini KS. Privacy-preserving runtime verification. In: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery; 2025:2774-2787. doi:10.1145/3719027.3765137
[Published Version]
View
| Files available
| DOI
| arXiv