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.
405 Publications
2022 | Published | Thesis | IST-REx-ID: 12378 | 
Colombo, Gloria. “MorphOMICs, a Tool for Mapping Microglial Morphology, Reveals Brain Region- and Sex-Dependent Phenotypes.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12378.
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 11388 |
Belohlavy, Stefanie. “The Genetic Basis of Complex Traits Studied via Analysis of Evolve and Resequence Experiments.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11388.
[Published Version]
View
| Files available
| DOI
2022 | Research Data | IST-REx-ID: 11653 |
Elkrewi, Marwan N. “Data from Elkrewi, Khauratovich, Toups et Al. 2022, ‘ZW Sex-Chromosome Evolution and Contagious Parthenogenesis in Artemia Brine Shrimp.’” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/AT:ISTA:11653.
[Published Version]
View
| Files available
| DOI
2022 | Research Data | IST-REx-ID: 10934 |
Radler, Philipp. “In Vitro Reconstitution of Escherichia Coli Divisome Activation.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/AT:ISTA:10934.
[Submitted Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 10727 |
Metzler, Sina. “Pathogen-Mediated Sexual Selection and Immunization in Ant Colonies.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/AT:ISTA:10727.
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 11879 |
Artner, Christina. “Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11879.
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 12364 |
Dotter, Christoph. “Transcriptional Consequences of Mutations in Genes Associated with Autism Spectrum Disorder.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12094.
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 11393 |
Jevtic, Marijo. “Contextual Fear Learning Induced Changes in AMPA Receptor Subtypes along the Proximodistal Axis in Dorsal Hippocampus.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11393.
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 12401 |
Tasciyan, Saren. “Role of Microenvironment Heterogeneity in Cancer Cell Invasion.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12401.
[Published Version]
View
| Files available
| DOI
2021 | Submitted | Preprint | IST-REx-ID: 14278 |
Koval, Illya. “Local Strong Birkhoff Conjecture and Local Spectral Rigidity of Almost Every Ellipse.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2111.12171.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Thesis | IST-REx-ID: 10422 |
Piankov, Anton. “Towards Designer Materials Using Customizable Particle Shape.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10422.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9891 |
Lauritsen, Asbjørn Bækgaard. “Floating Wigner Crystal and Periodic Jellium Configurations.” Journal of Mathematical Physics. AIP Publishing, 2021. https://doi.org/10.1063/5.0053494.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Book Chapter | IST-REx-ID: 9403 |
Schmid, Laura, and Christian Hilbe. “The Evolution of Strategic Ignorance in Strategic Interaction.” In Deliberate Ignorance: Choosing Not To Know, edited by Ralph Hertwig and Christoph Engel, 29:139–52. Strüngmann Forum Reports. MIT Press, 2021.
[Published Version]
View
| Download Published Version (ext.)
2021 | Scientific Software | IST-REx-ID: 9327 |
Sperl, Georg, Rahul Narain, and Chris Wojtan. “Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data).” IST Austria, 2021. https://doi.org/10.15479/AT:ISTA:9327.
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9818 |
Sperl, Georg, Rahul Narain, and Chris Wojtan. “Mechanics-Aware Deformation of Yarn Pattern Geometry.” ACM Transactions on Graphics. Association for Computing Machinery, 2021. https://doi.org/10.1145/3450626.3459816.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 10669 |
Grunbacher, Sophie, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A Smolka, and Radu Grosu. “On the Verification of Neural ODEs with Stochastic Guarantees.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:11525–35. AAAI Press, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10671 |
Hasani, Ramin, Mathias Lechner, Alexander Amini, Daniela Rus, and Radu Grosu. “Liquid Time-Constant Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:7657–66. AAAI Press, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10670 |
Vorbach, Charles J, Ramin Hasani, Alexander Amini, Mathias Lechner, and Daniela Rus. “Causal Navigation by Continuous-Time Neural Networks.” In 35th Conference on Neural Information Processing Systems, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Submitted | Preprint | IST-REx-ID: 10080 |
Nardin, Michele, Karola Käfer, and Jozsef L Csicsvari. “The Generalized Spatial Representation in the Prefrontal Cortex Is Inherited from the Hippocampus.” BioRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/2021.09.30.462269.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2021 | Published | Conference Paper | IST-REx-ID: 10665 |
Henzinger, Thomas A, Mathias Lechner, and Dorde Zikelic. “Scalable Verification of Quantized Neural Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:3787–95. AAAI Press, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv