ISTA Research Explorer

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, S. (2025). Symplectic-prequantum structures and dynamics on the codimension-2 shape space. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20551

[Published Version] View | Files available | DOI

2025 | Draft | Preprint | IST-REx-ID: 20580 |

Chern, A., & Ishida, S. (n.d.). Implicit representations of codimension-2 submanifolds and their prequantum structure. arXiv. 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, N. (2025). Effect propagation in biological networks. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20357

[Published Version] View | Files available | DOI

2025 | Published | Thesis | PhD | IST-REx-ID: 20147 |

Sarac, N. E. (2025). A monitoring-oriented theory and classification of quantitative specifications. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20147

[Published Version] View | Files available | DOI

Boker, U., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2025). Safety and liveness of quantitative properties and automata. Logical Methods in Computer Science. EPI Sciences. 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, M., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2025). 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, pp. 303–312). Springer Nature. 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, M. (2025). Towards understanding the assembly mechanisms of the Z-ring in Archaea and Bacteria. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20741

[Published Version] View | Files available | DOI

2025 | Published | Thesis | PhD | IST-REx-ID: 19903 |

Hübner, V. (2025). Reciprocity and inequality in social dilemmas. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19903

[Published Version] View | Files available | DOI

2025 | Published | Journal Article | IST-REx-ID: 19735 |

Bett, V. K., Trejo Arellano, M. S., & Vicoso, B. (2025). 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. https://doi.org/10.1093/molbev/msaf085

2025 | Published | Journal Article | IST-REx-ID: 19843 |

Hübner, V., Schmid, L., Hilbe, C., & Chatterjee, K. (2025). Stable strategies of direct and indirect reciprocity across all social dilemmas. PNAS Nexus. Oxford University Press. https://doi.org/10.1093/pnasnexus/pgaf154

[Published Version] View | Files available | DOI | PubMed | Europe PMC

Hübner, V., Hilbe, C., Staab, M., Kleshnina, M., & Chatterjee, K. (2025). Time-dependent strategies in repeated asymmetric public goods games. Dynamic Games and Applications. Springer Nature. 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, S. (2025). Oxygen and sulfur redox : Conversion kinetics and phase equilibria. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20607

[Published Version] View | Files available | DOI

2025 | Published | Thesis | PhD | IST-REx-ID: 20449

Bett, V. K. (2025). Evolution and regulation of the Z chromosome. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20449

[Published Version] View | Files available | DOI

2025 | Published | Thesis | PhD | IST-REx-ID: 20777

Zivadinovic, P. (2025). Scale-free activity as a basis for spatial learning and memory in the brain. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20777

[Published Version] View | Files available | DOI

2025 | Published | Thesis | PhD | IST-REx-ID: 20234 |

Saona Urmeneta, R. J. (2025). Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20234

[Published Version] View | Files available | DOI

Attia, L., Lichev, L., Mitsche, D., Saona Urmeneta, R. J., & Ziliotto, B. (2025). Random zero-sum dynamic games on infinite directed graphs. Dynamic Games and Applications. Springer Nature. 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, L., Oliu-Barton, M., & Saona Urmeneta, R. J. (2025). Marginal values of a stochastic game. Mathematics of Operations Research. Institute for Operations Research and the Management Sciences. https://doi.org/10.1287/moor.2023.0297

View | Files available | DOI | WoS

Erdös, L., Henheik, S. J., & Riabov, V. (2025). Cusp universality for correlated random matrices. Communications in Mathematical Physics. Springer Nature. 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., & Riabov, V. (n.d.). The zigzag strategy for random band matrices. arXiv. 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, V. (2025). Universality in random matrices with spatial structure. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20575

[Published Version] View | Files available | DOI

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6404 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6404 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options