Schwarz, Jan. “Quantitative Analysis of Haptotactic Cell Migration.” Institute of Science and Technology Austria, 2016.

Pentina, Anastasia. “Theoretical Foundations of Multi-Task Lifelong Learning.”https://doi.org/10.15479/AT:ISTA:TH_776__Institute of Science and Technology Austria, 2016.https://doi.org/10.15479/AT:ISTA:TH_776 .

Chmelik, Martin. “Algorithms for Partially Observable Markov Decision Processes.” Institute of Science and Technology Austria, 2016.

Mabillard, Isaac. “Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture.” Institute of Science and Technology Austria, 2016.

Mishra, Rajiv Kumar. “Synaptic Plasticity Rules at C-C Recurrent Synapses in Hippocampus.” Institute of Science and Technology Austria, 2016.

Novak, Sebastian. “Evolutionary Proccesses in Variable Emvironments.” Institute of Science and Technology Austria, 2016.

Tarrach, Thorsten. “Automatic Synthesis of Synchronisation Primitives for Concurrent Programs.”https://doi.org/10.15479/at:ista:1130__Institute of Science and Technology Austria, 2016.https://doi.org/10.15479/at:ista:1130 .

Bojsen-Hansen, Morten. “Tracking, Correcting and Absorbing Water Surface Waves.”https://doi.org/10.15479/AT:ISTA:th_640__Institute of Science and Technology Austria, 2016.https://doi.org/10.15479/AT:ISTA:th_640 .

Ellis, Thomas. “The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone.”https://doi.org/10.15479/AT:ISTA:TH_526 __Institute of Science and Technology Austria, 2016.https://doi.org/10.15479/AT:ISTA:TH_526  .

Tugrul, Murat. “Evolution of Transcriptional Regulatory Sequences.” Institute of Science and Technology Austria, 2016.

Sharmanska, Viktoriia. “Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views.”https://doi.org/10.15479/at:ista:1401__Institute of Science and Technology Austria, 2015.https://doi.org/10.15479/at:ista:1401 .

Reiter, Johannes. “The Subclonal Evolution of Cancer.” Institute of Science and Technology Austria, 2015.

Pausinger, Florian. “On the Approximation of Intrinsic Volumes.” Institute of Science and Technology Austria, 2015.

Stock, Miriam. “Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants.” IST Austria, 2014.

Konrad, Matthias. “Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus.” Institute of Science and Technology Austria, 2014.

Marhavá, Petra. “Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana.” Institute of Science and Technology Austria, 2014.

Behrndt, Martin. “Forces Driving Epithelial Spreading in Zebrafish Epiboly.” IST Austria, 2014.

Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.”https://doi.org/10.15479/at:ista:1405__Institute of Science and Technology Austria, 2013.https://doi.org/10.15479/at:ista:1405 .

Campinho, Pedro. “Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading.” Institute of Science and Technology Austria, 2013.

Kim, Sooyun. “Active Properties of Hippocampal C Pyramidal Neuron Dendrites.” Institute of Science and Technology Austria, 2012.

Schumann, Kathrin. “The Role of Chemotactic Gradients in Dendritic Cell Migration.” Institute of Science and Technology Austria, 2011.

Maître, Jean-Léon. “Mechanics of Adhesion and Deadhesion in Zebrafish Germ Layer Progenitors.” Institute of Science and Technology Austria, 2011.

Bickel, Bernd. “Measurement-Based Modeling and Fabrication of Deformable Materials for Human Faces.”https://doi.org/dx.doi.org/10.3929/ethz-a-006354908__Unknown. Unknown, 2010.https://doi.org/dx.doi.org/10.3929/ethz-a-006354908 .

Wojtan, Chris. “Animating Physical Phenomena with Embedded Surface Meshes.” Georgia Institute of Technology, 2010.

Pflicke, Holger. “  Dendritic Cell Migration across Basement Membranes in the Skin.” Institute of Science and Technology Austria, 2010.

Schmalhorst, Philipp S. “Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus Fumigatus.” Gottfried Wilhelm Leibniz Universität Hannover, 2009.

Vladar, Harold de. “Stochasticity and Variability in the Dynamics and Genetics of Populations.”https://doi.org/3811__Faculty of mathematical and natural sciences, University of Groningen, 2009.https://doi.org/3811 .

Singh, Vasu. “Formalizing and Verifying Transactional Memories.” Formalizing and Verifying Transactional Memories. EPFL Lausanne, 2009.

Prabhu, Vinayak. “Games for the Verification of Timed Systems.” University of California, Berkeley, 2008.

Matic, Slobodan. “Compositionality in Deterministic Real-Time Embedded Systems.” University of California, Berkeley, 2008.

Ghosal, Arkadeb. “A Hierarchical Coordination Language for Reliable Real-Time Tasks.” University of California, Berkeley, 2008.

Chatterjee, Krishnendu. “Stochastic <9-Regular Games.” University of California, Berkeley, 2007.

Chakrabarti, Arindam. “A Framework for Compositional Design and Analysis of Systems.” University of California, Berkeley, 2007.

Vladar, Harold de. “Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares.”https://doi.org/3810__Centro de estudios avazados, IVIC, 2004.https://doi.org/3810 .

Jhala, Ranjit. “Program Verification by Lazy Abstraction.” University of California, Berkeley, 2004.

Wagner, Uli. “On K-Sets and Their Applications.”https://doi.org/10.3929/ethz-a-004708408__ETH Zurich, 2003.https://doi.org/10.3929/ethz-a-004708408 .

Lampert, Christoph. “The Neumann Operator in Strictly Pseudoconvex Domains with Weighted Bergman Metric .” Bonner Mathematische Schriften. Universität Bonn, Fachbibliothek Mathematik, 2003.

Majumdar, Ritankar. “Symbolic Algorithms for Verification and Control.” University of California, Berkeley, 2003.

Horowitz, Benjamin. “Giotto: A Time-Triggered Language for Embedded Programming.” University of California, Berkeley, 2003.

Mang, Freddy. “Games in Open Systems Verification and Synthesis.” University of California, Berkeley, 2002.

Qadeer, Shaz. “Algorithms and Methodology for Scalable Model Checking.” University of California, Berkeley, 1999.

Kopke, Peter. “The Theory of Rectangular Hybrid Automata.” Cornell University, 1996.

Ho, Pei. “Automatic Analysis of Hybrid Systems.” Cornell University, 1995.

Henzinger, Thomas A. “The Temporal Specification and Verification of Real-Time Systems .” Stanford University, 1991.

Barton, Nicholas H. “A Hybrid Zone in the Alpine Grasshopper Podisma Pedestris.” University of East Anglia, 1979.