Please note that IST 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.
110 Publications
2017 | Thesis | IST-REx-ID: 821 | 
Pavlogiannis A. Algorithmic Advances in Program Analysis and Their Applications. IST Austria; 2017. doi:10.15479/AT:ISTA:th_854
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 838 |
Rybar M. (The Exact Security of) Message Authentication Codes. IST Austria; 2017. doi:10.15479/AT:ISTA:th_828
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 839 |
Hahn D. Brittle Fracture Simulation with Boundary Elements for Computer Graphics. IST Austria; 2017. doi:10.15479/AT:ISTA:th_855
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 938 |
Adamowski M. Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana . IST Austria; 2017. doi:10.15479/AT:ISTA:th_842
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 961 |
Barone V. Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation. IST Austria; 2017. doi:10.15479/AT:ISTA:th_825
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 992 |
Rolinek M. Complexity of Constraint Satisfaction. IST Austria; 2017. doi:10.15479/AT:ISTA:th_815
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 1127
Prat T. Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor. IST Austria; 2017.
View
| Files available
2017 | Thesis | IST-REx-ID: 1155 |
Daca P. Statistical and Logical Methods for Property Checking. IST Austria; 2017. doi:10.15479/AT:ISTA:TH_730
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 837 |
Xu H. Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks. IST Austria; 2017. doi:10.15479/AT:ISTA:th_858
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1396
Mishra RK. Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus. IST Austria; 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1397
Chmelik M. Algorithms for Partially Observable Markov Decision Processes. IST Austria; 2016.
View
2016 | Thesis | IST-REx-ID: 1398 |
Ellis T. The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone. IST Austria; 2016. doi:10.15479/AT:ISTA:TH_526
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1121
Acar H. Selective Barriers to Horizontal Gene Transfer. IST Austria; 2016.
View
| Files available
| Download None (ext.)
2016 | Thesis | IST-REx-ID: 1122 |
Bojsen-Hansen M. Tracking, Correcting and Absorbing Water Surface Waves. IST Austria; 2016. doi:10.15479/AT:ISTA:th_640
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1123
Mabillard I. Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture. IST Austria; 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1124
Morri M. Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors. IST Austria; 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1125
Novak S. Evolutionary Proccesses in Variable Emvironments. IST Austria; 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1126 |
Pentina A. Theoretical Foundations of Multi-Task Lifelong Learning. IST Austria; 2016. doi:10.15479/AT:ISTA:TH_776
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1129
Schwarz J. Quantitative Analysis of Haptotactic Cell Migration. IST Austria; 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1130
Tarrach T. Automatic Synthesis of Synchronisation Primitives for Concurrent Programs. IST Austria; 2016.
View
| Files available
| Download None (ext.)