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.

139 Publications


2016 | Thesis | IST-REx-ID: 1130
Tarrach, Thorsten. “Automatic Synthesis of Synchronisation Primitives for Concurrent Programs.” IST Austria, 2016.
View | Files available | Download None (ext.)
 

2016 | Thesis | IST-REx-ID: 1398 | OA
Ellis, Thomas. “The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone.” IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:TH_526 .
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1131
Tugrul, Murat. “Evolution of Transcriptional Regulatory Sequences.” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1122 | OA
Bojsen-Hansen, Morten. “Tracking, Correcting and Absorbing Water Surface Waves.” IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:th_640.
View | Files available | DOI
 

2015 | Thesis | IST-REx-ID: 1401
Sharmanska, Viktoriia. “Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views.” IST Austria, 2015.
View | Download None (ext.)
 

2015 | Thesis | IST-REx-ID: 1399
Pausinger, Florian. “On the Approximation of Intrinsic Volumes.” IST Austria, 2015.
View | Files available
 

2015 | Thesis | IST-REx-ID: 1400
Reiter, Johannes. “The Subclonal Evolution of Cancer.” IST Austria, 2015.
View | Files available
 

2014 | Thesis | IST-REx-ID: 1395
Konrad, Matthias. “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á, Petra. “Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana.” IST Austria, 2014.
View
 

2014 | Thesis | IST-REx-ID: 1404
Stock, Miriam. “Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants.” IST Austria, 2014.
View
 

2014 | Thesis | IST-REx-ID: 1403
Behrndt, Martin. “Forces Driving Epithelial Spreading in Zebrafish Epiboly.” IST Austria, 2014.
View | Files available
 

2013 | Thesis | IST-REx-ID: 1406
Campinho, Pedro. “Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading.” IST Austria, 2013.
View
 

2013 | Thesis | IST-REx-ID: 1405
Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.” IST Austria, 2013.
View | Files available | Download None (ext.)
 

2012 | Thesis | IST-REx-ID: 2964
Kim, Sooyun. “Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites.” IST Austria, 2012.
View | Files available
 

2011 | Thesis | IST-REx-ID: 3273
Maître, Jean-Léon. “Mechanics of Adhesion and De‐adhesion in Zebrafish Germ Layer Progenitors.” IST Austria, 2011.
View
 

2011 | Thesis | IST-REx-ID: 3275
Schumann, Kathrin. “The Role of Chemotactic Gradients in Dendritic Cell Migration.” IST Austria, 2011.
View | Files available
 

2010 | Thesis | IST-REx-ID: 2075
Bickel, Bernd. “Measurement-Based Modeling and Fabrication of Deformable Materials for Human Faces.” Unknown. Unknown, 2010. https://doi.org/dx.doi.org/10.3929/ethz-a-006354908.
View | DOI
 

2010 | Thesis | IST-REx-ID: 3296
Wojtan, Christopher J. “Animating Physical Phenomena with Embedded Surface Meshes.” Georgia Institute of Technology, 2010.
View | Download None (ext.)
 

2010 | Thesis | IST-REx-ID: 3962
Pflicke, Holger. “  Dendritic Cell Migration across Basement Membranes in the Skin.” IST Austria, 2010.
View
 

2009 | Thesis | IST-REx-ID: 3400
Schmalhorst, Philipp S. “Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus Fumigatus.” Gottfried Wilhelm Leibniz Universität Hannover, 2009.
View | Download (ext.)
 

2009 | Thesis | IST-REx-ID: 4232
Vladar, Harold de. “Stochasticity and Variability in the Dynamics and Genetics of Populations.” Faculty of mathematical and natural sciences, University of Groningen, 2009. https://doi.org/3811.
View | DOI
 

2009 | Thesis | IST-REx-ID: 4363
Singh, Vasu. “Formalizing and Verifying Transactional Memories.” Formalizing and Verifying Transactional Memories. EPFL Lausanne, 2009.
View
 

2008 | Thesis | IST-REx-ID: 4409
Prabhu, Vinayak. “Games for the Verification of Timed Systems.” University of California, Berkeley, 2008.
View
 

2008 | Thesis | IST-REx-ID: 4415
Matic, Slobodan. “Compositionality in Deterministic Real-Time Embedded Systems.” University of California, Berkeley, 2008.
View
 

2008 | Thesis | IST-REx-ID: 4524
Ghosal, Arkadeb. “A Hierarchical Coordination Language for Reliable Real-Time Tasks.” University of California, Berkeley, 2008.
View
 

2007 | Thesis | IST-REx-ID: 4559
Chatterjee, Krishnendu. “Stochastic ω-Regular Games.” University of California, Berkeley, 2007.
View | Download (ext.)
 

2007 | Thesis | IST-REx-ID: 4566
Chakrabarti, Arindam. “A Framework for Compositional Design and Analysis of Systems.” University of California, Berkeley, 2007.
View
 

2004 | Thesis | IST-REx-ID: 4236
Vladar, Harold de. “Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares.” Centro de estudios avazados, IVIC, 2004. https://doi.org/3810.
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
Jhala, Ranjit. “Program Verification by Lazy Abstraction.” University of California, Berkeley, 2004.
View
 

2003 | Thesis | IST-REx-ID: 2414
Wagner, Uli. “On K-Sets and Their Applications.” ETH Zurich, 2003. https://doi.org/10.3929/ethz-a-004708408.
View | DOI
 

2003 | Thesis | IST-REx-ID: 3678
Lampert, Christoph. “The Neumann Operator in Strictly Pseudoconvex Domains with Weighted Bergman Metric .” Bonner Mathematische Schriften. Universität Bonn, Fachbibliothek Mathematik, 2003.
View | Download (ext.)
 

2003 | Thesis | IST-REx-ID: 4416
Majumdar, Ritankar. “Symbolic Algorithms for Verification and Control.” University of California, Berkeley, 2003.
View
 

2003 | Thesis | IST-REx-ID: 4425
Horowitz, Benjamin. “Giotto: A Time-Triggered Language for Embedded Programming.” University of California, Berkeley, 2003.
View
 

2002 | Thesis | IST-REx-ID: 4414
Mang, Freddy. “Games in Open Systems Verification and Synthesis.” University of California, Berkeley, 2002.
View
 

1999 | Thesis | IST-REx-ID: 4411
Qadeer, Shaz. “Algorithms and Methodology for Scalable Model Checking.” University of California, Berkeley, 1999.
View | Download None (ext.)
 

1996 | Thesis | IST-REx-ID: 4419
Kopke, Peter. “The Theory of Rectangular Hybrid Automata.” Cornell University, 1996.
View
 

1995 | Thesis | IST-REx-ID: 4428
Ho, Pei. “Automatic Analysis of Hybrid Systems.” Cornell University, 1995. https://doi.org/CSD-TR95-1536.
View | DOI
 

1991 | Thesis | IST-REx-ID: 4516
Henzinger, Thomas A. “The Temporal Specification and Verification of Real-Time Systems .” Stanford University, 1991.
View | Download (ext.)
 

1979 | Thesis | IST-REx-ID: 4337
Barton, Nicholas H. “A Hybrid Zone in the Alpine Grasshopper Podisma Pedestris.” University of East Anglia, 1979.
View
 

Filters and Search Terms

type=dissertation

Search

Filter Publications