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.
6293 Publications
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
| WoS
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.)
| WoS
| 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
| WoS
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 | PhD |
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
| WoS
| PubMed | Europe PMC
| 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
| WoS
| 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
| WoS
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
| WoS
| 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
| WoS
| 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 |
IST-REx-ID: 14614 |
The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome
C. Lasne, M.N. Elkrewi, (2023).
[Published Version]
View
| Files available
| DOI
C. Lasne, M.N. Elkrewi, (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
| WoS
L. Makatura, B. Wang, Y.-L. Chen, B. Deng, C. Wojtan, B. Bickel, W. Matusik, ACM Transactions on Graphics 42 (2023).
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14641
Adaptive mutation in E. coli modulated by luxS
M. Hennessey-Wesen, Adaptive Mutation in E. Coli Modulated by LuxS, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M. Hennessey-Wesen, Adaptive Mutation in E. Coli Modulated by LuxS, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Journal Article |
IST-REx-ID: 14650 |
Non-equilibrium dynamics of dipolar polarons
A. Volosniev, G. Bighin, L. Santos, L.A. Peña Ardila, SciPost Physics 15 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Volosniev, G. Bighin, L. Santos, L.A. Peña Ardila, SciPost Physics 15 (2023).
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14651 |
Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus
L.S. Arathoon, Investigating Inbreeding Depression and the Self-Incompatibility Locus of Antirrhinum Majus, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
L.S. Arathoon, Investigating Inbreeding Depression and the Self-Incompatibility Locus of Antirrhinum Majus, Institute of Science and Technology Austria, 2023.