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   OA
Pavlogiannis A. 2017. Algorithmic advances in program analysis and their applications, IST Austria, 418p.
View | Files available | DOI
 

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

2017 | Thesis | IST-REx-ID: 1155
Daca P. 2017. Statistical and logical methods for property checking, IST Austria, 163p.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 202
Pleska M. 2017. Biology of restriction-modification systems at the single-cell and population level, IST Austria, 126p.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 839   OA
Hahn D. 2017. Brittle fracture simulation with boundary elements for computer graphics, IST Austria, 124p.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 992   OA
Rolinek M. 2017. Complexity of constraint satisfaction, IST Austria, 97p.
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, 109p.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6287
Nikitenko A. 2017. Discrete Morse theory for random complexes , IST Austria, 86p.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6291
Payne P. 2017. Bacterial herd and social immunity to phages, IST Austria, 83p.
View | Files available
 

2017 | Thesis | IST-REx-ID: 1127
Prat T. 2017. Identification of novel regulators of PIN polarity and development of novel auxin sensor, IST Austria, 131p.
View | Files available
 

Filters and Search Terms

type=dissertation

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed