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.
6136 Publications
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20393
Regulation of notochord and floor plate size during mouse development
K. Kishi, Regulation of Notochord and Floor Plate Size during Mouse Development, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
K. Kishi, Regulation of Notochord and Floor Plate Size during Mouse Development, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 20322 |
| 
|
Cusp universality for correlated random matrices
L. Erdös, S.J. Henheik, V. Riabov, Communications in Mathematical Physics 406 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Erdös, S.J. Henheik, V. Riabov, Communications in Mathematical Physics 406 (2025).
2025 |
Draft |
Preprint |
IST-REx-ID: 20576 |
The zigzag strategy for random band matrices
L. Erdös, V. Riabov, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
L. Erdös, V. Riabov, ArXiv (n.d.).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20371 |
High-impedance quantum circuits for mesoscopic physics : Geometric superinductors and insulating Josephson Chains
A. Trioni, High-Impedance Quantum Circuits for Mesoscopic Physics : Geometric Superinductors and Insulating Josephson Chains, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
A. Trioni, High-Impedance Quantum Circuits for Mesoscopic Physics : Geometric Superinductors and Insulating Josephson Chains, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20575 |
Universality in random matrices with spatial structure
V. Riabov, Universality in Random Matrices with Spatial Structure, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
V. Riabov, Universality in Random Matrices with Spatial Structure, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 19598 |
|
|
Linear Eigenvalue statistics at the cusp
V. Riabov, Probability Theory and Related Fields 193 (2025) 1183–1237.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
V. Riabov, Probability Theory and Related Fields 193 (2025) 1183–1237.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20212
Unraveling the role of Pten in cortical stem cell lineage progression using MADM
O. Miranda, Unraveling the Role of Pten in Cortical Stem Cell Lineage Progression Using MADM, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
O. Miranda, Unraveling the Role of Pten in Cortical Stem Cell Lineage Progression Using MADM, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20737
Role of NOTCH signaling in radial glial progenitor lineage progression
R. Casado Polanco, Role of NOTCH Signaling in Radial Glial Progenitor Lineage Progression, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
R. Casado Polanco, Role of NOTCH Signaling in Radial Glial Progenitor Lineage Progression, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20920 |
Theory and applications of verifiable delay functions
C. Hoffmann, Theory and Applications of Verifiable Delay Functions, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
C. Hoffmann, Theory and Applications of Verifiable Delay Functions, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20556
Theory and applications of verifiable delay functions
C. Hoffmann, Theory and Applications of Verifiable Delay Functions, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
C. Hoffmann, Theory and Applications of Verifiable Delay Functions, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Conference Paper |
IST-REx-ID: 19778 |
Watermarkable and zero-knowledge Verifiable Delay Functions from any proof of exponentiation
C. Hoffmann, K.Z. Pietrzak, in:, 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 36–66.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
C. Hoffmann, K.Z. Pietrzak, in:, 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 36–66.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20811 |
Adaptive processes in biology and culture : Models of evolving vaccine resistance and the record statistics of innovation
S. Rella, Adaptive Processes in Biology and Culture : Models of Evolving Vaccine Resistance and the Record Statistics of Innovation, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
S. Rella, Adaptive Processes in Biology and Culture : Models of Evolving Vaccine Resistance and the Record Statistics of Innovation, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19630 |
Methods for fluid simulation, surface tracking, and statistics of non-manifold structures
P. Synak, Methods for Fluid Simulation, Surface Tracking, and Statistics of Non-Manifold Structures, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
P. Synak, Methods for Fluid Simulation, Surface Tracking, and Statistics of Non-Manifold Structures, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | MS |
IST-REx-ID: 20735 |
Modelling the spinal cord of a tadpole : Exploring different ways to model the spinal cord in the Xenopus frog
A.C. Wilson, 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.
[Published Version]
View
| Files available
| DOI
A.C. Wilson, 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.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20798
Atoms in a propagating-wave cavity for squeezed Mach-Zehnder atom interferometry
S. Wald, Atoms in a Propagating-Wave Cavity for Squeezed Mach-Zehnder Atom Interferometry, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
S. Wald, Atoms in a Propagating-Wave Cavity for Squeezed Mach-Zehnder Atom Interferometry, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 20082 |
|
|
Migrating immune cells globally coordinate protrusive forces
P. Dos Reis Rodrigues, M. Avellaneda Sarrió, N. Canigova, F.R. Gärtner, K. Vaahtomeri, M. Riedl, I. de Vries, J. Merrin, R. Hauschild, Y. Fukui, A. Juanes Garcia, M.K. Sixt, Nature Immunology 26 (2025) 1258–1266.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
P. Dos Reis Rodrigues, M. Avellaneda Sarrió, N. Canigova, F.R. Gärtner, K. Vaahtomeri, M. Riedl, I. de Vries, J. Merrin, R. Hauschild, Y. Fukui, A. Juanes Garcia, M.K. Sixt, Nature Immunology 26 (2025) 1258–1266.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20008 |
Hardness of 4-colouring G-colourable graphs
S. Avvakumov, M. Filakovský, J. Opršal, G. Tasinato, U. Wagner, in:, Proceedings of the 57th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2025, pp. 72–83.
[Published Version]
View
| Files available
| DOI
S. Avvakumov, M. Filakovský, J. Opršal, G. Tasinato, U. Wagner, in:, Proceedings of the 57th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2025, pp. 72–83.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20149 |
Coordination of protrusive forces in immune cell migration
P. Dos Reis Rodrigues, Coordination of Protrusive Forces in Immune Cell Migration , Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
P. Dos Reis Rodrigues, Coordination of Protrusive Forces in Immune Cell Migration , Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20339 |
Topological methods in discrete geometry and theoretical computer science : Measure partitioning and constraint satisfaction problems
G. Tasinato, Topological Methods in Discrete Geometry and Theoretical Computer Science : Measure Partitioning and Constraint Satisfaction Problems, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
G. Tasinato, Topological Methods in Discrete Geometry and Theoretical Computer Science : Measure Partitioning and Constraint Satisfaction Problems, Institute of Science and Technology Austria, 2025.
2025 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 19860 |
Eight-partitioning points in 3D, and efficiently too
B. Aronov, A. Basit, I. Ramesh, G. Tasinato, U. Wagner, Discrete & Computational Geometry (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
B. Aronov, A. Basit, I. Ramesh, G. Tasinato, U. Wagner, Discrete & Computational Geometry (2025).