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.
5339 Publications
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
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. 32nd USENIX Security Symposium. USENIX Security Symposium vol. 8, 5359–5376.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 14610 |
Bussi C, Mangiarotti A, Vanhille-Campos CE, Aylan B, Pellegrino E, Athanasiadi N, Fearns A, Rodgers A, Franzmann TM, Šarić A, Dimova R, Gutierrez MG. 2023. Stress granules plug and stabilize damaged endolysosomal membranes. Nature. 623, 1062–1069.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14613 |
Lasne C, Elkrewi MN, Toups MA, Layana Franco LA, 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. 40(12), msad245.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Research Data | IST-REx-ID: 14614 |
Lasne C, Elkrewi MN. 2023. The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome, Institute of Science and Technology Austria, 10.15479/AT:ISTA:14614.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14616 |
Toups MA, Vicoso B. 2023. The X chromosome of insects likely predates the origin of Class Insecta, Dryad, 10.5061/DRYAD.HX3FFBGKT.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14617 |
Toups MA, Vicoso B. 2023. The X chromosome of insects likely predates the origin of Class Insecta, Zenodo, 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, 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. 42(5), 168.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 11434
GOSWAMI BB. 2023. Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. 60, 427–442.
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 11479 |
De Jode A, Le Moan A, Johannesson K, Faria R, Stankowski S, Westram AM, Butlin RK, Rafajlović M, Fraisse C. 2023. Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. 16(2), 542–559.
[Published Version]
View
| Files available
| DOI
| WoS