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, doi: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, doi: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, doi: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, doi:10.15479/AT-ISTA-20147.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20342 |
| 
|
Boker, Udi, et al. “ Safety and Liveness of Quantitative Properties and Automata.” Logical Methods in Computer Science, vol. 21, no. 2, 13149, EPI Sciences, 2025, 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, Marek, et al. “Automating the Analysis of Quantitative Automata with QuAK.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15696, Springer Nature, 2025, pp. 303–12, 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, Marko. Towards Understanding the Assembly Mechanisms of the Z-Ring in Archaea and Bacteria. Institute of Science and Technology Austria, 2025, doi: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, doi:10.15479/AT-ISTA-19903.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 19735 |
Bett, Vincent K., et al. “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, msaf085, Oxford University Press, 2025, 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, Valentin, et al. “Stable Strategies of Direct and Indirect Reciprocity across All Social Dilemmas.” PNAS Nexus, vol. 4, no. 5, pgaf154, Oxford University Press, 2025, doi:10.1093/pnasnexus/pgaf154.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 |
Published |
Journal Article |
IST-REx-ID: 19074 |
|
|
Hübner, Valentin, et al. “Time-Dependent Strategies in Repeated Asymmetric Public Goods Games.” Dynamic Games and Applications, vol. 15, Springer Nature, 2025, pp. 1617–45, doi: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, doi: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, doi: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, doi: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, doi:10.15479/AT-ISTA-20234.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 19508 |
|
|
Attia, Luc, et al. “Random Zero-Sum Dynamic Games on Infinite Directed Graphs.” Dynamic Games and Applications, vol. 15, Springer Nature, 2025, pp. 1517–35, doi:10.1007/s13235-025-00636-4.
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 17037
Attia, Luc, et al. “Marginal Values of a Stochastic Game.” Mathematics of Operations Research, vol. 50, no. 1, Institute for Operations Research and the Management Sciences, 2025, pp. 482–505, doi:10.1287/moor.2023.0297.
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 20322 |
|
|
Erdös, László, et al. “Cusp Universality for Correlated Random Matrices.” Communications in Mathematical Physics, vol. 406, no. 10, 253, Springer Nature, 2025, 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ászló, and Volodymyr Riabov. “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, Volodymyr. Universality in Random Matrices with Spatial Structure. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20575.
[Published Version]
View
| Files available
| DOI