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

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

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

2017 | Thesis | IST-REx-ID: 202
Biology of restriction-modification systems at the single-cell and population level
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
Brittle fracture simulation with boundary elements for computer graphics
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
Complexity of constraint satisfaction
M. Rolinek, Complexity of Constraint Satisfaction, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 961   OA
Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation
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
Discrete Morse theory for random complexes
A. Nikitenko, Discrete Morse Theory for Random Complexes , IST Austria, 2017.
View | Files available | DOI
 

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

2017 | Thesis | IST-REx-ID: 1127
Identification of novel regulators of PIN polarity and development of novel auxin sensor
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
Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics
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
Reactivation of the hippocampal cognitive map in goal-directed spatial tasks
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
The lac operon in the wild
F. Jesse, The Lac Operon in the Wild, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 938   OA
Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana
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
Studying the complexities of transcriptional regulation
G. Rieckh, Studying the Complexities of Transcriptional Regulation, IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1123
Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture
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
Automatic synthesis of synchronisation primitives for concurrent programs
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, IST Austria, 2016.
View | Files available | Download (ext.)
 

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

2016 | Thesis | IST-REx-ID: 1124
Optical functionalization of human class A orphan G-protein coupled receptors
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
Evolution of transcriptional regulatory sequences
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: Default

Export / Embed