Schwarz J. Quantitative analysis of haptotactic cell migration. 2016.

Pentina A. Theoretical foundations of multi-task lifelong learning. 2016. doi:10.15479/AT:ISTA:TH_776

Chmelik M. Algorithms for partially observable markov decision processes. 2016.

Mabillard I. Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. 2016.

Mishra RK. Synaptic plasticity rules at C-C recurrent synapses in hippocampus. 2016.

Novak S. Evolutionary proccesses in variable emvironments. 2016.

Tarrach T. Automatic synthesis of synchronisation primitives for concurrent programs. 2016. doi:10.15479/at:ista:1130

Bojsen-Hansen M. Tracking, correcting and absorbing water surface waves. 2016. doi:10.15479/AT:ISTA:th_640

Ellis T. The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone. 2016. doi:10.15479/AT:ISTA:TH_526 

Tugrul M. Evolution of transcriptional regulatory sequences. 2016.

Sharmanska V. Learning with attributes for object recognition: Parametric and non-parametrics views. 2015. doi:10.15479/at:ista:1401

Reiter J. The subclonal evolution of cancer. 2015.

Pausinger F. On the approximation of intrinsic volumes. 2015.

Stock M. Evolution of a fungal pathogen towards individual versus social immunity in ants. 2014.

Konrad M. Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. 2014.

Marhavá P. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. 2014.

Behrndt M. Forces driving epithelial spreading in zebrafish epiboly. 2014.

Zufferey D. Analysis of dynamic message passing programs. 2013. doi:10.15479/at:ista:1405

Campinho P. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. 2013.

Kim S. Active properties of hippocampal C pyramidal neuron dendrites. 2012.

Schumann K. The role of chemotactic gradients in dendritic cell migration. 2011.

Maître J-L. Mechanics of adhesion and deadhesion in zebrafish germ layer progenitors. 2011.

Bickel B. Measurement-based modeling and fabrication of deformable materials for human faces. Unknown. 2010;499(7458). doi:dx.doi.org/10.3929/ethz-a-006354908

Wojtan C. Animating physical phenomena with embedded surface meshes. 2010:1-175.

Pflicke H.   Dendritic cell migration across basement membranes in the skin. 2010.

Schmalhorst PS. Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus. 2009:1-72.

de Vladar H. Stochasticity and Variability in the dynamics and genetics of populations. 2009. doi:3811

Singh V. Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. 2009.

Prabhu V. Games for the verification of timed systems. 2008:1-137.

Matic S. Compositionality in deterministic real-time embedded systems. 2008:1-148.

Ghosal A. A hierarchical coordination language for reliable real-time tasks. 2008:1-210.

Chatterjee K. Stochastic <9-Regular Games. 2007:1-247.

Chakrabarti A. A framework for compositional design and analysis of systems. 2007:1-244.

de Vladar H. Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. 2004. doi:3810

Jhala R. Program verification by lazy abstraction. 2004:1-165.

Wagner U. On k-Sets and Their Applications. 2003. doi:10.3929/ethz-a-004708408

Lampert C. The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric . Bonner Mathematische Schriften. 2003;356:1-165.

Majumdar R. Symbolic algorithms for verification and control. 2003:1-201.

Horowitz B. Giotto: A time-triggered language for embedded programming. 2003:1-237.

Mang F. Games in open systems verification and synthesis. 2002:1-116.

Qadeer S. Algorithms and Methodology for Scalable Model Checking. 1999:1-150.

Kopke P. The Theory of Rectangular Hybrid Automata. 1996.

Ho P. Automatic analysis of hybrid systems. 1995:1-188.

Henzinger TA. The temporal specification and verification of real-time systems . 1991.

Barton NH. A hybrid zone in the alpine grasshopper Podisma pedestris. 1979.