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
C. Mckenzie, Design and characterization of methods and biological components to realize synthetic neurotransmission . IST Austria, 2018.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 838   OA
M. Rybar, (The exact security of) Message authentication codes. IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 821   OA
A. Pavlogiannis, Algorithmic advances in program analysis and their applications. IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 819   OA
C. Pull, Disease defence in garden ants. IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155   OA
P. Daca, Statistical and logical methods for property checking. IST Austria, 2017.
View | Files available | DOI
 

Filters and Search Terms

type=dissertation

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed