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 | 
Zikelic, Dorde. “Automated Verification and Control of Infinite State Stochastic Systems.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14539.
[Published Version]
View
| Files available
| DOI
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 14542 |
Henheik, Sven Joscha, Asbjørn Bækgaard Lauritsen, and Barbara Roos. “Universality in Low-Dimensional BCS Theory.” Reviews in Mathematical Physics. World Scientific Publishing, 2023. https://doi.org/10.1142/s0129055x2360005x.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Published | Thesis | IST-REx-ID: 14547 |
Phan, Duc T. “Resonant Microwave Spectroscopy of Al-InAs.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14547.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14551 |
Briffa, Amy, Elizabeth Hollwey, Zaigham Shahzad, Jonathan D. Moore, David B. Lyons, Martin Howard, and Daniel Zilberman. “Millennia-Long Epigenetic Fluctuations Generate Intragenic DNA Methylation Variance in Arabidopsis Populations.” Cell Systems. Elsevier, 2023. https://doi.org/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, Ekaterina, Nikolai Kuznetsov, Egor Tiunov, A. E. Ulanov, and A. I. Lvovsky. “Continuous-Variable Quantum Tomography of High-Amplitude States.” Physical Review A. American Physical Society, 2023. https://doi.org/10.1103/PhysRevA.108.042430.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14554 |
Cornalba, Federico, and Tony Shardlow. “The Regularised Inertial Dean’ Kawasaki Equation: Discontinuous Galerkin Approximation and Modelling for Low-Density Regime.” ESAIM: Mathematical Modelling and Numerical Analysis. EDP Sciences, 2023. https://doi.org/10.1051/m2an/2023077.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14555 |
Riedl, Michael, and Michael K Sixt. “The Excitable Nature of Polymerizing Actin and the Belousov-Zhabotinsky Reaction.” Frontiers in Cell and Developmental Biology. Frontiers, 2023. https://doi.org/10.3389/fcell.2023.1287420.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14556 |
Berdan, Emma L., Nicholas H Barton, Roger Butlin, Brian Charlesworth, Rui Faria, Inês Fragata, Kimberly J. Gilbert, et al. “How Chromosomal Inversions Reorient the Evolutionary Process.” Journal of Evolutionary Biology. Wiley, 2023. https://doi.org/10.1111/jeb.14242.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14557
Dikranjan, D., A. Giordano Bruno, and Nicolò Zava. “Epimorphisms and Closure Operators of Categories of Semilattices.” Quaestiones Mathematicae. Taylor & Francis, 2023. https://doi.org/10.2989/16073606.2023.2247731.
View
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14558
Bhattacharya, Sayan, Monika Henzinger, Danupon Nanongkai, and Xiaowei Wu. “Deterministic Near-Optimal Approximation Algorithms for Dynamic Set Cover.” SIAM Journal on Computing. Society for Industrial and Applied Mathematics, 2023. https://doi.org/10.1137/21M1428649.
View
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14559 |
Ansaripour, Matin, Krishnendu Chatterjee, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.” In 21st International Symposium on Automated Technology for Verification and Analysis, 14215:357–79. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-45329-8_17.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data | IST-REx-ID: 14562 |
Schur, Florian KM. “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. https://doi.org/10.15479/AT:ISTA:14562.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14564 |
Khouider, B., BIDYUT 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. American Geophysical Union, 2023. https://doi.org/10.1029/2022ms003391.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14579 |
Wetzel, William. “HerbVar-Network/HV-Large-Patterns-MS-Public: V1.0.0.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.8133117.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Thesis | IST-REx-ID: 14587 |
Marveggio, Alice. “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. https://doi.org/10.15479/at:ista:14587.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14603 |
Reinhardt, Aleks, Pin Yu Chew, and Bingqing Cheng. “A Streamlined Molecular-Dynamics Workflow for Computing Solubilities of Molecular and Ionic Crystals.” Journal of Chemical Physics. AIP Publishing, 2023. https://doi.org/10.1063/5.0173341.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14604 |
Toups, Melissa A, and Beatriz Vicoso. “The X Chromosome of Insects Likely Predates the Origin of Class Insecta.” Evolution. Oxford University Press, 2023. https://doi.org/10.1093/evolut/qpad169.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14605
Ouyang, Niuchang, Zezhu Zeng, Chen Wang, Qi Wang, and Yue Chen. “Role of High-Order Lattice Anharmonicity in the Phonon Thermal Transport of Silver Halide AgX (X=Cl,Br, I).” Physical Review B. American Physical Society, 2023. https://doi.org/10.1103/PhysRevB.108.174302.
View
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14609 |
Das, Sourav, Zhuolun Xiang, Eleftherios Kokoris Kogias, and Ling Ren. “Practical Asynchronous High-Threshold Distributed Key Generation and Distributed Polynomial Sampling.” In 32nd USENIX Security Symposium, 8:5359–76. Usenix, 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)