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, doi: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, doi: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, doi: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, doi: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, doi: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, doi: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, doi: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, doi: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, doi: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, doi: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, doi:10.15479/at:ista:1401.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)