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.
475 Publications
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 |
Thesis | PhD |
IST-REx-ID: 19557
Schwarz, Lena A. Mapping Developmental Dynamics of Autism Spectrum Disorder Mouse Models at Single-Cell Resolution. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-19557.
[Published Version]
View
| Files available
| DOI
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 |
Thesis | PhD |
IST-REx-ID: 20393
Kishi, Kasumi. Regulation of Notochord and Floor Plate Size during Mouse Development. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20393.
[Published Version]
View
| Files available
| DOI
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: 20371 |
Trioni, Andrea. High-Impedance Quantum Circuits for Mesoscopic Physics : Geometric Superinductors and Insulating Josephson Chains. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20371.
[Published Version]
View
| Files available
| DOI
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
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20212
Miranda, Osvaldo. Unraveling the Role of Pten in Cortical Stem Cell Lineage Progression Using MADM. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20212.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20737
Casado Polanco, Raquel. Role of NOTCH Signaling in Radial Glial Progenitor Lineage Progression. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20737.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20920 |
Hoffmann, Charlotte. Theory and Applications of Verifiable Delay Functions. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20920.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20556
Hoffmann, Charlotte. Theory and Applications of Verifiable Delay Functions. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20556.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Conference Paper |
IST-REx-ID: 19778 |
Hoffmann, Charlotte, and Krzysztof Z. Pietrzak. “Watermarkable and Zero-Knowledge Verifiable Delay Functions from Any Proof of Exponentiation.” 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, vol. 15674, Springer Nature, 2025, pp. 36–66, doi:10.1007/978-3-031-91820-9_2.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20811 |
Rella, Simon. Adaptive Processes in Biology and Culture : Models of Evolving Vaccine Resistance and the Record Statistics of Innovation. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20811.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19630 |
Synak, Peter. Methods for Fluid Simulation, Surface Tracking, and Statistics of Non-Manifold Structures. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-19630.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | MS |
IST-REx-ID: 20735 |
Wilson, Alexia C. 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, 2025, doi:10.15479/AT-ISTA-20735.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20798
Wald, Sebastian. Atoms in a Propagating-Wave Cavity for Squeezed Mach-Zehnder Atom Interferometry. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20798.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20149 |
Dos Reis Rodrigues, Patricia. Coordination of Protrusive Forces in Immune Cell Migration . Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20149.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20339 |
Tasinato, Gianluca. Topological Methods in Discrete Geometry and Theoretical Computer Science : Measure Partitioning and Constraint Satisfaction Problems. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20339.
[Published Version]
View
| Files available
| DOI