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.

72 Publications


2018 | Thesis | IST-REx-ID: 6266
Mckenzie C. Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission . IST Austria; 2018. doi:10.15479/at:ista:th_1055
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 838   OA
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: 821   OA
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: 819   OA
Pull C. Disease Defence in Garden Ants. IST Austria; 2017. doi:10.15479/AT:ISTA:th_861
View | Files available | DOI
 

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

Filters and Search Terms

type=dissertation

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed