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
Bhattacharya, S., Henzinger, M., Nanongkai, D., & Wu, X. (2023). Deterministic near-optimal approximation algorithms for dynamic set cover. SIAM Journal on Computing. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/21M1428649
View
| DOI
| WoS
2023 |
Published |
Conference Paper |
IST-REx-ID: 14559 |
Ansaripour, M., Chatterjee, K., Henzinger, T. A., Lechner, M., & Zikelic, D. (2023). Learning provably stabilizing neural controllers for discrete-time stochastic systems. In 21st International Symposium on Automated Technology for Verification and Analysis (Vol. 14215, pp. 357–379). Singapore, Singapore: Springer Nature. https://doi.org/10.1007/978-3-031-45329-8_17
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Research Data |
IST-REx-ID: 14562 |
Schur, F. K. (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. https://doi.org/10.15479/AT:ISTA:14562
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 14564 |
Khouider, B., GOSWAMI, B. B., Phani, R., & Majda, A. J. (2023). 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. https://doi.org/10.1029/2022ms003391
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Research Data Reference |
IST-REx-ID: 14579 |
Wetzel, W. (2023). HerbVar-Network/HV-Large-Patterns-MS-public: v1.0.0. Zenodo. https://doi.org/10.5281/ZENODO.8133117
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Published |
Thesis | PhD |
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. https://doi.org/10.15479/at:ista:14587
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 14603 |
Reinhardt, A., Chew, P. Y., & Cheng, B. (2023). A streamlined molecular-dynamics workflow for computing solubilities of molecular and ionic crystals. Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/5.0173341
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 14604 |
Toups, M. A., & Vicoso, B. (2023). The X chromosome of insects likely predates the origin of class Insecta. Evolution. Oxford University Press. https://doi.org/10.1093/evolut/qpad169
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 14605
Ouyang, N., Zeng, Z., Wang, C., Wang, Q., & Chen, Y. (2023). 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. https://doi.org/10.1103/PhysRevB.108.174302
View
| DOI
| WoS
2023 |
Published |
Conference Paper |
IST-REx-ID: 14609 |
Das, S., Xiang, Z., Kokoris Kogias, E., & Ren, L. (2023). Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling. In 32nd USENIX Security Symposium (Vol. 8, pp. 5359–5376). Anaheim, CA, United States: Usenix.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 14610 |
Bussi, C., Mangiarotti, A., Vanhille-Campos, C. E., Aylan, B., Pellegrino, E., Athanasiadi, N., … Gutierrez, M. G. (2023). Stress granules plug and stabilize damaged endolysosomal membranes. Nature. Springer Nature. https://doi.org/10.1038/s41586-023-06726-w
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 14613 |
Lasne, C., Elkrewi, M. N., Toups, M. A., Layana Franco, L. A., Macon, A., & Vicoso, B. (2023). The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msad245
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Research Data |
IST-REx-ID: 14614 |
Lasne, C., & Elkrewi, M. N. (2023). The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:14614
[Published Version]
View
| Files available
| DOI
2023 |
Research Data Reference |
IST-REx-ID: 14616 |
Toups, M. A., & Vicoso, B. (2023). The X chromosome of insects likely predates the origin of Class Insecta. Dryad. https://doi.org/10.5061/DRYAD.HX3FFBGKT
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Research Data Reference |
IST-REx-ID: 14617 |
Toups, M. A., & Vicoso, B. (2023). The X chromosome of insects likely predates the origin of Class Insecta. Zenodo. https://doi.org/10.5281/ZENODO.8138705
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Research Data Reference |
IST-REx-ID: 14619 |
Cheng, B. (2023). BingqingCheng/solubility: V1.0. Zenodo. https://doi.org/10.5281/ZENODO.8398094
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 14628 |
Makatura, L., Wang, B., Chen, Y.-L., Deng, B., Wojtan, C., Bickel, B., & Matusik, W. (2023). Procedural metamaterials: A unified procedural graph for metamaterial design. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3605389
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14641
Hennessey-Wesen, M. (2023). Adaptive mutation in E. coli modulated by luxS. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14641
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 14650 |
Volosniev, A., Bighin, G., Santos, L., & Peña Ardila, L. A. (2023). Non-equilibrium dynamics of dipolar polarons. SciPost Physics. SciPost Foundation. https://doi.org/10.21468/scipostphys.15.6.232
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14651 |
Arathoon, L. S. (2023). Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14651
[Published Version]
View
| Files available
| DOI