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, doi: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, doi: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, doi: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, doi: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, doi:10.15479/at:ista:9562.
[Published Version]
View
| Files available
| DOI
2021 | Draft | Preprint | IST-REx-ID: 10077 |
Nardin, Michele, et al. “The Structure of Hippocampal CA1 Interactions Optimizes Spatial Coding across Experience.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2021.09.28.460602.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2021 | Published | Journal Article | IST-REx-ID: 9903 |
Karle, Volker, et al. “Area-Law Entangled Eigenstates from Nullspaces of Local Hamiltonians.” Physical Review Letters, vol. 127, no. 6, 060602, American Physical Society, 2021, doi: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, doi: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.” 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, et al. “A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits.” Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 4082–93.
[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, vol. 252, no. 3, Instytut Matematyczny, 2020, pp. 251–97, doi: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, doi: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, doi:10.15479/AT:ISTA:7460.
[Published Version]
View
| Files available
| DOI
2019 | Published | Conference Paper | IST-REx-ID: 10190 |
Chatterjee, Krishnendu, et al. “Value-Centric Dynamic Partial Order Reduction.” Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, vol. 3, 124, ACM, 2019, doi: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, doi: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, doi:10.15479/AT:ISTA:TH_1047.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 104 |
Seitner, Denise, et al. “The Core Effector Cce1 Is Required for Early Infection of Maize by Ustilago Maydis.” Molecular Plant Pathology, vol. 19, no. 10, Wiley, 2018, pp. 2277–87, doi: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, doi: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, doi: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, doi:10.15479/at:ista:1405.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)