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.
405 Publications
2025 | Published | Thesis | 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 | 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 | Journal Article | IST-REx-ID: 20628 |
Numerical homogenization of sand from grain-level simulations
Y.-L. Chen, M. Ly, C. Wojtan, ACM Transactions on Graphics 44 (2025).
[Published Version]
View
| Files available
| DOI
Y.-L. Chen, M. Ly, C. Wojtan, ACM Transactions on Graphics 44 (2025).
2025 | Published | Journal Article | IST-REx-ID: 20324 |
|
|
Dual relaxation oscillations in a Josephson-junction array
S. Mukhopadhyay, D.A. Lancheros Naranjo, J.L. Senior, A.P. Higginbotham, Physical Review Applied 24 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Mukhopadhyay, D.A. Lancheros Naranjo, J.L. Senior, A.P. Higginbotham, Physical Review Applied 24 (2025).
2025 | Published | Thesis | 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 | 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 | 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 | Epub ahead of print | Journal Article | IST-REx-ID: 14278 |
Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse
I. Koval, Inventiones Mathematicae (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
I. Koval, Inventiones Mathematicae (2025).
2025 | Published | Journal Article | IST-REx-ID: 18882
Low-dimensional structure modulation in Ag8SnSe6 for enhanced thermoelectric performance
X. Zhao, M. Li, M. Jia, C. Fiedler, B. Nan, D. Yang, L. Li, Z. Yuan, H. Song, Y. Liu, M. Ibáñez, Z. Wang, C. Shan, A. Cabot, Advanced Functional Materials 35 (2025).
View
| DOI
| WoS
X. Zhao, M. Li, M. Jia, C. Fiedler, B. Nan, D. Yang, L. Li, Z. Yuan, H. Song, Y. Liu, M. Ibáñez, Z. Wang, C. Shan, A. Cabot, Advanced Functional Materials 35 (2025).
2025 | Published | Thesis | 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 | 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: 20538 |
|
|
A novel HMBC-CC-HMQC NMR strategy for methyl assignment using triple-13C-labeled α-ketoisovalerate integrated with UCBShift 2.0
S. Knödlstorfer, G. Toscano, A.L. Ptaszek, G. Kontaxis, F. Napoli, J. Schneider, K. Maier, A. Kapitonova, R.J. Lichtenecker, P. Schanda, R. Konrat, Journal of Molecular Biology 437 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Knödlstorfer, G. Toscano, A.L. Ptaszek, G. Kontaxis, F. Napoli, J. Schneider, K. Maier, A. Kapitonova, R.J. Lichtenecker, P. Schanda, R. Konrat, Journal of Molecular Biology 437 (2025).
2025 | Published | Thesis | 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 | Thesis | 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 | Thesis | 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 | 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 | 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 | Journal Article | IST-REx-ID: 20101 |
The neural basis of species-specific defensive behaviour in Peromyscus mice
F. Baier, K. Reinhard, B. Nuttin, A. Sans-Dublanc, C. Liu, V. Tong, J.S. Murmann, K. Wierda, K. Farrow, H.E. Hoekstra, Nature 645 (2025) 439–447.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
F. Baier, K. Reinhard, B. Nuttin, A. Sans-Dublanc, C. Liu, V. Tong, J.S. Murmann, K. Wierda, K. Farrow, H.E. Hoekstra, Nature 645 (2025) 439–447.
2025 | Published | Journal Article | IST-REx-ID: 20926 |
A universal augmentation framework for long-range electrostatics in machine learning interatomic potentials
D. Kim, X. Wang, S. Vargas, P. Zhong, D.S. King, T.J. Inizan, B. Cheng, Journal of Chemical Theory and Computation 21 (2025) 12709–12724.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
D. Kim, X. Wang, S. Vargas, P. Zhong, D.S. King, T.J. Inizan, B. Cheng, Journal of Chemical Theory and Computation 21 (2025) 12709–12724.