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.
6343 Publications
2025 |
Draft |
Preprint |
IST-REx-ID: 20580 |
Chern A, Ishida S. Implicit representations of codimension-2 submanifolds and their prequantum structure. arXiv. doi:10.48550/ARXIV.2507.11727
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20357
Ruzickova N. Effect propagation in biological networks. 2025. doi:10.15479/AT-ISTA-20357
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20147 |
Sarac NE. A monitoring-oriented theory and classification of quantitative specifications. 2025. doi:10.15479/AT-ISTA-20147
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20342 |
| 
|
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative properties and automata. Logical Methods in Computer Science. 2025;21(2). doi:10.46298/lmcs-21(2:2)2025
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19741 |
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. Automating the analysis of quantitative automata with QuAK. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15696. Springer Nature; 2025:303-312. doi:10.1007/978-3-031-90643-5_16
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20741 |
Kojic M. Towards understanding the assembly mechanisms of the Z-ring in Archaea and Bacteria. 2025. doi:10.15479/AT-ISTA-20741
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19903 |
Hübner V. Reciprocity and inequality in social dilemmas. 2025. doi:10.15479/AT-ISTA-19903
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 19735 |
Bett VK, Trejo Arellano MS, Vicoso B. Chromatin landscape is associated with sex-biased expression and Drosophila-like dosage compensation of the Z chromosome in Artemia franciscana. Molecular Biology and Evolution. 2025;42(5). doi:10.1093/molbev/msaf085
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 |
Published |
Journal Article |
IST-REx-ID: 19843 |
Hübner V, Schmid L, Hilbe C, Chatterjee K. Stable strategies of direct and indirect reciprocity across all social dilemmas. PNAS Nexus. 2025;4(5). doi:10.1093/pnasnexus/pgaf154
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 |
Published |
Journal Article |
IST-REx-ID: 19074 |
|
|
Hübner V, Hilbe C, Staab M, Kleshnina M, Chatterjee K. Time-dependent strategies in repeated asymmetric public goods games. Dynamic Games and Applications. 2025;15:1617-1645. doi:10.1007/s13235-025-00627-5
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20607
Mondal S. Oxygen and sulfur redox : Conversion kinetics and phase equilibria. 2025. doi:10.15479/AT-ISTA-20607
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20449
Bett VK. Evolution and regulation of the Z chromosome. 2025. doi:10.15479/AT-ISTA-20449
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20777
Zivadinovic P. Scale-free activity as a basis for spatial learning and memory in the brain. 2025. doi:10.15479/AT-ISTA-20777
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20234 |
Saona Urmeneta RJ. Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games. 2025. doi:10.15479/AT-ISTA-20234
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 19508 |
|
|
Attia L, Lichev L, Mitsche D, Saona Urmeneta RJ, Ziliotto B. Random zero-sum dynamic games on infinite directed graphs. Dynamic Games and Applications. 2025;15:1517-1535. doi:10.1007/s13235-025-00636-4
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 17037
Attia L, Oliu-Barton M, Saona Urmeneta RJ. Marginal values of a stochastic game. Mathematics of Operations Research. 2025;50(1):482-505. doi:10.1287/moor.2023.0297
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 20322 |
|
|
Erdös L, Henheik SJ, Riabov V. Cusp universality for correlated random matrices. Communications in Mathematical Physics. 2025;406(10). doi:10.1007/s00220-025-05417-z
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Draft |
Preprint |
IST-REx-ID: 20576 |
Erdös L, Riabov V. The zigzag strategy for random band matrices. arXiv. doi:10.48550/ARXIV.2506.06441
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20575 |
Riabov V. Universality in random matrices with spatial structure. 2025. doi:10.15479/AT-ISTA-20575
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 19598 |
|
|
Riabov V. Linear Eigenvalue statistics at the cusp. Probability Theory and Related Fields. 2025;193:1183-1237. doi:10.1007/s00440-025-01373-w
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv