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 | 
C. Pull, “Disease defence in garden ants,” IST Austria, 2017.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 820 |
F. Jesse, “The lac operon in the wild,” IST Austria, 2017.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 821 |
A. Pavlogiannis, “Algorithmic advances in program analysis and their applications,” IST Austria, 2017.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 837 |
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: 838 |
M. Rybar, “(The exact security of) Message authentication codes,” IST Austria, 2017.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 839 |
D. Hahn, “Brittle fracture simulation with boundary elements for computer graphics,” IST Austria, 2017.
View
| Files available
| DOI
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: 1155 |
P. Daca, “Statistical and logical methods for property checking,” 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