Link V, Shevchenko A, Heisenberg C-PJ. 2006. Proteomics of early zebrafish embryos. BMC Developmental Biology. 6, 1–9.
LibreCat: https://research-explorer.ista.ac.at/record/4173
DOI: 10.1186/1471-213X-6-1

Langenberg T, Dracz T, Oates A, Heisenberg C-PJ, Brand M. 2006. Analysis and visualization of cell movement in the developing zebrafish brain. Developmental Dynamics. 235(4), 928–933.
LibreCat: https://research-explorer.ista.ac.at/record/4178
DOI: 10.1002/dvdy.20692

Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C-PJ. 2006. Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila. Development. 133(14), 2671–2681.
LibreCat: https://research-explorer.ista.ac.at/record/4184
DOI: doi: 10.1242/dev.02439

Blaser H, Reichman Fried M, Castanon I, Dumstrei K, Marlow F, Kawakami K, Solnica Krezel L, Heisenberg C-PJ, Raz E. 2006. Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow. Developmental Cell. 11(5), 613–627.
LibreCat: https://research-explorer.ista.ac.at/record/4218
DOI: 10.1016/j.devcel.2006.09.023

de Vladar H. 2006. Density-dependence as a size-independent regulatory mechanism. Journal of Theoretical Biology. 238(2), 245–256.
LibreCat: https://research-explorer.ista.ac.at/record/4237
DOI: 3802

de Vladar H, González J. 2006. Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology., 91–109.
LibreCat: https://research-explorer.ista.ac.at/record/4235

Roze D, Barton NH. 2006. The Hill-Robertson effect and the evolution of recombination. Genetics. 173(3), 1793–1811.
LibreCat: https://research-explorer.ista.ac.at/record/4248
DOI: 10.1534/genetics.106.058586 

Barton NH. 2006. Evolutionary Biology: How did the human species form? Current Biology. 16(16), 647–650.
LibreCat: https://research-explorer.ista.ac.at/record/4250
DOI: 10.1016/j.cub.2006.07.032

Wies T, Kuncak V, Lam P, Podelski A, Rinard M. 2006. Field Constraint Analysis. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS 3855, , 157–173.
LibreCat: https://research-explorer.ista.ac.at/record/4359
DOI: 1551

Maler O, Nickovic D, Pnueli A. 2006. Real Time Temporal Logic: Past, Present, Future. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 2–16.
LibreCat: https://research-explorer.ista.ac.at/record/4373
DOI: 1571

Maler O, Nickovic D, Pnueli A. 2006. From MITL to Timed Automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 274–289.
LibreCat: https://research-explorer.ista.ac.at/record/4374
DOI: 1570

De Wulf M, Doyen L, Henzinger TA, Raskin J. 2006. Antichains: A new algorithm for checking universality of finite automata. CAV: Computer Aided Verification, LNCS, vol. 4144, 17–30.
LibreCat: https://research-explorer.ista.ac.at/record/4406
DOI: 10.1007/11817963_5

Alur R, Cerny P, Zdancewic S. 2006. Preserving Secrecy Under Refinement. ICALP: Automata, Languages and Programming, LNCS, , 107–118.
LibreCat: https://research-explorer.ista.ac.at/record/4401
DOI: 1543

Henzinger TA, Piterman N. 2006. Solving games without determinization. CSL: Computer Science Logic, LNCS, vol. 4207, 395–410.
LibreCat: https://research-explorer.ista.ac.at/record/4437
DOI: 10.1007/11874683_26

Henzinger TA, Matic S. 2006. An interface algebra for real-time components. RTAS: Real-time and Embedded Technology and Applications Symposium, 253–266.
LibreCat: https://research-explorer.ista.ac.at/record/4436
DOI: 10.1109/RTAS.2006.11

Henzinger TA, Prabhu V. 2006. Timed alternating-time temporal logic. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4202, 1–17.
LibreCat: https://research-explorer.ista.ac.at/record/4432
DOI: 10.1007/11867340_1

Henzinger TA, Sifakis J. 2006. The embedded systems design challenge. FM: Formal Methods, LNCS, vol. 4085, 1–15.
LibreCat: https://research-explorer.ista.ac.at/record/4431
DOI: 10.1007/11813040_1

Henzinger TA, Kupferman O, Majumdar R. 2006. On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. 354(2), 173–186.
LibreCat: https://research-explorer.ista.ac.at/record/4451
DOI: 10.1016/j.tcs.2005.11.015

Gulavani B, Henzinger TA, Kannan Y, Nori A, Rajamani S. 2006. Synergy: A new algorithm for property checking. FSE: Foundations of Software Engineering, 117–127.
LibreCat: https://research-explorer.ista.ac.at/record/4523
DOI: 10.1145/1181775.1181790

Ghosal A, Henzinger TA, Iercan D, Kirsch C, Sangiovanni Vincentelli A. 2006. A hierarchical coordination language for interacting real-time tasks. EMSOFT: Embedded Software , 132–141.
LibreCat: https://research-explorer.ista.ac.at/record/4526
DOI: 10.1145/1176887.1176907