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   OA
A. Pavlogiannis, Algorithmic advances in program analysis and their applications. IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 838   OA
M. Rybar, (The exact security of) Message authentication codes. IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155
P. Daca, Statistical and logical methods for property checking. IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 202
M. Pleska, Biology of restriction-modification systems at the single-cell and population level. IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 839   OA
D. Hahn, Brittle fracture simulation with boundary elements for computer graphics. IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 992   OA
M. Rolinek, Complexity of constraint satisfaction. IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 961   OA
V. Barone, Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6287
A. Nikitenko, Discrete Morse theory for random complexes . IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6291
P. Payne, Bacterial herd and social immunity to phages. IST Austria, 2017.
View | Files available
 

2017 | Thesis | IST-REx-ID: 1127
T. Prat, Identification of novel regulators of PIN polarity and development of novel auxin sensor. IST Austria, 2017.
View | Files available
 

2017 | Thesis | IST-REx-ID: 818   OA
K. Mitosch, Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 837   OA
H. Xu, Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 820   OA
F. Jesse, The lac operon in the wild. IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 938   OA
M. Adamowski, Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . IST Austria, 2017.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1128
G. Rieckh, Studying the complexities of transcriptional regulation. IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1123
I. Mabillard, 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: 1130
T. Tarrach, Automatic synthesis of synchronisation primitives for concurrent programs. IST Austria, 2016.
View | Files available | Download (ext.)
 

2016 | Thesis | IST-REx-ID: 1129
J. Schwarz, Quantitative analysis of haptotactic cell migration. IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1124
M. Morri, Optical functionalization of human class A orphan G-protein coupled receptors. IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1131
M. Tugrul, Evolution of transcriptional regulatory sequences. IST Austria, 2016.
View | Files available
 

Filters and Search Terms

type=dissertation

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed