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.

141 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: 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: 838 | OA
M. Rybar, “(The exact security of) Message authentication codes,” 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: 202 | OA
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: 6287 | OA
A. Nikitenko, “Discrete Morse theory for random complexes ,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155 | OA
P. Daca, “Statistical and logical methods for property checking,” 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
 

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: 992 | OA
M. Rolinek, “Complexity of constraint satisfaction,” IST Austria, 2017.
View | Files available | DOI
 

Filters and Search Terms

type=dissertation

Search

Filter Publications