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.
5258 Publications
2023 | Published | Conference Paper | IST-REx-ID: 14516 | 
Beaver D, Kelkar M, Lewi K, Nikolaenko V, Sonnino A, Chalkias K, Kokoris Kogias E, Naurois LD, Roy A. 2023. STROBE: Streaming Threshold Random Beacons. 5th Conference on Advances in Financial Technologies. AFT: Conference on Advances in Financial Technologies, LIPIcs, vol. 282, 7.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 14518 |
Avni G, Meggendorfer T, Sadhukhan S, Tkadlec J, Zikelic D. 2023. Reachability poorman discrete-bidding games. Frontiers in Artificial Intelligence and Applications. ECAI: European Conference on Artificial Intelligence vol. 372, 141–148.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14523 |
Binysh J, Chakraborty I, Chubynsky M, Diaz Melian VL, Waitukaitis SR, Sprittles J, Souslov A. 2023. SouslovLab/PRL2023-ModellingLeidenfrostLevitationofSoftElasticSolids: v1.0.1, Zenodo, 10.5281/ZENODO.8329143.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Thesis | IST-REx-ID: 14539 |
Zikelic D. 2023. Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 14542 |
Henheik SJ, Lauritsen AB, Roos B. 2023. Universality in low-dimensional BCS theory. Reviews in Mathematical Physics., 2360005.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Published | Thesis | IST-REx-ID: 14547 |
Phan DT. 2023. Resonant microwave spectroscopy of Al-InAs. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14551 |
Briffa A, Hollwey E, Shahzad Z, Moore JD, Lyons DB, Howard M, Zilberman D. 2023. Millennia-long epigenetic fluctuations generate intragenic DNA methylation variance in Arabidopsis populations. Cell Systems. 14(11), 953–967.
[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. 2023. Continuous-variable quantum tomography of high-amplitude states. Physical Review A. 108(4), 042430.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14554 |
Cornalba F, Shardlow T. 2023. The regularised inertial Dean’ Kawasaki equation: Discontinuous Galerkin approximation and modelling for low-density regime. ESAIM: Mathematical Modelling and Numerical Analysis. 57(5), 3061–3090.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14555 |
Riedl M, Sixt MK. 2023. The excitable nature of polymerizing actin and the Belousov-Zhabotinsky reaction. Frontiers in Cell and Developmental Biology. 11, 1287420.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14556 |
Berdan EL, Barton NH, Butlin R, Charlesworth B, Faria R, Fragata I, Gilbert KJ, Jay P, Kapun M, Lotterhos KE, Mérot C, Durmaz Mitchell E, Pascual M, Peichel CL, Rafajlović M, Westram AM, Schaeffer SW, Johannesson K, Flatt T. 2023. How chromosomal inversions reorient the evolutionary process. Journal of Evolutionary Biology. 36(12), 14242.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 14559 |
Ansaripour M, Chatterjee K, Henzinger TA, Lechner M, Zikelic D. 2023. Learning provably stabilizing neural controllers for discrete-time stochastic systems. 21st International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 14215, 357–379.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data | IST-REx-ID: 14562 |
Schur FK. 2023. Research data of the publication ‘ArpC5 isoforms regulate Arp2/3 complex-dependent protrusion through differential Ena/VASP positioning’, Institute of Science and Technology Austria, 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. 2023. A shallow‐deep unified stochastic mass flux cumulus parameterization in the single column community climate model. Journal of Advances in Modeling Earth Systems. 15(11), e2022MS003391.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14579 |
Wetzel W. 2023. HerbVar-Network/HV-Large-Patterns-MS-public: v1.0.0, Zenodo, 10.5281/ZENODO.8133117.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Thesis | IST-REx-ID: 14587 |
Marveggio A. 2023. Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14603 |
Reinhardt A, Chew PY, Cheng B. 2023. A streamlined molecular-dynamics workflow for computing solubilities of molecular and ionic crystals. Journal of Chemical Physics. 159(18), 184110.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14604 |
Toups MA, Vicoso B. 2023. The X chromosome of insects likely predates the origin of class Insecta. Evolution. 77(11), 2504–2511.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC