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. 2017. Algorithmic advances in program analysis and their applications, IST Austria, 418p.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 838 |
Rybar M. 2017. (The exact security of) Message authentication codes, IST Austria, 86p.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 839 |
Hahn D. 2017. Brittle fracture simulation with boundary elements for computer graphics, IST Austria, 124p.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 938 |
Adamowski M. 2017. Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana , IST Austria, 117p.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 961 |
Barone V. 2017. Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation, IST Austria, 109p.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 992 |
Rolinek M. 2017. Complexity of constraint satisfaction, IST Austria, 97p.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 1127
Prat T. 2017. Identification of novel regulators of PIN polarity and development of novel auxin sensor, IST Austria, 131p.
View
| Files available
2017 | Thesis | IST-REx-ID: 1155 |
Daca P. 2017. Statistical and logical methods for property checking, IST Austria, 163p.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 837 |
Xu H. 2017. Reactivation of the hippocampal cognitive map in goal-directed spatial tasks, IST Austria, 93p.
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1396
Mishra RK. 2016. Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus, IST Austria, 83p.
View
| Files available
2016 | Thesis | IST-REx-ID: 1397
Chmelik M. 2016. Algorithms for partially observable markov decision processes, IST Austria, 232p.
View
2016 | Thesis | IST-REx-ID: 1398 |
Ellis T. 2016. The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone, IST Austria, 130p.
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1121
Acar H. 2016. Selective barriers to horizontal gene transfer, IST Austria, 75p.
View
| Files available
| Download None (ext.)
2016 | Thesis | IST-REx-ID: 1122 |
Bojsen-Hansen M. 2016. Tracking, correcting and absorbing water surface waves, IST Austria, 114p.
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1123
Mabillard I. 2016. Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture, IST Austria, 55p.
View
| Files available
2016 | Thesis | IST-REx-ID: 1124
Morri M. 2016. Optical functionalization of human class A orphan G-protein coupled receptors, IST Austria, 129p.
View
| Files available
2016 | Thesis | IST-REx-ID: 1125
Novak S. 2016. Evolutionary proccesses in variable emvironments, IST Austria, 124p.
View
| Files available
2016 | Thesis | IST-REx-ID: 1126 |
Pentina A. 2016. Theoretical foundations of multi-task lifelong learning, IST Austria, 127p.
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1129
Schwarz J. 2016. Quantitative analysis of haptotactic cell migration, IST Austria, 178p.
View
| Files available
2016 | Thesis | IST-REx-ID: 1130
Tarrach T. 2016. Automatic synthesis of synchronisation primitives for concurrent programs, IST Austria, 151p.
View
| Files available
| Download None (ext.)