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.
476 Publications
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20234 |
Saona Urmeneta RJ. 2025. Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 17037
Attia L, Oliu-Barton M, Saona Urmeneta RJ. 2025. Marginal values of a stochastic game. Mathematics of Operations Research. 50(1), 482–505.
View
| Files available
| DOI
| WoS
2025 |
Draft |
Preprint |
IST-REx-ID: 20576 |
Erdös L, Riabov V. The zigzag strategy for random band matrices. arXiv, 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.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20811 |
Rella S. 2025. Adaptive processes in biology and culture : Models of evolving vaccine resistance and the record statistics of innovation. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | MS |
IST-REx-ID: 20735 |
Wilson AC. 2025. Modelling the spinal cord of a tadpole : Exploring different ways to model the spinal cord in the Xenopus frog. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20798
Wald S. 2025. Atoms in a propagating-wave cavity for squeezed Mach-Zehnder atom interferometry. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20149 |
Dos Reis Rodrigues P. 2025. Coordination of protrusive forces in immune cell migration . Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20339 |
Tasinato G. 2025. Topological methods in discrete geometry and theoretical computer science : Measure partitioning and constraint satisfaction problems. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19540 |
Henheik SJ. 2025. Modeling complex quantum systems : Random matrices, BCS theory, and quantum lattice systems. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 18879 |
Watson J, Vargas Barroso VM, Morse R, Navas Olivé AC, Tavakoli M, Danzl JG, Tomschik M, Rössler K, Jonas PM. 2025. Human hippocampal CA3 uses specific functional connectivity rules for efficient associative memory. Cell. 188(2), 501–514.e18.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20212
Miranda O. 2025. Unraveling the role of Pten in cortical stem cell lineage progression using MADM. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20737
Casado Polanco R. 2025. Role of NOTCH signaling in radial glial progenitor lineage progression. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19557
Schwarz LA. 2025. Mapping developmental dynamics of autism spectrum disorder mouse models at single-cell resolution. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20393
Kishi K. 2025. Regulation of notochord and floor plate size during mouse development. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20371 |
Trioni A. 2025. High-impedance quantum circuits for mesoscopic physics : Geometric superinductors and insulating Josephson Chains. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19630 |
Synak P. 2025. Methods for fluid simulation, surface tracking, and statistics of non-manifold structures. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20920 |
Hoffmann C. 2025. Theory and applications of verifiable delay functions. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20556
Hoffmann C. 2025. Theory and applications of verifiable delay functions. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Conference Paper |
IST-REx-ID: 19778 |
Hoffmann C, Pietrzak KZ. 2025. Watermarkable and zero-knowledge Verifiable Delay Functions from any proof of exponentiation. 28th IACR International Conference on Practice and Theory of Public-Key Cryptography. PKC: Public-Key Cryptography, LNCS, vol. 15674, 36–66.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)