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.
622 Publications
2025 |
Draft |
Preprint |
IST-REx-ID: 20569 |
G. Brigati, J. Maas, and F. Quattrocchi, “Kinetic Optimal Transport (OTIKIN) -- Part 1: Second-order discrepancies between probability measures,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20212 |
O. Miranda, “Unraveling the role of Pten in cortical stem cell lineage progression using MADM,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20117 |
Y. Wang, “The role of dynamin related protein 2A in cytokinin regulated plant growth and development,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Journal Article |
IST-REx-ID: 14543 |
Kaiyrzhanov R, Rad A, Lin S-J, Bertoli-Avella A, Kallemeijn WW, Godwin A, Zaki MS, Huang K, Lau T, Petree C, Efthymiou S, Ghayoor Karimiani E, Hempel M, Normand EA, Rudnik-Schöneborn S, Schatz UA, Baggelaar MP, Ilyas M, Sultan T, Alvi JR, Ganieva M, Fowler B, Aanicai R, Akay Tayfun G, Al Saman A, Alswaid A, Amiri N, Asilova N, Shotelersuk V, Yeetong P, Azam M, Babaei M, Bahrami Monajemi G, Mohammadi P, Samie S, Banu SH, Basto JP, Kortüm F, Bauer M, Bauer P, Beetz C, Garshasbi M, Hameed Issa A, Eyaid W, Ahmed H, Hashemi N, Hassanpour K, Herman I, Ibrohimov S, Abdul-Majeed BA, Imdad M, Isrofilov M, Kaiyal Q, Khan S, Kirmse B, Koster J, Lourenço CM, Mitani T, Moldovan O, Murphy D, Najafi M, Pehlivan D, Rocha ME, Salpietro V, Schmidts M, Shalata A, Mahroum M, Talbeya JK, Taylor RW, Vazquez D, Vetro A, Waterham HR, Zaman M, Schrader TA, Chung WK, Guerrini R, Lupski JR, Gleeson J, Suri M, Jamshidi Y, Bhatia KP, Vona B, Schrader M, Severino M, Guille M, Tate EW, Varshney GK, Houlden H, Maroofian R. 2024. Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. Brain. 147(4), 1436–1456.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 14711 |
O. O. Olusanya, “Local adaptation, genetic load and extinction in metapopulations,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17156 |
K. P. Rychlewicz, “Equivariant cohomology and rings of functions,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Conference Paper |
IST-REx-ID: 18521 |
B. Bonakdarpour, A. Momtaz, D. Nickovic, and N. E. Sarac, “Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy,” in 24th International Conference on Runtime Verification, Istanbul, Turkey, 2024, vol. 15191, pp. 282–301.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Conference Paper |
IST-REx-ID: 18847 |
R. Cadei, L. Lindorfer, S. Cremer, C. Schmid, and F. Locatello, “Smoke and mirrors in causal downstream tasks,” in ICML 2024 Workshop AI4Science, 2024, vol. 38.
[Published Version]
View
| Files available
| arXiv
2024 |
Research Data Reference |
IST-REx-ID: 18895 |
R. Cadei, F. Locatello, S. Cremer, L. Lindorfer, and C. Schmid, “ISTAnt.” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2024 |
Published |
Journal Article |
IST-REx-ID: 18961 |
C. U. Günther and K. Z. Pietrzak, “Deniability in automated contact tracing: Impossibilities and possibilities,” Proceedings on Privacy Enhancing Technologies, vol. 2024, no. 4. Privacy Enhancing Technologies Symposium Advisory Board, pp. 636–648, 2024.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Conference Paper |
IST-REx-ID: 18998 |
O. Draganov and S. Skiena, “The shape of word embeddings: Quantifying non-isometry with topological data analysis,” in Findings of the Association for Computational Linguistics: EMNLP 2024, Miami, FL, United States, 2024, pp. 12080–12099.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |
Submitted |
Preprint |
IST-REx-ID: 18999 |
S. Cultrera di Montesano, O. Draganov, H. Edelsbrunner, and M. Saghafian, “Chromatic topological data analysis,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 17283 |
K. Chatterjee, E. Goharshady, P. Novotný, and D. Zikelic, “Equivalence and similarity refutation for probabilistic programs,” Proceedings of the ACM on Programming Languages, vol. 8. Association for Computing Machinery, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |
Research Data |
IST-REx-ID: 17344 |
P. Surendranadh and H. Sachdeva, “Mathematica notebook for ‘Effect of assortative mating and sexual selection on polygenic barriers to gene flow.’” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |
Research Data |
IST-REx-ID: 17488 |
R. K. Satapathy, M. A. Jösch, O. Symonova, and V. Pokusaeva, “Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies.” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Conference Paper |
IST-REx-ID: 18068 |
T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Strategic dominance: A new preorder for nondeterministic processes,” in 35th International Conference on Concurrency Theory, Calgary, Canada, 2024, vol. 311.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
earlier version | 2024 |
Published |
Conference Paper |
IST-REx-ID: 18917 |
B. Aronov, A. Basit, I. Ramesh, G. Tasinato, and U. Wagner, “Eight-partitioning points in 3D, and efficiently too,” in 40th International Symposium on Computational Geometry, Athens, Greece, 2024, vol. 293, p. 8:1-8:15.
[Published Version]
View
| Files available
| DOI
| arXiv
earlier version | 2024 |
Draft |
Preprint |
IST-REx-ID: 20071 |
M. Dvorak and V. Kolmogorov, “Duality theory in linear optimization and its extensions -- formally verified,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 17278 |
X. Wang and B. Cheng, “Integrating molecular dynamics simulations and experimental data for azeotrope predictions in binary mixtures,” Journal of Chemical Physics, vol. 161, no. 3. AIP Publishing, 2024.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2024 |
Submitted |
Preprint |
IST-REx-ID: 19063 |
E. Zverev, S. Abdelnabi, S. Tabesh, M. Fritz, and C. Lampert, “Can LLMs separate instructions from data? And what do we even mean by that?,” arXiv. .
[Preprint]
View
| Files available
| DOI
| arXiv