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
Moser, Thomas. Point Interactions in Systems of Fermions. IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_1043.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 197 
Kolesnikov, Alexander. Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images. IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_1021.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 10
Laukoter, Susanne. Role of Genomic Imprinting in Cerebral Cortex Development. IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th1057.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 6266
Mckenzie, Catherine. Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission . IST Austria, 2018. https://doi.org/10.15479/at:ista:th_1055.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 200
Ringbauer, Harald. Inferring Recent Demography from Spatial Genetic Structure. IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_963.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 539
Hurny, Andrej. Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk Components. IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_930.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 821
Pavlogiannis, Andreas. Algorithmic Advances in Program Analysis and Their Applications. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_854.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 819
Pull, Christopher. Disease Defence in Garden Ants. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_861.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 838
Rybar, Michal. (The Exact Security of) Message Authentication Codes. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_828.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 1155
Daca, Przemyslaw. Statistical and Logical Methods for Property Checking. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:TH_730.
View
| Files available
| DOI