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.
77 Publications
2018 | Thesis | IST-REx-ID: 52
T. Moser, Point interactions in systems of fermions. IST Austria, 2018.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 197 
A. Kolesnikov, Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images. IST Austria, 2018.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 10
S. Laukoter, Role of genomic imprinting in cerebral cortex development. IST Austria, 2018, pp. 1–139.
View
| Files available
| DOI
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
2018 | Thesis | IST-REx-ID: 200
H. Ringbauer, Inferring recent demography from spatial genetic structure. IST Austria, 2018.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 539
A. Hurny, Identification and characterization of novel auxin-cytokinin cross-talk components. IST Austria, 2018.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 821
A. Pavlogiannis, Algorithmic advances in program analysis and their applications. IST Austria, 2017.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 819
C. Pull, Disease defence in garden ants. IST Austria, 2017.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 838
M. Rybar, (The exact security of) Message authentication codes. IST Austria, 2017.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 1155
P. Daca, Statistical and logical methods for property checking. IST Austria, 2017.
View
| Files available
| DOI