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. (2017). Algorithmic advances in program analysis and their applications. IST Austria. https://doi.org/10.15479/AT:ISTA:th_854
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 838
Rybar, M. (2017). (The exact security of) Message authentication codes. IST Austria. https://doi.org/10.15479/AT:ISTA:th_828
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 1155
Daca, P. (2017). Statistical and logical methods for property checking. IST Austria. https://doi.org/10.15479/AT:ISTA:TH_730
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. https://doi.org/10.15479/AT:ISTA:th_916
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 839
Hahn, D. (2017). Brittle fracture simulation with boundary elements for computer graphics. IST Austria. https://doi.org/10.15479/AT:ISTA:th_855
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 992
Rolinek, M. (2017). Complexity of constraint satisfaction. IST Austria. https://doi.org/10.15479/AT:ISTA:th_815
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 961
Barone, V. (2017). Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. IST Austria. https://doi.org/10.15479/AT:ISTA:th_825
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6287
Nikitenko, A. (2017). Discrete Morse theory for random complexes . IST Austria. https://doi.org/10.15479/AT:ISTA:th_873
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6291
Payne, P. (2017). Bacterial herd and social immunity to phages. IST Austria.
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.
View
| Files available