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. Finding periodic orbits in projected quantum many-body dynamics. PRX Quantum. 2025;6(4). doi:10.1103/tldp-kvkd
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20147 |
Sarac NE. A monitoring-oriented theory and classification of quantitative specifications. 2025. doi:10.15479/AT-ISTA-20147
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20342 |
|
|
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative properties and automata. Logical Methods in Computer Science. 2025;21(2). doi:10.46298/lmcs-21(2:2)2025
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20607
Mondal S. Oxygen and sulfur redox : Conversion kinetics and phase equilibria. 2025. doi: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. Numerical homogenization of sand from grain-level simulations. ACM Transactions on Graphics. 2025;44(6). doi:10.1145/3763344
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20324 |
|
|
Mukhopadhyay S, Lancheros Naranjo DA, Senior JL, Higginbotham AP. Dual relaxation oscillations in a Josephson-junction array. Physical Review Applied. 2025;24. doi:10.1103/qvls-7s3q
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20741 |
Kojic M. Towards understanding the assembly mechanisms of the Z-ring in Archaea and Bacteria. 2025. doi:10.15479/AT-ISTA-20741
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20449
Bett VK. Evolution and regulation of the Z chromosome. 2025. doi:10.15479/AT-ISTA-20449
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20777
Zivadinovic P. Scale-free activity as a basis for spatial learning and memory in the brain. 2025. doi:10.15479/AT-ISTA-20777
[Published Version]
View
| Files available
| DOI
2025 | Research Data | IST-REx-ID: 20842 |
Agafonova S. Research Data for: “One-milligram torsional pendulum toward experiments at the quantum-gravity interface.” 2025. doi:10.15479/AT-ISTA-20842
View
| Files available
| DOI
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 14278 |
Koval I. Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse. Inventiones Mathematicae. 2025. doi: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, et al. Low-dimensional structure modulation in Ag8SnSe6 for enhanced thermoelectric performance. Advanced Functional Materials. 2025;35(24). doi:10.1002/adfm.202421449
View
| DOI
| WoS
2025 | Published | Thesis | IST-REx-ID: 19903 |
Hübner V. Reciprocity and inequality in social dilemmas. 2025. doi:10.15479/AT-ISTA-19903
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20234 |
Saona Urmeneta RJ. Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games. 2025. doi:10.15479/AT-ISTA-20234
[Published Version]
View
| Files available
| DOI
2025 | Research Data | IST-REx-ID: 18712 |
Surendranadh P, Sachdeva H. Mathematica notebook and Fortran code for “Effect of assortative mating and sexual selection on polygenic barriers to gene flow.” 2025. doi: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 AL, et al. A novel HMBC-CC-HMQC NMR strategy for methyl assignment using triple-13C-labeled α-ketoisovalerate integrated with UCBShift 2.0. Journal of Molecular Biology. 2025;437(23). doi:10.1016/j.jmb.2025.169465
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Thesis | IST-REx-ID: 19557
Schwarz LA. Mapping developmental dynamics of autism spectrum disorder mouse models at single-cell resolution. 2025. doi:10.15479/AT-ISTA-19557
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20393
Kishi K. Regulation of notochord and floor plate size during mouse development. 2025. doi:10.15479/AT-ISTA-20393
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20575 |
Riabov V. Universality in random matrices with spatial structure. 2025. doi:10.15479/AT-ISTA-20575
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20212
Miranda O. Unraveling the role of Pten in cortical stem cell lineage progression using MADM. 2025. doi:10.15479/AT-ISTA-20212
[Published Version]
View
| Files available
| DOI