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.
5473 Publications
2023 | Published | Thesis | IST-REx-ID: 14539 | 
D. Zikelic, “Automated verification and control of infinite state stochastic systems,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 14542 |
S. J. Henheik, A. B. Lauritsen, and B. Roos, “Universality in low-dimensional BCS theory,” Reviews in Mathematical Physics. World Scientific Publishing, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Published | Thesis | IST-REx-ID: 14547 |
D. T. Phan, “Resonant microwave spectroscopy of Al-InAs,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14551 |
A. Briffa et al., “Millennia-long epigenetic fluctuations generate intragenic DNA methylation variance in Arabidopsis populations,” Cell Systems, vol. 14, no. 11. Elsevier, pp. 953–967, 2023.
[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 |
E. Fedotova, N. Kuznetsov, E. Tiunov, A. E. Ulanov, and A. I. Lvovsky, “Continuous-variable quantum tomography of high-amplitude states,” Physical Review A, vol. 108, no. 4. American Physical Society, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14554 |
F. Cornalba and T. Shardlow, “The regularised inertial Dean’ Kawasaki equation: Discontinuous Galerkin approximation and modelling for low-density regime,” ESAIM: Mathematical Modelling and Numerical Analysis, vol. 57, no. 5. EDP Sciences, pp. 3061–3090, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14555 |
M. Riedl and M. K. Sixt, “The excitable nature of polymerizing actin and the Belousov-Zhabotinsky reaction,” Frontiers in Cell and Developmental Biology, vol. 11. Frontiers, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14556 |
E. L. Berdan et al., “How chromosomal inversions reorient the evolutionary process,” Journal of Evolutionary Biology, vol. 36, no. 12. Wiley, 2023.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14558
S. Bhattacharya, M. Henzinger, D. Nanongkai, and X. Wu, “Deterministic near-optimal approximation algorithms for dynamic set cover,” SIAM Journal on Computing, vol. 52, no. 5. Society for Industrial and Applied Mathematics, pp. 1132–1192, 2023.
View
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14559 |
M. Ansaripour, K. Chatterjee, T. A. Henzinger, M. Lechner, and D. Zikelic, “Learning provably stabilizing neural controllers for discrete-time stochastic systems,” in 21st International Symposium on Automated Technology for Verification and Analysis, Singapore, Singapore, 2023, vol. 14215, pp. 357–379.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data | IST-REx-ID: 14562 |
F. K. Schur, “Research data of the publication ‘ArpC5 isoforms regulate Arp2/3 complex-dependent protrusion through differential Ena/VASP positioning.’” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14564 |
B. Khouider, B. B. GOSWAMI, R. Phani, and A. J. Majda, “A shallow‐deep unified stochastic mass flux cumulus parameterization in the single column community climate model,” Journal of Advances in Modeling Earth Systems, vol. 15, no. 11. American Geophysical Union, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14579 |
W. Wetzel, “HerbVar-Network/HV-Large-Patterns-MS-public: v1.0.0.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Thesis | IST-REx-ID: 14587 |
A. Marveggio, “Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14603 |
A. Reinhardt, P. Y. Chew, and B. Cheng, “A streamlined molecular-dynamics workflow for computing solubilities of molecular and ionic crystals,” Journal of Chemical Physics, vol. 159, no. 18. AIP Publishing, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14604 |
M. A. Toups and B. Vicoso, “The X chromosome of insects likely predates the origin of class Insecta,” Evolution, vol. 77, no. 11. Oxford University Press, pp. 2504–2511, 2023.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 14609 |
S. Das, Z. Xiang, E. Kokoris Kogias, and L. Ren, “Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling,” in 32nd USENIX Security Symposium, Anaheim, CA, United States, 2023, vol. 8, pp. 5359–5376.
[Published Version]
View
| Files available
| Download Published Version (ext.)