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 
A. Pavlogiannis, Algorithmic advances in program analysis and their applications. 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: 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
D. Hahn, Brittle fracture simulation with boundary elements for computer graphics. IST Austria, 2017.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 992
M. Rolinek, Complexity of constraint satisfaction. IST Austria, 2017.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 961
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