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. https://doi.org/10.15479/AT:ISTA:th_854
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 838   OA
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   OA
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
 

Filters and Search Terms

type=dissertation

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed