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 |
Ishida, Sadashige. “Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20551.
[Published Version]
View
| Files available
| DOI
2025 |
Draft |
Preprint |
IST-REx-ID: 20580 |
Chern, Albert, and Sadashige Ishida. “Implicit Representations of Codimension-2 Submanifolds and Their Prequantum Structure.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2507.11727.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20357
Ruzickova, Natalia. “Effect Propagation in Biological Networks.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20357.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20147 |
Sarac, Naci E. “A Monitoring-Oriented Theory and Classification of Quantitative Specifications.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20147.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20342 |
|
|
Boker, Udi, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “ Safety and Liveness of Quantitative Properties and Automata.” Logical Methods in Computer Science. EPI Sciences, 2025. https://doi.org/10.46298/lmcs-21(2:2)2025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19741 |
Chalupa, Marek, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci 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, 15696:303–12. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90643-5_16.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20741 |
Kojic, Marko. “Towards Understanding the Assembly Mechanisms of the Z-Ring in Archaea and Bacteria.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20741.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19903 |
Hübner, Valentin. “Reciprocity and Inequality in Social Dilemmas.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19903.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 19735 |
Bett, Vincent K, Minerva S Trejo Arellano, and Beatriz 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. Oxford University Press, 2025. https://doi.org/10.1093/molbev/msaf085.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 |
Published |
Journal Article |
IST-REx-ID: 19843 |
Hübner, Valentin, Laura Schmid, Christian Hilbe, and Krishnendu Chatterjee. “Stable Strategies of Direct and Indirect Reciprocity across All Social Dilemmas.” PNAS Nexus. Oxford University Press, 2025. https://doi.org/10.1093/pnasnexus/pgaf154.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 |
Published |
Journal Article |
IST-REx-ID: 19074 |
|
|
Hübner, Valentin, Christian Hilbe, Manuel Staab, Maria Kleshnina, and Krishnendu Chatterjee. “Time-Dependent Strategies in Repeated Asymmetric Public Goods Games.” Dynamic Games and Applications. Springer Nature, 2025. https://doi.org/10.1007/s13235-025-00627-5.
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20607
Mondal, Soumyadip. “Oxygen and Sulfur Redox : Conversion Kinetics and Phase Equilibria.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20607.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20449
Bett, Vincent K. “Evolution and Regulation of the Z Chromosome.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20449.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20777
Zivadinovic, Predrag. “Scale-Free Activity as a Basis for Spatial Learning and Memory in the Brain.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20777.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20234 |
Saona Urmeneta, Raimundo J. “Robustness of Solutions in Game Theory : Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20234.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 19508 |
|
|
Attia, Luc, Lyuben Lichev, Dieter Mitsche, Raimundo J Saona Urmeneta, and Bruno Ziliotto. “Random Zero-Sum Dynamic Games on Infinite Directed Graphs.” Dynamic Games and Applications. Springer Nature, 2025. https://doi.org/10.1007/s13235-025-00636-4.
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 17037
Attia, Luc, Miquel Oliu-Barton, and Raimundo J Saona Urmeneta. “Marginal Values of a Stochastic Game.” Mathematics of Operations Research. Institute for Operations Research and the Management Sciences, 2025. https://doi.org/10.1287/moor.2023.0297.
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 20322 |
|
|
Erdös, László, Sven Joscha Henheik, and Volodymyr Riabov. “Cusp Universality for Correlated Random Matrices.” Communications in Mathematical Physics. Springer Nature, 2025. https://doi.org/10.1007/s00220-025-05417-z.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Draft |
Preprint |
IST-REx-ID: 20576 |
Erdös, László, and Volodymyr Riabov. “The Zigzag Strategy for Random Band Matrices.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2506.06441.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20575 |
Riabov, Volodymyr. “Universality in Random Matrices with Spatial Structure.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20575.
[Published Version]
View
| Files available
| DOI