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.

105 Publications


2018 | Thesis | IST-REx-ID: 539
Hurny, A. (2018). Identification and characterization of novel auxin-cytokinin cross-talk components. IST Austria. https://doi.org/10.15479/AT:ISTA:th_930
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 819   OA
Pull, C. (2017). Disease defence in garden ants. IST Austria. https://doi.org/10.15479/AT:ISTA:th_861
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: 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: 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: 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: 961
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: 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: 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: 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
 

2017 | Thesis | IST-REx-ID: 818
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
 

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: 1125
Novak, S. (2016). Evolutionary proccesses in variable emvironments. 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: 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: 1189   OA
Jochum, C. (2016). Dissipative Few-Body Quantum Systems (pp. 1–77). Technical University Vienna.
View | Download (ext.)
 

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: 2075
Bickel, B. (2010). Measurement-based modeling and fabrication of deformable materials for human faces. Unknown (Vol. 499). Unknown. https://doi.org/dx.doi.org/10.3929/ethz-a-006354908
View | DOI
 

2010 | Thesis | IST-REx-ID: 3296
Wojtan, C. (2010). Animating physical phenomena with embedded surface meshes (pp. 1–175). Georgia Institute of Technology.
View | Download (ext.)
 

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

2009 | Thesis | IST-REx-ID: 4363
Singh, V. (2009). Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. EPFL Lausanne.
View
 

2009 | Thesis | IST-REx-ID: 3400
Schmalhorst, P. S. (2009). Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus (pp. 1–72). Gottfried Wilhelm Leibniz Universität Hannover.
View | Download (ext.)
 

2009 | Thesis | IST-REx-ID: 4232
Vladar, H. (2009). Stochasticity and Variability in the dynamics and genetics of populations. Faculty of mathematical and natural sciences, University of Groningen. https://doi.org/3811
View | DOI
 

2008 | Thesis | IST-REx-ID: 4415
Matic, S. (2008). Compositionality in deterministic real-time embedded systems (pp. 1–148). University of California, Berkeley.
View
 

2008 | Thesis | IST-REx-ID: 4409
Prabhu, V. (2008). Games for the verification of timed systems (pp. 1–137). University of California, Berkeley.
View
 

Filters and Search Terms

type=dissertation

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed