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.
5284 Publications
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 | 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.
2023 | Published | Journal Article | IST-REx-ID: 14610 |
Stress granules plug and stabilize damaged endolysosomal membranes
C. Bussi, A. Mangiarotti, C.E. Vanhille-Campos, B. Aylan, E. Pellegrino, N. Athanasiadi, A. Fearns, A. Rodgers, T.M. Franzmann, A. Šarić, R. Dimova, M.G. Gutierrez, Nature 623 (2023) 1062–1069.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Bussi, A. Mangiarotti, C.E. Vanhille-Campos, B. Aylan, E. Pellegrino, N. Athanasiadi, A. Fearns, A. Rodgers, T.M. Franzmann, A. Šarić, R. Dimova, M.G. Gutierrez, Nature 623 (2023) 1062–1069.
2023 | Published | Journal Article | IST-REx-ID: 14613 |
The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome
C. Lasne, M.N. Elkrewi, M.A. Toups, L.A. Layana Franco, A. Macon, B. Vicoso, Molecular Biology and Evolution 40 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Lasne, M.N. Elkrewi, M.A. Toups, L.A. Layana Franco, A. Macon, B. Vicoso, Molecular Biology and Evolution 40 (2023).
2023 | Research Data Reference | IST-REx-ID: 14616 |
The X chromosome of insects likely predates the origin of Class Insecta
M.A. Toups, B. Vicoso, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M.A. Toups, B. Vicoso, (2023).
2023 | Research Data Reference | IST-REx-ID: 14617 |
The X chromosome of insects likely predates the origin of Class Insecta
M.A. Toups, B. Vicoso, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M.A. Toups, B. Vicoso, (2023).
2023 | Research Data Reference | IST-REx-ID: 14619 |
BingqingCheng/solubility: V1.0
B. Cheng, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
B. Cheng, (2023).
2023 | Published | Journal Article | IST-REx-ID: 14628 |
Procedural metamaterials: A unified procedural graph for metamaterial design
L. Makatura, B. Wang, Y.-L. Chen, B. Deng, C. Wojtan, B. Bickel, W. Matusik, ACM Transactions on Graphics 42 (2023).
[Published Version]
View
| Files available
| DOI
L. Makatura, B. Wang, Y.-L. Chen, B. Deng, C. Wojtan, B. Bickel, W. Matusik, ACM Transactions on Graphics 42 (2023).
2023 | Published | Journal Article | IST-REx-ID: 11434
Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend
B.B. GOSWAMI, Climate Dynamics 60 (2023) 427–442.
View
| Files available
| DOI
| WoS
B.B. GOSWAMI, Climate Dynamics 60 (2023) 427–442.
2023 | Published | Journal Article | IST-REx-ID: 11479 |
Ten years of demographic modelling of divergence and speciation in the sea
A. De Jode, A. Le Moan, K. Johannesson, R. Faria, S. Stankowski, A.M. Westram, R.K. Butlin, M. Rafajlović, C. Fraisse, Evolutionary Applications 16 (2023) 542–559.
[Published Version]
View
| Files available
| DOI
| WoS
A. De Jode, A. Le Moan, K. Johannesson, R. Faria, S. Stankowski, A.M. Westram, R.K. Butlin, M. Rafajlović, C. Fraisse, Evolutionary Applications 16 (2023) 542–559.
2023 | Published | Journal Article | IST-REx-ID: 11706 |
Asymmetric Ramsey properties of random graphs involving cliques and cycles
A. Liebenau, L. Mattos, W. Mendonca dos Santos, J. Skokan, Random Structures and Algorithms 62 (2023) 1035–1055.
[Published Version]
View
| Files available
| DOI
| WoS
A. Liebenau, L. Mattos, W. Mendonca dos Santos, J. Skokan, Random Structures and Algorithms 62 (2023) 1035–1055.
2023 | Published | Journal Article | IST-REx-ID: 11741 |
Quenched universality for deformed Wigner matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields 185 (2023) 1183–1218.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields 185 (2023) 1183–1218.
2023 | Published | Journal Article | IST-REx-ID: 11999 |
Inserting one edge into a simple drawing is hard
A.M. Arroyo Guevara, F. Klute, I. Parada, B. Vogtenhuber, R. Seidel, T. Wiedera, Discrete and Computational Geometry 69 (2023) 745–770.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A.M. Arroyo Guevara, F. Klute, I. Parada, B. Vogtenhuber, R. Seidel, T. Wiedera, Discrete and Computational Geometry 69 (2023) 745–770.
2023 | Published | Journal Article | IST-REx-ID: 17074 |
Validity of Bogoliubov’s approximation fortranslation-invariant Bose gases
M. Brooks, R. Seiringer, Probability and Mathematical Physics 3 (2023) 939–1000.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Brooks, R. Seiringer, Probability and Mathematical Physics 3 (2023) 939–1000.