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.
5388 Publications
2023 | Published | Thesis | IST-REx-ID: 14539 | 
Zikelic D. Automated verification and control of infinite state stochastic systems. 2023. doi:10.15479/14539
[Published Version]
View
| Files available
| DOI
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 14542 |
Henheik SJ, Lauritsen AB, Roos B. Universality in low-dimensional BCS theory. Reviews in Mathematical Physics. 2023. doi:10.1142/s0129055x2360005x
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Published | Thesis | IST-REx-ID: 14547 |
Phan DT. Resonant microwave spectroscopy of Al-InAs. 2023. doi:10.15479/14547
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14551 |
Briffa A, Hollwey E, Shahzad Z, et al. Millennia-long epigenetic fluctuations generate intragenic DNA methylation variance in Arabidopsis populations. Cell Systems. 2023;14(11):953-967. doi:10.1016/j.cels.2023.10.007
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14552
Robinson ML et al. 2023. Plant size, latitude, and phylogeny explain within-population variability in herbivory. Science. 382(6671), 679–683.
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14553 |
Fedotova E, Kuznetsov N, Tiunov E, Ulanov AE, Lvovsky AI. Continuous-variable quantum tomography of high-amplitude states. Physical Review A. 2023;108(4). doi:10.1103/PhysRevA.108.042430
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14554 |
Cornalba F, Shardlow T. The regularised inertial Dean’ Kawasaki equation: Discontinuous Galerkin approximation and modelling for low-density regime. ESAIM: Mathematical Modelling and Numerical Analysis. 2023;57(5):3061-3090. doi:10.1051/m2an/2023077
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14555 |
Riedl M, Sixt MK. The excitable nature of polymerizing actin and the Belousov-Zhabotinsky reaction. Frontiers in Cell and Developmental Biology. 2023;11. doi:10.3389/fcell.2023.1287420
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14556 |
Berdan EL, Barton NH, Butlin R, et al. How chromosomal inversions reorient the evolutionary process. Journal of Evolutionary Biology. 2023;36(12). doi:10.1111/jeb.14242
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14557
Dikranjan D, Giordano Bruno A, Zava N. Epimorphisms and closure operators of categories of semilattices. Quaestiones Mathematicae. 2023;46(S1):191-221. doi:10.2989/16073606.2023.2247731
View
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14559 |
Ansaripour M, Chatterjee K, Henzinger TA, Lechner M, Zikelic D. Learning provably stabilizing neural controllers for discrete-time stochastic systems. In: 21st International Symposium on Automated Technology for Verification and Analysis. Vol 14215. Springer Nature; 2023:357-379. doi:10.1007/978-3-031-45329-8_17
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data | IST-REx-ID: 14562 |
Schur FK. Research data of the publication “ArpC5 isoforms regulate Arp2/3 complex-dependent protrusion through differential Ena/VASP positioning.” 2023. doi:10.15479/AT:ISTA:14562
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14564 |
Khouider B, GOSWAMI BB, Phani R, Majda AJ. A shallow‐deep unified stochastic mass flux cumulus parameterization in the single column community climate model. Journal of Advances in Modeling Earth Systems. 2023;15(11). doi:10.1029/2022ms003391
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14579 |
Wetzel W. HerbVar-Network/HV-Large-Patterns-MS-public: v1.0.0. 2023. doi:10.5281/ZENODO.8133117
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Thesis | IST-REx-ID: 14587 |
Marveggio A. Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. 2023. doi:10.15479/at:ista:14587
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14603 |
Reinhardt A, Chew PY, Cheng B. A streamlined molecular-dynamics workflow for computing solubilities of molecular and ionic crystals. Journal of Chemical Physics. 2023;159(18). doi:10.1063/5.0173341
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14604 |
Toups MA, Vicoso B. The X chromosome of insects likely predates the origin of class Insecta. Evolution. 2023;77(11):2504-2511. doi:10.1093/evolut/qpad169
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14605
Ouyang N, Zeng Z, Wang C, Wang Q, Chen Y. Role of high-order lattice anharmonicity in the phonon thermal transport of silver halide AgX (X=Cl,Br, I). Physical Review B. 2023;108(17). doi:10.1103/PhysRevB.108.174302
View
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14609 |
Das S, Xiang Z, Kokoris Kogias E, Ren L. Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling. In: 32nd USENIX Security Symposium. Vol 8. Usenix; 2023:5359-5376.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 14610 |
Bussi C, Mangiarotti A, Vanhille-Campos CE, et al. Stress granules plug and stabilize damaged endolysosomal membranes. Nature. 2023;623:1062-1069. doi:10.1038/s41586-023-06726-w
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC