Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
240 Publications
2017 | Published | Thesis | IST-REx-ID: 1155 | 
Daca, Przemyslaw. “Statistical and Logical Methods for Property Checking.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:TH_730.
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 837 |
Xu, Haibing. “Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_858.
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 818 |
Mitosch, Karin. “Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_862.
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 6287 |
Nikitenko, Anton. “Discrete Morse Theory for Random Complexes .” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_873.
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 819 |
Pull, Christopher. “Disease Defence in Garden Ants.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_861.
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 961 |
Barone, Vanessa. “Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_825.
[Published Version]
View
| Files available
| DOI
2016 | Published | Thesis | IST-REx-ID: 1397
Chmelik, Martin. “Algorithms for Partially Observable Markov Decision Processes.” Institute of Science and Technology Austria, 2016.
View
2016 | Published | Thesis | IST-REx-ID: 1122 |
Bojsen-Hansen, Morten. “Tracking, Correcting and Absorbing Water Surface Waves.” Institute of Science and Technology Austria, 2016. https://doi.org/10.15479/AT:ISTA:th_640.
[Published Version]
View
| Files available
| DOI
2016 | Published | Thesis | IST-REx-ID: 1123 |
Mabillard, Isaac. “Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture.” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 | Published | Thesis | IST-REx-ID: 1128 |
Rieckh, Georg. “Studying the Complexities of Transcriptional Regulation.” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 | Published | Thesis | IST-REx-ID: 1124 |
Morri, Maurizio. “Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors.” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 | Published | Thesis | IST-REx-ID: 1129 |
Schwarz, Jan. “Quantitative Analysis of Haptotactic Cell Migration.” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 | Published | Thesis | IST-REx-ID: 1126 |
Pentina, Anastasia. “Theoretical Foundations of Multi-Task Lifelong Learning.” Institute of Science and Technology Austria, 2016. https://doi.org/10.15479/AT:ISTA:TH_776.
[Published Version]
View
| Files available
| DOI
2016 | Published | Thesis | IST-REx-ID: 1131 |
Tugrul, Murat. “Evolution of Transcriptional Regulatory Sequences.” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 | Published | Thesis | IST-REx-ID: 1125 |
Novak, Sebastian. “Evolutionary Proccesses in Variable Emvironments.” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 | Published | Thesis | IST-REx-ID: 1396 |
Mishra, Rajiv Kumar. “Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus.” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 | Published | Thesis | IST-REx-ID: 1121 |
Acar, Hande. “Selective Barriers to Horizontal Gene Transfer.” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
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.)
2016 | Published | Thesis | IST-REx-ID: 1398 |
Ellis, Thomas. “The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone.” Institute of Science and Technology Austria, 2016. https://doi.org/10.15479/AT:ISTA:TH_526 .
[Published Version]
View
| Files available
| DOI
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.)