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 | 
Automated verification and control of infinite state stochastic systems
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 14542 |
Universality in low-dimensional BCS theory
S.J. Henheik, A.B. Lauritsen, B. Roos, Reviews in Mathematical Physics (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
S.J. Henheik, A.B. Lauritsen, B. Roos, Reviews in Mathematical Physics (2023).
2023 | Published | Thesis | IST-REx-ID: 14547 |
Resonant microwave spectroscopy of Al-InAs
D.T. Phan, Resonant Microwave Spectroscopy of Al-InAs, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
D.T. Phan, Resonant Microwave Spectroscopy of Al-InAs, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 14551 |
Millennia-long epigenetic fluctuations generate intragenic DNA methylation variance in Arabidopsis populations
A. Briffa, E. Hollwey, Z. Shahzad, J.D. Moore, D.B. Lyons, M. Howard, D. Zilberman, Cell Systems 14 (2023) 953–967.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Briffa, E. Hollwey, Z. Shahzad, J.D. Moore, D.B. Lyons, M. Howard, D. Zilberman, Cell Systems 14 (2023) 953–967.
2023 | Published | Journal Article | IST-REx-ID: 14552
Plant size, latitude, and phylogeny explain within-population variability in herbivory
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
Robinson ML et al. 2023. Plant size, latitude, and phylogeny explain within-population variability in herbivory. Science. 382(6671), 679–683.
2023 | Published | Journal Article | IST-REx-ID: 14553 |
Continuous-variable quantum tomography of high-amplitude states
E. Fedotova, N. Kuznetsov, E. Tiunov, A.E. Ulanov, A.I. Lvovsky, Physical Review A 108 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Fedotova, N. Kuznetsov, E. Tiunov, A.E. Ulanov, A.I. Lvovsky, Physical Review A 108 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14554 |
The regularised inertial Dean' Kawasaki equation: Discontinuous Galerkin approximation and modelling for low-density regime
F. Cornalba, T. Shardlow, ESAIM: Mathematical Modelling and Numerical Analysis 57 (2023) 3061–3090.
[Published Version]
View
| Files available
| DOI
F. Cornalba, T. Shardlow, ESAIM: Mathematical Modelling and Numerical Analysis 57 (2023) 3061–3090.
2023 | Published | Journal Article | IST-REx-ID: 14555 |
The excitable nature of polymerizing actin and the Belousov-Zhabotinsky reaction
M. Riedl, M.K. Sixt, Frontiers in Cell and Developmental Biology 11 (2023).
[Published Version]
View
| Files available
| DOI
M. Riedl, M.K. Sixt, Frontiers in Cell and Developmental Biology 11 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14556 |
How chromosomal inversions reorient the evolutionary process
E.L. Berdan, N.H. Barton, R. Butlin, B. Charlesworth, R. Faria, I. Fragata, K.J. Gilbert, P. Jay, M. Kapun, K.E. Lotterhos, C. Mérot, E. Durmaz Mitchell, M. Pascual, C.L. Peichel, M. Rafajlović, A.M. Westram, S.W. Schaeffer, K. Johannesson, T. Flatt, Journal of Evolutionary Biology 36 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
E.L. Berdan, N.H. Barton, R. Butlin, B. Charlesworth, R. Faria, I. Fragata, K.J. Gilbert, P. Jay, M. Kapun, K.E. Lotterhos, C. Mérot, E. Durmaz Mitchell, M. Pascual, C.L. Peichel, M. Rafajlović, A.M. Westram, S.W. Schaeffer, K. Johannesson, T. Flatt, Journal of Evolutionary Biology 36 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14557
Epimorphisms and closure operators of categories of semilattices
D. Dikranjan, A. Giordano Bruno, N. Zava, Quaestiones Mathematicae 46 (2023) 191–221.
View
| DOI
D. Dikranjan, A. Giordano Bruno, N. Zava, Quaestiones Mathematicae 46 (2023) 191–221.
2023 | Published | Journal Article | IST-REx-ID: 14558
Deterministic near-optimal approximation algorithms for dynamic set cover
S. Bhattacharya, M. Henzinger, D. Nanongkai, X. Wu, SIAM Journal on Computing 52 (2023) 1132–1192.
View
| DOI
S. Bhattacharya, M. Henzinger, D. Nanongkai, X. Wu, SIAM Journal on Computing 52 (2023) 1132–1192.
2023 | Published | Conference Paper | IST-REx-ID: 14559 |
Learning provably stabilizing neural controllers for discrete-time stochastic systems
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
2023 | Research Data | IST-REx-ID: 14562 |
Research data of the publication "ArpC5 isoforms regulate Arp2/3 complex-dependent protrusion through differential Ena/VASP positioning"
F.K. Schur, (2023).
[Published Version]
View
| Files available
| DOI
F.K. Schur, (2023).
2023 | Published | Journal Article | IST-REx-ID: 14564 |
A shallow‐deep unified stochastic mass flux cumulus parameterization in the single column community climate model
B. Khouider, B.B. GOSWAMI, R. Phani, A.J. Majda, Journal of Advances in Modeling Earth Systems 15 (2023).
[Published Version]
View
| Files available
| DOI
B. Khouider, B.B. GOSWAMI, R. Phani, A.J. Majda, Journal of Advances in Modeling Earth Systems 15 (2023).
2023 | Research Data Reference | IST-REx-ID: 14579 |
HerbVar-Network/HV-Large-Patterns-MS-public: v1.0.0
W. Wetzel, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
W. Wetzel, (2023).
2023 | Published | Thesis | IST-REx-ID: 14587 |
Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences
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
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.
2023 | Published | Journal Article | IST-REx-ID: 14603 |
A streamlined molecular-dynamics workflow for computing solubilities of molecular and ionic crystals
A. Reinhardt, P.Y. Chew, B. Cheng, Journal of Chemical Physics 159 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
A. Reinhardt, P.Y. Chew, B. Cheng, Journal of Chemical Physics 159 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14604 |
The X chromosome of insects likely predates the origin of class Insecta
M.A. Toups, B. Vicoso, Evolution 77 (2023) 2504–2511.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M.A. Toups, B. Vicoso, Evolution 77 (2023) 2504–2511.
2023 | Published | Journal Article | IST-REx-ID: 14605
Role of high-order lattice anharmonicity in the phonon thermal transport of silver halide AgX (X=Cl,Br, I)
N. Ouyang, Z. Zeng, C. Wang, Q. Wang, Y. Chen, Physical Review B 108 (2023).
View
| DOI
N. Ouyang, Z. Zeng, C. Wang, Q. Wang, Y. Chen, Physical Review B 108 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14609 |
Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling
S. Das, Z. Xiang, E. Kokoris Kogias, L. Ren, in:, 32nd USENIX Security Symposium, Usenix, 2023, pp. 5359–5376.
[Published Version]
View
| Files available
| Download Published Version (ext.)
S. Das, Z. Xiang, E. Kokoris Kogias, L. Ren, in:, 32nd USENIX Security Symposium, Usenix, 2023, pp. 5359–5376.