Oteíza, P., Köppen, M., Krieg, M., Preibisch, S., Haertel, S., Müller, D.,https://doi.org/10.1016/j.mod.2009.06.098__Concha, M. (2009). Wnt11/Pk1a-mediated planar cell polarity signalling orchestrates epithelial organ morphogenesis by regulating N-cadherin dependent cell adhesion forces. Mechanisms of Development. Elsevier.https://doi.org/10.1016/j.mod.2009.06.098 

Paluch, E., &; Heisenberg, C.-P. J. (2009). Biology and physics of cell shape changes in development. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2009.07.029 

Paluch, E., &; Heisenberg, C.-P. J. (2009). Chaos begets order: Asynchronous cell contractions drive epithelial morphogenesis. Developmental Cell. Cell Press.https://doi.org/10.1016/j.devcel.2008.12.011 

Heisenberg, C.-P. J. (2009). Dorsal closure in Drosophila: cells cannot get out of the tight spot. Bioessaysf: News and Reviews in Molecular, Cellular and Developmental Biology. Wiley-Blackwell.https://doi.org/10.1002/bies.200900109 

Carvalho, L., Stuehmer, J., Bois, J., Kalaidzidis, Y., Lecaudey, V., &; Heisenberg, C.-P. J. (2009). Control of convergent yolk syncytial layer nuclear movement in zebrafish. Development. Company of Biologists.https://doi.org/10.1242/dev.026922 

Barton, N. H., &; De Vladar, H. (2009). Statistical mechanics and the evolution of polygenic quantitative traits. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.108.099309 

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 

Bollback, J. P., &; Huelsenbeck, J. (2009). Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.107.085225 

Wies, T., Piskac, R., &; Kuncak, V. (2009). Combining Theories with Shared Set Operations (pp. 366–382). Presented at the FroCoS: Frontiers of Combining Systems, Springer.https://doi.org/1558 

Singh, V. (2009). Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. EPFL Lausanne.

Lahiri, S., Qadeer, S., Galeotti, J., Voung, J., &; Wies, T. (2009). Intra-module Inference (pp. 493–508). Presented at the CAV: Computer Aided Verification, Springer.https://doi.org/1555 

Hoenicke, J., Leino, K. R., Podelski, A., Schäf, M., &; Wies, T. (2009). It’s Doomed; We Can Prove It (pp. 338–353). Presented at the FM: Formal Methods, Springer.https://doi.org/1557 

Guerraoui, R., Henzinger, T. A., &; Singh, V. (2009). Software transactional memory on relaxed memory models (Vol. 5643, pp. 321–336). Presented at the CAV: Computer Aided Verification, Springer.https://doi.org/10.1007/978-3-642-02658-4_26 

Dragojevic, A., Guerraoui, R., Singh, A., &; Singh, V. (2009). Preventing versus curing: avoiding conflicts in transactional memories (pp. 7–16). Presented at the POPL: Principles of Programming Languages, ACM.https://doi.org/1533 

Lublinerman, R., Chaudhuri, S., &; Cerny, P. (2009). Parallel programming with object assemblies (pp. 61–80). Presented at the Oopsla Object Oriented Programming Systems Languages and Applications, ACM.https://doi.org/1546 

Cerny, P., &; Alur, R. (2009). Automated Analysis of Java Methods for Confidentiality (pp. 173–187). Presented at the CAV: Computer Aided Verification, Springer.https://doi.org/1548 

Alur, R., Cerny, P., &; Weinstein, S. (2009). Algorithmic analysis of array-accessing programs (Vol. 5771, pp. 86–101). Presented at the CSL: Computer Science Logic, Coimbra, Portugal: Springer.https://doi.org/10.1007/978-3-642-04027-6_9 

Henzinger, T. A., Mateescu, M., &; Wolf, V. (2009). Sliding-window abstraction for infinite Markov chains (Vol. 5643, pp. 337–352). Presented at the CAV: Computer Aided Verification, Springer.https://doi.org/10.1007/978-3-642-02658-4_27 

Didier, F., Henzinger, T. A., Mateescu, M., &; Wolf, V. (2009). Approximation of event probabilities in noisy cellular processes (Vol. 5688, pp. 173–188). Presented at the CMSB: Computational Methods in Systems Biology, Springer.https://doi.org/10.1007/978-3-642-03845-7_12 

Chatterjee, K., Doyen, L., &; Henzinger, T. A. (2009). Alternating weighted automata (Vol. 5699, pp. 3–13). Presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland: Springer.https://doi.org/10.1007/978-3-642-03409-1_2