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.

80 Publications


2017 | Thesis | IST-REx-ID: 821   OA
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: 838   OA
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: 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
 

2017 | Thesis | IST-REx-ID: 202
Pleska, M. (2017). Biology of restriction-modification systems at the single-cell and population level. IST Austria. https://doi.org/10.15479/AT:ISTA:th_916
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 839   OA
Hahn, D. (2017). Brittle fracture simulation with boundary elements for computer graphics. IST Austria. https://doi.org/10.15479/AT:ISTA:th_855
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 992   OA
Rolinek, M. (2017). Complexity of constraint satisfaction. IST Austria. https://doi.org/10.15479/AT:ISTA:th_815
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 961   OA
Barone, V. (2017). Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. IST Austria. https://doi.org/10.15479/AT:ISTA:th_825
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6287
Nikitenko, A. (2017). Discrete Morse theory for random complexes . IST Austria. https://doi.org/10.15479/AT:ISTA:th_873
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6291
Payne, P. (2017). Bacterial herd and social immunity to phages. IST Austria.
View | Files available
 

2017 | Thesis | IST-REx-ID: 1127
Prat, T. (2017). Identification of novel regulators of PIN polarity and development of novel auxin sensor. IST Austria.
View | Files available
 

2017 | Thesis | IST-REx-ID: 818   OA
Mitosch, K. (2017). Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. IST Austria. https://doi.org/10.15479/AT:ISTA:th_862
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 837   OA
Xu, H. (2017). Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. IST Austria. https://doi.org/10.15479/AT:ISTA:th_858
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 820   OA
Jesse, F. (2017). The lac operon in the wild. IST Austria. https://doi.org/10.15479/AT:ISTA:th_857
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 938   OA
Adamowski, M. (2017). Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . IST Austria. https://doi.org/10.15479/AT:ISTA:th_842
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1128
Rieckh, G. (2016). Studying the complexities of transcriptional regulation. IST Austria.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1123
Mabillard, I. (2016). Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. IST Austria.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1130
Tarrach, T. (2016). Automatic synthesis of synchronisation primitives for concurrent programs. IST Austria.
View | Files available | Download (ext.)
 

2016 | Thesis | IST-REx-ID: 1129
Schwarz, J. (2016). Quantitative analysis of haptotactic cell migration. IST Austria.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1124
Morri, M. (2016). Optical functionalization of human class A orphan G-protein coupled receptors. IST Austria.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1131
Tugrul, M. (2016). Evolution of transcriptional regulatory sequences. IST Austria.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1396
Mishra, R. K. (2016). Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. IST Austria.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1125
Novak, S. (2016). Evolutionary proccesses in variable emvironments. IST Austria.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1121
Acar, H. (2016). Selective barriers to horizontal gene transfer. IST Austria.
View | Files available | Download (ext.)
 

2016 | Thesis | IST-REx-ID: 1126   OA
Pentina, A. (2016). Theoretical foundations of multi-task lifelong learning. IST Austria. https://doi.org/10.15479/AT:ISTA:TH_776
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1397
Chmelik, M. (2016). Algorithms for partially observable markov decision processes. IST Austria.
View
 

2016 | Thesis | IST-REx-ID: 1122
Bojsen-Hansen, M. (2016). Tracking, correcting and absorbing water surface waves. IST Austria. https://doi.org/10.15479/AT:ISTA:th_640
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1398
Ellis, T. (2016). The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone. IST Austria. https://doi.org/10.15479/AT:ISTA:TH_526
View | Files available | DOI
 

2015 | Thesis | IST-REx-ID: 1399
Pausinger, F. (2015). On the approximation of intrinsic volumes. IST Austria.
View | Files available
 

2015 | Thesis | IST-REx-ID: 1400
Reiter, J. (2015). The subclonal evolution of cancer. IST Austria.
View | Files available
 

2015 | Thesis | IST-REx-ID: 1401
Sharmanska, V. (2015). Learning with attributes for object recognition: Parametric and non-parametrics views. IST Austria.
View | Download (ext.)
 

2014 | Thesis | IST-REx-ID: 1402
Marhavá, P. (2014). Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. IST Austria.
View
 

2014 | Thesis | IST-REx-ID: 1395
Konrad, M. (2014). Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. IST Austria.
View
 

2014 | Thesis | IST-REx-ID: 1403
Behrndt, M. (2014). Forces driving epithelial spreading in zebrafish epiboly. IST Austria.
View | Files available
 

2014 | Thesis | IST-REx-ID: 1404
Stock, M. (2014). Evolution of a fungal pathogen towards individual versus social immunity in ants. IST Austria.
View
 

2013 | Thesis | IST-REx-ID: 1405
Zufferey, D. (2013). Analysis of dynamic message passing programs. IST Austria.
View | Files available | Download (ext.)
 

2013 | Thesis | IST-REx-ID: 1406
Campinho, P. (2013). Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. IST Austria.
View
 

2012 | Thesis | IST-REx-ID: 2964
Kim, S. (2012). Active properties of hippocampal CA3 pyramidal neuron dendrites. IST Austria.
View | Files available
 

2011 | Thesis | IST-REx-ID: 3275
Schumann, K. (2011). The role of chemotactic gradients in dendritic cell migration. IST Austria.
View | Files available
 

2011 | Thesis | IST-REx-ID: 3273
Maître, J.-L. (2011). Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors. IST Austria.
View
 

2010 | Thesis | IST-REx-ID: 3962
Pflicke, H. (2010).   Dendritic cell migration across basement membranes in the skin. IST Austria.
View
 

Filters and Search Terms

type=dissertation

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed