Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
439 Publications
2025 | Published | Journal Article | IST-REx-ID: 20646 | 
| 
|
Petrova, E., Ljubotina, M., Yalniz, G., & Serbyn, M. (2025). Finding periodic orbits in projected quantum many-body dynamics. PRX Quantum. American Physical Society. https://doi.org/10.1103/tldp-kvkd
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20147 |
Sarac, N. E. (2025). A monitoring-oriented theory and classification of quantitative specifications. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20147
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20342 |
|
|
Boker, U., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2025). Safety and liveness of quantitative properties and automata. Logical Methods in Computer Science. EPI Sciences. https://doi.org/10.46298/lmcs-21(2:2)2025
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20607
Mondal, S. (2025). Oxygen and sulfur redox : Conversion kinetics and phase equilibria. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20607
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20628 |
Chen, Y.-L., Ly, M., & Wojtan, C. (2025). Numerical homogenization of sand from grain-level simulations. ACM Transactions on Graphics. Hong Kong, China: Association for Computing Machinery. https://doi.org/10.1145/3763344
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20324 |
|
|
Mukhopadhyay, S., Lancheros Naranjo, D. A., Senior, J. L., & Higginbotham, A. P. (2025). Dual relaxation oscillations in a Josephson-junction array. Physical Review Applied. American Physical Society. https://doi.org/10.1103/qvls-7s3q
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20741 |
Kojic, M. (2025). Towards understanding the assembly mechanisms of the Z-ring in Archaea and Bacteria. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20741
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20449
Bett, V. K. (2025). Evolution and regulation of the Z chromosome. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20449
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20777
Zivadinovic, P. (2025). Scale-free activity as a basis for spatial learning and memory in the brain. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20777
[Published Version]
View
| Files available
| DOI
2025 | Research Data | IST-REx-ID: 20842 |
Agafonova, S. (2025). Research Data for: “One-milligram torsional pendulum toward experiments at the quantum-gravity interface.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20842
View
| Files available
| DOI
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 14278 |
Koval, I. (2025). Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse. Inventiones Mathematicae. Springer Nature. https://doi.org/10.1007/s00222-025-01397-y
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18882
Zhao, X., Li, M., Jia, M., Fiedler, C., Nan, B., Yang, D., … Cabot, A. (2025). Low-dimensional structure modulation in Ag8SnSe6 for enhanced thermoelectric performance. Advanced Functional Materials. Wiley. https://doi.org/10.1002/adfm.202421449
View
| DOI
| WoS
2025 | Published | Thesis | IST-REx-ID: 19903 |
Hübner, V. (2025). Reciprocity and inequality in social dilemmas. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19903
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20234 |
Saona Urmeneta, R. J. (2025). Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20234
[Published Version]
View
| Files available
| DOI
2025 | Research Data | IST-REx-ID: 18712 |
Surendranadh, P., & Sachdeva, H. (2025). Mathematica notebook and Fortran code for “Effect of assortative mating and sexual selection on polygenic barriers to gene flow.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17344
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20538 |
|
|
Knödlstorfer, S., Toscano, G., Ptaszek, A. L., Kontaxis, G., Napoli, F., Schneider, J., … Konrat, R. (2025). A novel HMBC-CC-HMQC NMR strategy for methyl assignment using triple-13C-labeled α-ketoisovalerate integrated with UCBShift 2.0. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2025.169465
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Thesis | IST-REx-ID: 19557
Schwarz, L. A. (2025). Mapping developmental dynamics of autism spectrum disorder mouse models at single-cell resolution. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19557
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20393
Kishi, K. (2025). Regulation of notochord and floor plate size during mouse development. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20393
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20575 |
Riabov, V. (2025). Universality in random matrices with spatial structure. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20575
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20212
Miranda, O. (2025). Unraveling the role of Pten in cortical stem cell lineage progression using MADM. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20212
[Published Version]
View
| Files available
| DOI