Kim, S. (2012). Active properties of hippocampal C pyramidal neuron dendrites. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/2964

Schumann, K. (2011). The role of chemotactic gradients in dendritic cell migration. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/3275

Maître, J.-L. (2011). Mechanics of adhesion and deadhesion in zebrafish germ layer progenitors. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/3273

Bickel, B. (2010). Measurement-based modeling and fabrication of deformable materials for human faces. Unknown. Unknown.https://doi.org/dx.doi.org/10.3929/ethz-a-006354908 
LibreCat: https://research-explorer.ista.ac.at/record/2075
DOI: dx.doi.org/10.3929/ethz-a-006354908

Wojtan, C. (2010). Animating physical phenomena with embedded surface meshes. Georgia Institute of Technology.
LibreCat: https://research-explorer.ista.ac.at/record/3296

Pflicke, H. (2010).   Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/3962

Schmalhorst, P. S. (2009). Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus. Gottfried Wilhelm Leibniz Universität Hannover.
LibreCat: https://research-explorer.ista.ac.at/record/3400

de Vladar, H. (2009). Stochasticity and Variability in the dynamics and genetics of populations. Faculty of mathematical and natural sciences, University of Groningen.https://doi.org/3811 
LibreCat: https://research-explorer.ista.ac.at/record/4232
DOI: 3811

Singh, V. (2009). Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. EPFL Lausanne.
LibreCat: https://research-explorer.ista.ac.at/record/4363

Prabhu, V. (2008). Games for the verification of timed systems. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4409

Matic, S. (2008). Compositionality in deterministic real-time embedded systems. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4415

Ghosal, A. (2008). A hierarchical coordination language for reliable real-time tasks. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4524

Chatterjee, K. (2007). Stochastic <9-Regular Games. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4559

Chakrabarti, A. (2007). A framework for compositional design and analysis of systems. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4566

de Vladar, H. (2004). Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. Centro de estudios avazados, IVIC.https://doi.org/3810 
LibreCat: https://research-explorer.ista.ac.at/record/4236
DOI: 3810

Jhala, R. (2004). Program verification by lazy abstraction. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4424

Wagner, U. (2003). On k-Sets and Their Applications. ETH Zurich.https://doi.org/10.3929/ethz-a-004708408 
LibreCat: https://research-explorer.ista.ac.at/record/2414
DOI: 10.3929/ethz-a-004708408

Lampert, C. (2003). The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric . Bonner Mathematische Schriften. Universität Bonn, Fachbibliothek Mathematik.
LibreCat: https://research-explorer.ista.ac.at/record/3678

Majumdar, R. (2003). Symbolic algorithms for verification and control. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4416

Horowitz, B. (2003). Giotto: A time-triggered language for embedded programming. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4425