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.
6404 Publications
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20551 |
S. Ishida, “Symplectic-prequantum structures and dynamics on the codimension-2 shape space,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Draft |
Preprint |
IST-REx-ID: 20580 |
A. Chern and S. Ishida, “Implicit representations of codimension-2 submanifolds and their prequantum structure,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20357
N. Ruzickova, “Effect propagation in biological networks,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20147 |
N. E. Sarac, “A monitoring-oriented theory and classification of quantitative specifications,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20342 |
|
|
U. Boker, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “ Safety and liveness of quantitative properties and automata,” Logical Methods in Computer Science, vol. 21, no. 2. EPI Sciences, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19741 |
M. Chalupa, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Automating the analysis of quantitative automata with QuAK,” in 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2025, vol. 15696, pp. 303–312.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20741 |
M. Kojic, “Towards understanding the assembly mechanisms of the Z-ring in Archaea and Bacteria,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19903 |
V. Hübner, “Reciprocity and inequality in social dilemmas,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 19735 |
V. K. Bett, M. S. Trejo Arellano, and B. Vicoso, “Chromatin landscape is associated with sex-biased expression and Drosophila-like dosage compensation of the Z chromosome in Artemia franciscana,” Molecular Biology and Evolution, vol. 42, no. 5. Oxford University Press, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 |
Published |
Journal Article |
IST-REx-ID: 19843 |
V. Hübner, L. Schmid, C. Hilbe, and K. Chatterjee, “Stable strategies of direct and indirect reciprocity across all social dilemmas,” PNAS Nexus, vol. 4, no. 5. Oxford University Press, 2025.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 |
Published |
Journal Article |
IST-REx-ID: 19074 |
|
|
V. Hübner, C. Hilbe, M. Staab, M. Kleshnina, and K. Chatterjee, “Time-dependent strategies in repeated asymmetric public goods games,” Dynamic Games and Applications, vol. 15. Springer Nature, pp. 1617–1645, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20607
S. Mondal, “Oxygen and sulfur redox : Conversion kinetics and phase equilibria,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20449
V. K. Bett, “Evolution and regulation of the Z chromosome,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20777
P. Zivadinovic, “Scale-free activity as a basis for spatial learning and memory in the brain,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20234 |
R. J. Saona Urmeneta, “Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 19508 |
|
|
L. Attia, L. Lichev, D. Mitsche, R. J. Saona Urmeneta, and B. Ziliotto, “Random zero-sum dynamic games on infinite directed graphs,” Dynamic Games and Applications, vol. 15. Springer Nature, pp. 1517–1535, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 17037
L. Attia, M. Oliu-Barton, and R. J. Saona Urmeneta, “Marginal values of a stochastic game,” Mathematics of Operations Research, vol. 50, no. 1. Institute for Operations Research and the Management Sciences, pp. 482–505, 2025.
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 20322 |
|
|
L. Erdös, S. J. Henheik, and V. Riabov, “Cusp universality for correlated random matrices,” Communications in Mathematical Physics, vol. 406, no. 10. Springer Nature, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Draft |
Preprint |
IST-REx-ID: 20576 |
L. Erdös and V. Riabov, “The zigzag strategy for random band matrices,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20575 |
V. Riabov, “Universality in random matrices with spatial structure,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI