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.
135 Publications
2017 | Thesis | IST-REx-ID: 938 | 
Adamowski M. Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana . IST Austria; 2017. doi:10.15479/AT:ISTA:th_842
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 961 |
Barone V. Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation. IST Austria; 2017. doi:10.15479/AT:ISTA:th_825
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 992 |
Rolinek M. Complexity of Constraint Satisfaction. IST Austria; 2017. doi:10.15479/AT:ISTA:th_815
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 1127
Prat T. Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor. IST Austria; 2017.
View
| Files available
2017 | Thesis | IST-REx-ID: 1155 |
Daca P. Statistical and Logical Methods for Property Checking. IST Austria; 2017. doi:10.15479/AT:ISTA:TH_730
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 837 |
Xu H. Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks. IST Austria; 2017. doi:10.15479/AT:ISTA:th_858
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1396
Mishra RK. Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus. IST Austria; 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1397
Chmelik M. Algorithms for Partially Observable Markov Decision Processes. IST Austria; 2016.
View
2016 | Thesis | IST-REx-ID: 1398 |
Ellis T. The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone. IST Austria; 2016. doi:10.15479/AT:ISTA:TH_526
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1121
Acar H. Selective Barriers to Horizontal Gene Transfer. IST Austria; 2016.
View
| Files available
| Download None (ext.)
2016 | Thesis | IST-REx-ID: 1122 |
Bojsen-Hansen M. Tracking, Correcting and Absorbing Water Surface Waves. IST Austria; 2016. doi:10.15479/AT:ISTA:th_640
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1123
Mabillard I. 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: 1124
Morri M. Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors. IST Austria; 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1125
Novak S. Evolutionary Proccesses in Variable Emvironments. IST Austria; 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1126 |
Pentina A. Theoretical Foundations of Multi-Task Lifelong Learning. IST Austria; 2016. doi:10.15479/AT:ISTA:TH_776
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1129
Schwarz J. Quantitative Analysis of Haptotactic Cell Migration. IST Austria; 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1130
Tarrach T. Automatic Synthesis of Synchronisation Primitives for Concurrent Programs. IST Austria; 2016.
View
| Files available
| Download None (ext.)
2016 | Thesis | IST-REx-ID: 1131
Tugrul M. Evolution of Transcriptional Regulatory Sequences. IST Austria; 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1128 |
Rieckh G. Studying the Complexities of Transcriptional Regulation. IST Austria; 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1189 |
Jochum C. Dissipative Few-Body Quantum Systems. Technical University Vienna; 2016.
View
| Download Published Version (ext.)
2015 | Thesis | IST-REx-ID: 1399
Pausinger F. On the Approximation of Intrinsic Volumes. IST Austria; 2015.
View
| Files available
2015 | Thesis | IST-REx-ID: 1400
Reiter J. The Subclonal Evolution of Cancer. IST Austria; 2015.
View
| Files available
2015 | Thesis | IST-REx-ID: 1401
Sharmanska V. Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views. IST Austria; 2015.
View
| Download None (ext.)
2014 | Thesis | IST-REx-ID: 1395
Konrad M. Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus. IST Austria; 2014.
View
2014 | Thesis | IST-REx-ID: 1402
Marhavá P. Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana. IST Austria; 2014.
View
2014 | Thesis | IST-REx-ID: 1403
Behrndt M. Forces Driving Epithelial Spreading in Zebrafish Epiboly. IST Austria; 2014.
View
| Files available
2014 | Thesis | IST-REx-ID: 1404
Stock M. Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants. IST Austria; 2014.
View
2013 | Thesis | IST-REx-ID: 1405
Zufferey D. Analysis of Dynamic Message Passing Programs. IST Austria; 2013.
View
| Files available
| Download None (ext.)
2013 | Thesis | IST-REx-ID: 1406
Campinho P. Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading. IST Austria; 2013.
View
2012 | Thesis | IST-REx-ID: 2964
Kim S. Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites. IST Austria; 2012.
View
| Files available
2011 | Thesis | IST-REx-ID: 3273
Maître J-L. Mechanics of Adhesion and De‐adhesion in Zebrafish Germ Layer Progenitors. IST Austria; 2011.
View
2011 | Thesis | IST-REx-ID: 3275
Schumann K. The Role of Chemotactic Gradients in Dendritic Cell Migration. IST Austria; 2011.
View
| Files available
2010 | Thesis | IST-REx-ID: 2075
Bickel B. Measurement-Based Modeling and Fabrication of Deformable Materials for Human Faces. Vol 499. Unknown; 2010. doi:dx.doi.org/10.3929/ethz-a-006354908
View
| DOI
2010 | Thesis | IST-REx-ID: 3962
Pflicke H. Dendritic Cell Migration across Basement Membranes in the Skin. IST Austria; 2010.
View
2010 | Thesis | IST-REx-ID: 3296
Wojtan CJ. Animating Physical Phenomena with Embedded Surface Meshes. Georgia Institute of Technology; 2010:1-175.
View
| Download None (ext.)
2009 | Thesis | IST-REx-ID: 4363
Singh V. Formalizing and Verifying Transactional Memories. EPFL Lausanne; 2009.
View
2009 | Thesis | IST-REx-ID: 3400
Schmalhorst PS. Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus Fumigatus. Gottfried Wilhelm Leibniz Universität Hannover; 2009:1-72.
View
| Download (ext.)
2008 | Thesis | IST-REx-ID: 4409
Prabhu V. Games for the Verification of Timed Systems. University of California, Berkeley; 2008:1-137.
View
2008 | Thesis | IST-REx-ID: 4415
Matic S. Compositionality in Deterministic Real-Time Embedded Systems. University of California, Berkeley; 2008:1-148.
View
2008 | Thesis | IST-REx-ID: 4524
Ghosal A. A Hierarchical Coordination Language for Reliable Real-Time Tasks. University of California, Berkeley; 2008:1-210.
View
2007 | Thesis | IST-REx-ID: 4559
Chatterjee K. Stochastic ω-Regular Games. University of California, Berkeley; 2007:1-247.
View
| Download (ext.)
2007 | Thesis | IST-REx-ID: 4566
Chakrabarti A. A Framework for Compositional Design and Analysis of Systems. University of California, Berkeley; 2007:1-244.
View
2004 | Thesis | IST-REx-ID: 4424
Jhala R. Program Verification by Lazy Abstraction. University of California, Berkeley; 2004:1-165.
View
2003 | Thesis | IST-REx-ID: 2414
Wagner U. On K-Sets and Their Applications. ETH Zurich; 2003. doi:10.3929/ethz-a-004708408
View
| DOI
2003 | Thesis | IST-REx-ID: 3678
Lampert C. The Neumann Operator in Strictly Pseudoconvex Domains with Weighted Bergman Metric . Vol 356. Universität Bonn, Fachbibliothek Mathematik; 2003:1-165.
View
| Download (ext.)
2003 | Thesis | IST-REx-ID: 4416
Majumdar R. Symbolic Algorithms for Verification and Control. University of California, Berkeley; 2003:1-201.
View
2003 | Thesis | IST-REx-ID: 4425
Horowitz B. Giotto: A Time-Triggered Language for Embedded Programming. University of California, Berkeley; 2003:1-237.
View
2002 | Thesis | IST-REx-ID: 4414
Mang F. Games in Open Systems Verification and Synthesis. University of California, Berkeley; 2002:1-116.
View