en
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.
80 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: 1155
Daca P. 2017. Statistical and logical methods for property checking, IST Austria, 163p.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 202
Pleska M. 2017. Biology of restriction-modification systems at the single-cell and population level, IST Austria, 126p.
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: 992
Rolinek M. 2017. Complexity of constraint satisfaction, IST Austria, 97p.
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: 6287
Nikitenko A. 2017. Discrete Morse theory for random complexes , IST Austria, 86p.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6291
Payne P. 2017. Bacterial herd and social immunity to phages, IST Austria, 83p.
View
| Files available
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: 818
Mitosch K. 2017. Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics, IST Austria, 113p.
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
2017 | Thesis | IST-REx-ID: 820
Jesse F. 2017. The lac operon in the wild, IST Austria, 87p.
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
2016 | Thesis | IST-REx-ID: 1128
Rieckh G. 2016. Studying the complexities of transcriptional regulation, IST Austria, 114p.
View
| Files available
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: 1130
Tarrach T. 2016. Automatic synthesis of synchronisation primitives for concurrent programs, IST Austria, 151p.
View
| Files available
| Download (ext.)
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: 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: 1131
Tugrul M. 2016. Evolution of transcriptional regulatory sequences, IST Austria, 89p.
View
| Files available