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.

77 Publications


2018 | Thesis | IST-REx-ID: 83   OA
Abusalah HM. 2018. Proof systems for sustainable decentralized cryptocurrencies, IST Austria, 59p.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 10
Laukoter S. 2018. Role of genomic imprinting in cerebral cortex development, IST Austria,p.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 197   OA
Kolesnikov A. 2018. Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images, IST Austria, 113p.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 539   OA
Hurny A. 2018. Identification and characterization of novel auxin-cytokinin cross-talk components, IST Austria, 147p.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 200
Ringbauer H. 2018. Inferring recent demography from spatial genetic structure, IST Austria, 146p.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 6266
Mckenzie C. 2018. Design and characterization of methods and biological components to realize synthetic neurotransmission , IST Austria, 95p.
View | Files available | DOI
 

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

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

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

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

Filters and Search Terms

type=dissertation

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed