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.
482 Publications
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20551 |
Symplectic-prequantum structures and dynamics on the codimension-2 shape space
S. Ishida, Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
S. Ishida, Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space, Institute of Science and Technology Austria, 2025.
2025 |
Draft |
Preprint |
IST-REx-ID: 20580 |
Implicit representations of codimension-2 submanifolds and their prequantum structure
A. Chern, S. Ishida, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A. Chern, S. Ishida, ArXiv (n.d.).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20357
Effect propagation in biological networks
N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20147 |
A monitoring-oriented theory and classification of quantitative specifications
N.E. Sarac, A Monitoring-Oriented Theory and Classification of Quantitative Specifications, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
N.E. Sarac, A Monitoring-Oriented Theory and Classification of Quantitative Specifications, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 20342 |
| 
|
Safety and liveness of quantitative properties and automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, Logical Methods in Computer Science 21 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, Logical Methods in Computer Science 21 (2025).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20741 |
Towards understanding the assembly mechanisms of the Z-ring in Archaea and Bacteria
M. Kojic, Towards Understanding the Assembly Mechanisms of the Z-Ring in Archaea and Bacteria, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
M. Kojic, Towards Understanding the Assembly Mechanisms of the Z-Ring in Archaea and Bacteria, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19903 |
Reciprocity and inequality in social dilemmas
V. Hübner, Reciprocity and Inequality in Social Dilemmas, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
V. Hübner, Reciprocity and Inequality in Social Dilemmas, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20607
Oxygen and sulfur redox : Conversion kinetics and phase equilibria
S. Mondal, Oxygen and Sulfur Redox : Conversion Kinetics and Phase Equilibria, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
S. Mondal, Oxygen and Sulfur Redox : Conversion Kinetics and Phase Equilibria, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20449
Evolution and regulation of the Z chromosome
V.K. Bett, Evolution and Regulation of the Z Chromosome, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
V.K. Bett, Evolution and Regulation of the Z Chromosome, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20777
Scale-free activity as a basis for spatial learning and memory in the brain
P. Zivadinovic, Scale-Free Activity as a Basis for Spatial Learning and Memory in the Brain, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
P. Zivadinovic, Scale-Free Activity as a Basis for Spatial Learning and Memory in the Brain, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20234 |
Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games
R.J. Saona Urmeneta, Robustness of Solutions in Game Theory : Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
R.J. Saona Urmeneta, Robustness of Solutions in Game Theory : Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 17037
Marginal values of a stochastic game
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2025) 482–505.
View
| Files available
| DOI
| WoS
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2025) 482–505.
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: 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 |
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 | 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 |
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 |
Published |
Thesis | PhD |
IST-REx-ID: 19540 |
Modeling complex quantum systems : Random matrices, BCS theory, and quantum lattice systems
S.J. Henheik, Modeling Complex Quantum Systems : Random Matrices, BCS Theory, and Quantum Lattice Systems, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
S.J. Henheik, Modeling Complex Quantum Systems : Random Matrices, BCS Theory, and Quantum Lattice Systems, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 18879 |
Human hippocampal CA3 uses specific functional connectivity rules for efficient associative memory
J. Watson, V.M. Vargas Barroso, R. Morse, A.C. Navas Olivé, M. Tavakoli, J.G. Danzl, M. Tomschik, K. Rössler, P.M. Jonas, Cell 188 (2025) 501–514.e18.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Watson, V.M. Vargas Barroso, R. Morse, A.C. Navas Olivé, M. Tavakoli, J.G. Danzl, M. Tomschik, K. Rössler, P.M. Jonas, Cell 188 (2025) 501–514.e18.