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.
342 Publications
2021 | Published | Thesis | IST-REx-ID: 8934 | 
Goharshady, Amir Kafshdar. “Parameterized and Algebro-Geometric Advances in Static Program Analysis.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:8934.
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 10307 |
Tomasek, Kathrin. “Pathogenic Escherichia Coli Hijack the Host Immune Response.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10307.
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 9728 |
Agrawal, Nishchal. “Transition to Turbulence and Drag Reduction in Particle-Laden Pipe Flows.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:9728.
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 10083 |
Li, Lanxin. “Rapid Cell Growth Regulation in Arabidopsis.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10083.
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 9562 |
Kleindienst, David. “2B or Not 2B: Hippocampal Asymmetries Mediated by NMDA Receptor Subunit GluN2B C-Terminus and High-Throughput Image Analysis by Deep-Learning.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:9562.
[Published Version]
View
| Files available
| DOI
2021 | Draft | Preprint | IST-REx-ID: 10077 |
Nardin, Michele, Jozsef L Csicsvari, Gašper Tkačik, and Cristina Savin. “The Structure of Hippocampal CA1 Interactions Optimizes Spatial Coding across Experience.” BioRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/2021.09.28.460602.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2021 | Published | Journal Article | IST-REx-ID: 9903 |
Karle, Volker, Maksym Serbyn, and Alexios Michailidis. “Area-Law Entangled Eigenstates from Nullspaces of Local Hamiltonians.” Physical Review Letters. American Physical Society, 2021. https://doi.org/10.1103/physrevlett.127.060602.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Thesis | IST-REx-ID: 7196 |
Tkadlec, Josef. “A Role of Graphs in Evolutionary Processes.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7196.
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 10672 |
Lechner, Mathias. “Learning Representations for Binary-Classification without Backpropagation.” In 8th International Conference on Learning Representations. ICLR, 2020.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 | Published | Conference Paper | IST-REx-ID: 10673 |
Hasani, Ramin, Mathias Lechner, Alexander Amini, Daniela Rus, and Radu Grosu. “A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits.” In Proceedings of the 37th International Conference on Machine Learning, 4082–93. PMLR, 2020.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 | Published | Journal Article | IST-REx-ID: 9196
Hensel, Sebastian, and Tommaso Rosati. “Modelled Distributions of Triebel–Lizorkin Type.” Studia Mathematica. Instytut Matematyczny, 2020. https://doi.org/10.4064/sm180411-11-2.
[Preprint]
View
| DOI
| WoS
| arXiv
2020 | Published | Thesis | IST-REx-ID: 7514 |
Mayer, Simon. “The Free Energy of a Dilute Two-Dimensional Bose Gas.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7514.
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 7460 |
Ölsböck, Katharina. “The Hole System of Triangulated Shapes.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7460.
[Published Version]
View
| Files available
| DOI
2019 | Published | Conference Paper | IST-REx-ID: 10190 |
Chatterjee, Krishnendu, Andreas Pavlogiannis, and Viktor Toman. “Value-Centric Dynamic Partial Order Reduction.” In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Vol. 3. ACM, 2019. https://doi.org/10.1145/3360550.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2019 | Published | Thesis | IST-REx-ID: 6825 |
Käfer, Karola. “The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6825.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 69 |
Vukušić, Lada. “Charge Sensing and Spin Relaxation Times of Holes in Ge Hut Wires.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH_1047.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 104 |
Seitner, Denise, Simon Uhse, Michelle C Gallei, and Armin Djamei. “The Core Effector Cce1 Is Required for Early Infection of Maize by Ustilago Maydis.” Molecular Plant Pathology. Wiley, 2018. https://doi.org/10.1111/mpp.12698.
[Published Version]
View
| Files available
| DOI
| WoS
2016 | Published | Thesis | IST-REx-ID: 1130 |
Tarrach, Thorsten. “Automatic Synthesis of Synchronisation Primitives for Concurrent Programs.” Institute of Science and Technology Austria, 2016. https://doi.org/10.15479/at:ista:1130.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2015 | Published | Thesis | IST-REx-ID: 1401 |
Sharmanska, Viktoriia. “Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views.” Institute of Science and Technology Austria, 2015. https://doi.org/10.15479/at:ista:1401.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 | Published | Thesis | IST-REx-ID: 1405 |
Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.” Institute of Science and Technology Austria, 2013. https://doi.org/10.15479/at:ista:1405.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)