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.

118 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
 

Filters and Search Terms

type=dissertation

extern<>1

Search

Filter Publications