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 | OA
Brigati, Giovanni, et al. “Kinetic Optimal Transport (OTIKIN) -- Part 1: Second-Order Discrepancies between Probability Measures.” ArXiv, 2502.15665, doi:10.48550/arXiv.2502.15665.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Thesis | PhD | IST-REx-ID: 20212 | OA
Miranda, Osvaldo. Unraveling the Role of Pten in Cortical Stem Cell Lineage Progression Using MADM. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20212.
[Published Version] View | Files available | DOI
 
2025 | Published | Thesis | PhD | IST-REx-ID: 20117 | OA
Wang, Yiqun. The Role of Dynamin Related Protein 2A in Cytokinin Regulated Plant Growth and Development. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20117.
[Published Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 14543 | OA
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 | OA
Olusanya, Oluwafunmilola O. Local Adaptation, Genetic Load and Extinction in Metapopulations. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:14711.
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | PhD | IST-REx-ID: 17156 | OA
Rychlewicz, Kamil P. Equivariant Cohomology and Rings of Functions. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:17156.
[Published Version] View | Files available | DOI
 
2024 | Published | Conference Paper | IST-REx-ID: 18521 | OA
Bonakdarpour, Borzoo, et al. “Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed & Accuracy.” 24th International Conference on Runtime Verification, vol. 15191, Springer Nature, 2024, pp. 282–301, doi:10.1007/978-3-031-74234-7_18.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18847 | OA
Cadei, Riccardo, et al. “Smoke and Mirrors in Causal Downstream Tasks.” ICML 2024 Workshop AI4Science, vol. 38, Curran Associates, 2024.
[Published Version] View | Files available | arXiv
 
2024 | Research Data Reference | IST-REx-ID: 18895 | OA
Cadei, Riccardo, et al. ISTAnt. Institute of Science and Technology Austria, 2024, doi:10.6084/M9.FIGSHARE.26484934.V2.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2024 | Published | Journal Article | IST-REx-ID: 18961 | OA
Günther, Christoph Ullrich, and Krzysztof 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, 2024, pp. 636–48, doi:10.56553/popets-2024-0134.
[Published Version] View | Files available | DOI
 
2024 | Published | Conference Paper | IST-REx-ID: 18998 | OA
Draganov, Ondrej, and Steven Skiena. “The Shape of Word Embeddings: Quantifying Non-Isometry with Topological Data Analysis.” Findings of the Association for Computational Linguistics: EMNLP 2024, Association for Computational Linguistics, 2024, pp. 12080–99, doi:10.18653/v1/2024.findings-emnlp.705.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Submitted | Preprint | IST-REx-ID: 18999 | OA
Cultrera di Montesano, Sebastiano, et al. “Chromatic Topological Data Analysis.” ArXiv, 2406.04102, doi:10.48550/ARXIV.2406.04102.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 17283 | OA
Chatterjee, Krishnendu, et al. “Equivalence and Similarity Refutation for Probabilistic Programs.” Proceedings of the ACM on Programming Languages, vol. 8, 232, Association for Computing Machinery, 2024, doi:10.1145/3656462.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Research Data | IST-REx-ID: 17344 | OA
Surendranadh, Parvathy, and Himani Sachdeva. Mathematica Notebook for “Effect of Assortative Mating and Sexual Selection on Polygenic Barriers to Gene Flow.” Institute of Science and Technology Austria, 2024, doi:10.15479/AT:ISTA:17344.
[Published Version] View | Files available | DOI
 
2024 | Research Data | IST-REx-ID: 17488 | OA
Satapathy, Roshan K., et al. Bilateral Interactions of Optic-Flow Sensitive Neurons Coordinate Course Control in Flies. Institute of Science and Technology Austria, 2024, doi:10.15479/AT:ISTA:17488.
[Published Version] View | Files available | DOI
 
2024 | Published | Conference Paper | IST-REx-ID: 18068 | OA
Henzinger, Thomas A., et al. “Strategic Dominance: A New Preorder for Nondeterministic Processes.” 35th International Conference on Concurrency Theory, vol. 311, 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.CONCUR.2024.29.
[Published Version] View | Files available | DOI | WoS | arXiv
 
earlier version | 2024 | Published | Conference Paper | IST-REx-ID: 18917 | OA
Aronov, Boris, et al. “Eight-Partitioning Points in 3D, and Efficiently Too.” 40th International Symposium on Computational Geometry, vol. 293, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 8:1-8:15, doi:10.4230/LIPIcs.SoCG.2024.8.
[Published Version] View | Files available | DOI | arXiv
 
earlier version | 2024 | Draft | Preprint | IST-REx-ID: 20071 | OA
Dvorak, Martin, and Vladimir Kolmogorov. “Duality Theory in Linear Optimization and Its Extensions -- Formally  Verified.” ArXiv, 2409.08119, doi:10.48550/arXiv.2409.08119.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 17278 | OA
Wang, Xiaoyu, and Bingqing Cheng. “Integrating Molecular Dynamics Simulations and Experimental Data for Azeotrope Predictions in Binary Mixtures.” Journal of Chemical Physics, vol. 161, no. 3, 034111, AIP Publishing, 2024, doi:10.1063/5.0217232.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 
2024 | Submitted | Preprint | IST-REx-ID: 19063 | OA
Zverev, Egor, et al. “Can LLMs Separate Instructions from Data? And What Do We Even Mean by That?” ArXiv, 2403.06833, doi:10.48550/arXiv.2403.06833.
[Preprint] View | Files available | DOI | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed