Please note that ISTA 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.
160 Publications
2017 | Thesis | IST-REx-ID: 819 | 
Disease defence in garden ants
C. Pull, Disease Defence in Garden Ants, IST Austria, 2017.
View
| Files available
| DOI
C. Pull, Disease Defence in Garden Ants, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 820 |
The lac operon in the wild
F. Jesse, The Lac Operon in the Wild, IST Austria, 2017.
View
| Files available
| DOI
F. Jesse, The Lac Operon in the Wild, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 821 |
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
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 837 |
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
H. Xu, Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 838 |
(The exact security of) Message authentication codes
M. Rybar, (The Exact Security of) Message Authentication Codes, IST Austria, 2017.
View
| Files available
| DOI
M. Rybar, (The Exact Security of) Message Authentication Codes, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 839 |
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
D. Hahn, Brittle Fracture Simulation with Boundary Elements for Computer Graphics, IST Austria, 2017.
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
T. Prat, Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor, IST Austria, 2017.
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
P. Daca, Statistical and Logical Methods for Property Checking, IST Austria, 2017.
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
A. Nikitenko, Discrete Morse Theory for Random Complexes , IST Austria, 2017.
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
P. Payne, Bacterial Herd and Social Immunity to Phages, IST Austria, 2017.