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.

134 Publications


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: 4232
Vladar H. Stochasticity and Variability in the Dynamics and Genetics of Populations. Faculty of mathematical and natural sciences, University of Groningen; 2009. doi:3811
View | DOI
 

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: 4236
de Vladar H. Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares. Centro de estudios avazados, IVIC; 2004. doi:3810
View | DOI
 

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
 

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

1996 | Thesis | IST-REx-ID: 4419
Kopke P. The Theory of Rectangular Hybrid Automata. Cornell University; 1996.
View
 

1995 | Thesis | IST-REx-ID: 4428
Ho P. Automatic Analysis of Hybrid Systems. Cornell University; 1995:1-188. doi:CSD-TR95-1536
View | DOI
 

1991 | Thesis | IST-REx-ID: 4516
Henzinger TA. The Temporal Specification and Verification of Real-Time Systems . Stanford University; 1991.
View | Download (ext.)
 

1979 | Thesis | IST-REx-ID: 4337
Barton NH. A Hybrid Zone in the Alpine Grasshopper Podisma Pedestris. University of East Anglia; 1979.
View
 

Filters and Search Terms

type=dissertation

Search

Filter Publications