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.
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 PS. 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.
LibreCat: https://research-explorer.ista.ac.at/record/4232
DOI: 3811

Singh V. 2009. 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.
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.
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 . 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