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.

139 Publications


2017 | Thesis | IST-REx-ID: 821 | OA
Pavlogiannis A. 2017. Algorithmic advances in program analysis and their applications. IST Austria.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 838 | OA
Rybar M. 2017. (The exact security of) Message authentication codes. IST Austria.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 837 | OA
Xu H. 2017. Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. IST Austria.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 992 | OA
Rolinek M. 2017. Complexity of constraint satisfaction. IST Austria.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 961 | OA
Barone V. 2017. Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. IST Austria.
View | Files available | DOI
 

Filters and Search Terms

type=dissertation

Search

Filter Publications