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: 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 |
Published |
Thesis | PhD |
IST-REx-ID: 20467
The role of cyclooxygenase 1 on microglial response to inflammatory stressors
F.E. Miteva, The Role of Cyclooxygenase 1 on Microglial Response to Inflammatory Stressors, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
F.E. Miteva, The Role of Cyclooxygenase 1 on Microglial Response to Inflammatory Stressors, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20470
An examination on phages as a naturally composable system
B. Wu, An Examination on Phages as a Naturally Composable System, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
B. Wu, An Examination on Phages as a Naturally Composable System, 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 |
Conference Paper |
IST-REx-ID: 19741 |
Automating the analysis of quantitative automata with QuAK
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 303–312.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 303–312.
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 |
Journal Article |
IST-REx-ID: 19735 |
Chromatin landscape is associated with sex-biased expression and Drosophila-like dosage compensation of the Z chromosome in Artemia franciscana
V.K. Bett, M.S. Trejo Arellano, B. Vicoso, Molecular Biology and Evolution 42 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
V.K. Bett, M.S. Trejo Arellano, B. Vicoso, Molecular Biology and Evolution 42 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 19843 |
Stable strategies of direct and indirect reciprocity across all social dilemmas
V. Hübner, L. Schmid, C. Hilbe, K. Chatterjee, PNAS Nexus 4 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
V. Hübner, L. Schmid, C. Hilbe, K. Chatterjee, PNAS Nexus 4 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 19074 |
|
|
Time-dependent strategies in repeated asymmetric public goods games
V. Hübner, C. Hilbe, M. Staab, M. Kleshnina, K. Chatterjee, Dynamic Games and Applications 15 (2025) 1617–1645.
[Published Version]
View
| Files available
| DOI
| WoS
V. Hübner, C. Hilbe, M. Staab, M. Kleshnina, K. Chatterjee, Dynamic Games and Applications 15 (2025) 1617–1645.
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: 19508 |
|
|
Random zero-sum dynamic games on infinite directed graphs
L. Attia, L. Lichev, D. Mitsche, R.J. Saona Urmeneta, B. Ziliotto, Dynamic Games and Applications 15 (2025) 1517–1535.
[Published Version]
View
| Files available
| DOI
| WoS
L. Attia, L. Lichev, D. Mitsche, R.J. Saona Urmeneta, B. Ziliotto, Dynamic Games and Applications 15 (2025) 1517–1535.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19557
Mapping developmental dynamics of autism spectrum disorder mouse models at single-cell resolution
L.A. Schwarz, Mapping Developmental Dynamics of Autism Spectrum Disorder Mouse Models at Single-Cell Resolution, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
L.A. Schwarz, Mapping Developmental Dynamics of Autism Spectrum Disorder Mouse Models at Single-Cell Resolution, 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.