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.