en
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 
Pavlogiannis A. Algorithmic Advances in Program Analysis and Their Applications. IST Austria; 2017. doi:10.15479/AT:ISTA:th_854
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 838
Rybar M. (The Exact Security of) Message Authentication Codes. IST Austria; 2017. doi:10.15479/AT:ISTA:th_828
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 1155
Daca P. Statistical and Logical Methods for Property Checking. IST Austria; 2017. doi:10.15479/AT:ISTA:TH_730
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 202
Pleska M. Biology of Restriction-Modification Systems at the Single-Cell and Population Level. IST Austria; 2017. doi:10.15479/AT:ISTA:th_916
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 839
Hahn D. Brittle Fracture Simulation with Boundary Elements for Computer Graphics. IST Austria; 2017. doi:10.15479/AT:ISTA:th_855
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 992
Rolinek M. Complexity of Constraint Satisfaction. IST Austria; 2017. doi:10.15479/AT:ISTA:th_815
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 961
Barone V. Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation. IST Austria; 2017. doi:10.15479/AT:ISTA:th_825
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6287
Nikitenko A. Discrete Morse Theory for Random Complexes . IST Austria; 2017. doi:10.15479/AT:ISTA:th_873
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6291
Payne P. Bacterial Herd and Social Immunity to Phages. IST Austria; 2017.
View
| Files available
2017 | Thesis | IST-REx-ID: 1127
Prat T. Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor. IST Austria; 2017.
View
| Files available