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

The role of chemotactic gradients in dendritic cell migration
K. Schumann, The Role of Chemotactic Gradients in Dendritic Cell Migration, Institute of Science and Technology Austria, 2011.
LibreCat: https://research-explorer.ista.ac.at/record/3275

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

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

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

þffþffDendritic cell migration across basement membranes in the skin
H. Pflicke,   Dendritic Cell Migration across Basement Membranes in the Skin, Institute of Science and Technology Austria, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3962

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

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

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

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

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

A hierarchical coordination language for reliable real-time tasks
A. Ghosal, A Hierarchical Coordination Language for Reliable Real-Time Tasks, University of California, Berkeley, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4524

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

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

Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares
H. de Vladar, Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares, Centro de estudios avazados, IVIC, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/4236
DOI: 3810

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

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

The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric 
C. Lampert, The Neumann Operator in Strictly Pseudoconvex Domains with Weighted Bergman Metric , Universität Bonn, Fachbibliothek Mathematik, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/3678

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

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