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, Andreas. Algorithmic Advances in Program Analysis and Their Applications. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_854.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 838   OA
Rybar, Michal. (The Exact Security of) Message Authentication Codes. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_828.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155
Daca, Przemyslaw. Statistical and Logical Methods for Property Checking. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:TH_730.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 202
Pleska, Maros. Biology of Restriction-Modification Systems at the Single-Cell and Population Level. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_916.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 839   OA
Hahn, David. Brittle Fracture Simulation with Boundary Elements for Computer Graphics. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_855.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 992   OA
Rolinek, Michal. Complexity of Constraint Satisfaction. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_815.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 961   OA
Barone, Vanessa. Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_825.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6287
Nikitenko, Anton. Discrete Morse Theory for Random Complexes . IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_873.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6291
Payne, Pavel. Bacterial Herd and Social Immunity to Phages. IST Austria, 2017.
View | Files available
 

2017 | Thesis | IST-REx-ID: 1127
Prat, Tomas. Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor. IST Austria, 2017.
View | Files available
 

Filters and Search Terms

type=dissertation

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed