Oteíza, Pablo, Mathias Köppen, Michael Krieg, Steffen Preibisch, Steffen Haertel, Daniel Müller, Carl-Philipp J Heisenberg, and Miguel Concha. “Wnt11/Pk1a-Mediated Planar Cell Polarity Signalling Orchestrates Epithelial Organ Morphogenesis by Regulating N-Cadherin Dependent Cell Adhesion Forces.”https://doi.org/10.1016/j.mod.2009.06.098__Mechanisms of Development. Elsevier, 2009.https://doi.org/10.1016/j.mod.2009.06.098 .
LibreCat: https://research-explorer.ista.ac.at/record/4162
DOI: 10.1016/j.mod.2009.06.098

Paluch, Ewa, and Carl-Philipp J Heisenberg. “Biology and Physics of Cell Shape Changes in Development.”https://doi.org/10.1016/j.cub.2009.07.029__Current Biology. Cell Press, 2009.https://doi.org/10.1016/j.cub.2009.07.029 .
LibreCat: https://research-explorer.ista.ac.at/record/4158
DOI: 10.1016/j.cub.2009.07.029

Paluch, Ewa, and Carl-Philipp J Heisenberg. “Chaos Begets Order: Asynchronous Cell Contractions Drive Epithelial Morphogenesis.”https://doi.org/10.1016/j.devcel.2008.12.011__Developmental Cell. Cell Press, 2009.https://doi.org/10.1016/j.devcel.2008.12.011 .
LibreCat: https://research-explorer.ista.ac.at/record/4159
DOI: 10.1016/j.devcel.2008.12.011

Heisenberg, Carl-Philipp J. “Dorsal Closure in Drosophila: Cells Cannot Get out of the Tight Spot.”https://doi.org/10.1002/bies.200900109__Bioessaysf: News and Reviews in Molecular, Cellular and Developmental Biology. Wiley-Blackwell, 2009.https://doi.org/10.1002/bies.200900109 .
LibreCat: https://research-explorer.ista.ac.at/record/4206
DOI: 10.1002/bies.200900109

Carvalho, Lara, Jan Stuehmer, Justin Bois, Yannis Kalaidzidis, Virginie Lecaudey, and Carl-Philipp J Heisenberg. “Control of Convergent Yolk Syncytial Layer Nuclear Movement in Zebrafish.”https://doi.org/10.1242/dev.026922__Development. Company of Biologists, 2009.https://doi.org/10.1242/dev.026922 .
LibreCat: https://research-explorer.ista.ac.at/record/4217
DOI: 10.1242/dev.026922

Barton, Nicholas H, and Harold De Vladar. “Statistical Mechanics and the Evolution of Polygenic Quantitative Traits.”https://doi.org/10.1534/genetics.108.099309__Genetics. Genetics Society of America, 2009.https://doi.org/10.1534/genetics.108.099309 .
LibreCat: https://research-explorer.ista.ac.at/record/4231
DOI: 10.1534/genetics.108.099309

Vladar, Harold de. “Stochasticity and Variability in the Dynamics and Genetics of Populations.”https://doi.org/3811__Faculty of mathematical and natural sciences, University of Groningen, 2009.https://doi.org/3811 .
LibreCat: https://research-explorer.ista.ac.at/record/4232
DOI: 3811

Bollback, Jonathan P, and John Huelsenbeck. “Parallel Genetic Evolution within and between Bacteriophage Species of Varying Degrees of Divergence.”https://doi.org/10.1534/genetics.107.085225__Genetics. Genetics Society of America, 2009.https://doi.org/10.1534/genetics.107.085225 .
LibreCat: https://research-explorer.ista.ac.at/record/4357
DOI: 10.1534/genetics.107.085225

Wies, Thomas, Ruzica Piskac, and Viktor Kuncak. “Combining Theories with Shared Set Operations,”https://doi.org/1558__366–82. Springer, 2009.https://doi.org/1558 .
LibreCat: https://research-explorer.ista.ac.at/record/4360
DOI: 1558

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

Lahiri, Shuvendu, Shaz Qadeer, Juan Galeotti, Jan Voung, and Thomas Wies. “Intra-Module Inference,”https://doi.org/1555__493–508. Springer, 2009.https://doi.org/1555 .
LibreCat: https://research-explorer.ista.ac.at/record/4375
DOI: 1555

Hoenicke, Jochen, K Rustan Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “It’s Doomed; We Can Prove It,”https://doi.org/1557__338–53. Springer, 2009.https://doi.org/1557 .
LibreCat: https://research-explorer.ista.ac.at/record/4377
DOI: 1557

Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Software Transactional Memory on Relaxed Memory Models,”https://doi.org/10.1007/978-3-642-02658-4_26__5643:321–36. Springer, 2009.https://doi.org/10.1007/978-3-642-02658-4_26 .
LibreCat: https://research-explorer.ista.ac.at/record/4383
DOI: 10.1007/978-3-642-02658-4_26

Dragojevic, Aleksandar, Rachid Guerraoui, Anmol Singh, and Vasu Singh. “Preventing versus Curing: Avoiding Conflicts in Transactional Memories,”https://doi.org/1533__7–16. ACM, 2009.https://doi.org/1533 .
LibreCat: https://research-explorer.ista.ac.at/record/4385
DOI: 1533

Lublinerman, Roberto, Swarat Chaudhuri, and Pavol Cerny. “Parallel Programming with Object Assemblies,”https://doi.org/1546__61–80. ACM, 2009.https://doi.org/1546 .
LibreCat: https://research-explorer.ista.ac.at/record/4376
DOI: 1546

Cerny, Pavol, and Rajeev Alur. “Automated Analysis of Java Methods for Confidentiality,”https://doi.org/1548__173–87. Springer, 2009.https://doi.org/1548 .
LibreCat: https://research-explorer.ista.ac.at/record/4391
DOI: 1548

Alur, Rajeev, Pavol Cerny, and Scott Weinstein. “Algorithmic Analysis of Array-Accessing Programs,”https://doi.org/10.1007/978-3-642-04027-6_9__5771:86–101. Springer, 2009.https://doi.org/10.1007/978-3-642-04027-6_9 .
LibreCat: https://research-explorer.ista.ac.at/record/4403
DOI: 10.1007/978-3-642-04027-6_9

Henzinger, Thomas A, Maria Mateescu, and Verena Wolf. “Sliding-Window Abstraction for Infinite Markov Chains,”https://doi.org/10.1007/978-3-642-02658-4_27__5643:337–52. Springer, 2009.https://doi.org/10.1007/978-3-642-02658-4_27 .
LibreCat: https://research-explorer.ista.ac.at/record/4453
DOI: 10.1007/978-3-642-02658-4_27

Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Approximation of Event Probabilities in Noisy Cellular Processes,”https://doi.org/10.1007/978-3-642-03845-7_12__5688:173–88. Springer, 2009.https://doi.org/10.1007/978-3-642-03845-7_12 .
LibreCat: https://research-explorer.ista.ac.at/record/4535
DOI: 10.1007/978-3-642-03845-7_12

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Alternating Weighted Automata,”https://doi.org/10.1007/978-3-642-03409-1_2__5699:3–13. Springer, 2009.https://doi.org/10.1007/978-3-642-03409-1_2 .
LibreCat: https://research-explorer.ista.ac.at/record/4542
DOI: 10.1007/978-3-642-03409-1_2