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.
72 Publications
2018 | Thesis | IST-REx-ID: 6266
Mckenzie, C. (2018). Design and characterization of methods and biological components to realize synthetic neurotransmission . IST Austria. https://doi.org/10.15479/at:ista:th_1055
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: 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: 819
Pull, C. (2017). Disease defence in garden ants. IST Austria. https://doi.org/10.15479/AT:ISTA:th_861
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