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.
81 Publications
- 1
- 2
- 3 (current)
- 4
- 5
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
2017 | Thesis | IST-REx-ID: 202
Pleska, Maros. Biology of Restriction-Modification Systems at the Single-Cell and Population Level. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_916.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 839
Hahn, David. Brittle Fracture Simulation with Boundary Elements for Computer Graphics. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_855.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6287
Nikitenko, Anton. Discrete Morse Theory for Random Complexes . IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_873.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 992
Rolinek, Michal. Complexity of Constraint Satisfaction. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_815.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 961
Barone, Vanessa. Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_825.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6291
Payne, Pavel. Bacterial Herd and Social Immunity to Phages. IST Austria, 2017.
View
| Files available
2017 | Thesis | IST-REx-ID: 820
Jesse, Fabienne. The Lac Operon in the Wild. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_857.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 818
Mitosch, Karin. Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_862.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 837
Xu, Haibing. Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_858.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 938
Adamowski, Maciek. Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana . IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_842.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 1127
Prat, Tomas. Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor. IST Austria, 2017.
View
| Files available
2016 | Thesis | IST-REx-ID: 1128
Rieckh, Georg. Studying the Complexities of Transcriptional Regulation. IST Austria, 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1123
Mabillard, Isaac. Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture. IST Austria, 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1130
Tarrach, Thorsten. Automatic Synthesis of Synchronisation Primitives for Concurrent Programs. IST Austria, 2016.
View
| Files available
| Download (ext.)
2016 | Thesis | IST-REx-ID: 1129
Schwarz, Jan. Quantitative Analysis of Haptotactic Cell Migration. IST Austria, 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1124
Morri, Maurizio. Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors. IST Austria, 2016.
View
| Files available
- 1
- 2
- 3 (current)
- 4
- 5