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