Link, Vinzenz, et al. “Proteomics of Early Zebrafish Embryos.”10.1186/1471-213X-6-1__BMC Developmental Biology, vol. 6, BioMed Central, 2006, pp. 1–9, doi:10.1186/1471-213X-6-1.
LibreCat: https://research-explorer.ista.ac.at/record/4173
DOI: 10.1186/1471-213X-6-1

Langenberg, Tobias, et al. “Analysis and Visualization of Cell Movement in the Developing Zebrafish Brain.”10.1002/dvdy.20692__Developmental Dynamics, vol. 235, no. 4, Wiley-Blackwell, 2006, pp. 928–33, doi:10.1002/dvdy.20692.
LibreCat: https://research-explorer.ista.ac.at/record/4178
DOI: 10.1002/dvdy.20692

Köppen, Mathias, et al. “Coordinated Cell-Shape Changes Control Epithelial Movement in Zebrafish and Drosophila.”doi: 10.1242/dev.02439__Development, vol. 133, no. 14, Company of Biologists, 2006, pp. 2671–81, doi:doi: 10.1242/dev.02439.
LibreCat: https://research-explorer.ista.ac.at/record/4184
DOI: doi: 10.1242/dev.02439

Blaser, Heiko, et al. “Migration of Zebrafish Primordial Germ Cells: A Role for Myosin Contraction and Cytoplasmic Flow.”10.1016/j.devcel.2006.09.023__Developmental Cell, vol. 11, no. 5, Cell Press, 2006, pp. 613–27, doi:10.1016/j.devcel.2006.09.023.
LibreCat: https://research-explorer.ista.ac.at/record/4218
DOI: 10.1016/j.devcel.2006.09.023

de Vladar, Harold. “Density-Dependence as a Size-Independent Regulatory Mechanism.”3802__Journal of Theoretical Biology, vol. 238, no. 2, Elsevier, 2006, pp. 245–56, doi:3802.
LibreCat: https://research-explorer.ista.ac.at/record/4237
DOI: 3802

de Vladar, Harold, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” Journal of Theoretical Biology, Elsevier, 2006, pp. 91–109.
LibreCat: https://research-explorer.ista.ac.at/record/4235

Roze, Denis, and Nicholas H. Barton. “The Hill-Robertson Effect and the Evolution of Recombination.”10.1534/genetics.106.058586 __Genetics, vol. 173, no. 3, Genetics Society of America, 2006, pp. 1793–811, doi:10.1534/genetics.106.058586 .
LibreCat: https://research-explorer.ista.ac.at/record/4248
DOI: 10.1534/genetics.106.058586 

Barton, Nicholas H. “Evolutionary Biology: How Did the Human Species Form?”10.1016/j.cub.2006.07.032__Current Biology, vol. 16, no. 16, Cell Press, 2006, pp. 647–50, doi:10.1016/j.cub.2006.07.032.
LibreCat: https://research-explorer.ista.ac.at/record/4250
DOI: 10.1016/j.cub.2006.07.032

Wies, Thomas, et al. Field Constraint Analysis. Springer, 2006, pp. 157–73, doi:1551.
LibreCat: https://research-explorer.ista.ac.at/record/4359
DOI: 1551

Maler, Oded, et al. Real Time Temporal Logic: Past, Present, Future. Springer, 2006, pp. 2–16, doi:1571.
LibreCat: https://research-explorer.ista.ac.at/record/4373
DOI: 1571

Maler, Oded, et al. From MITL to Timed Automata. Springer, 2006, pp. 274–89, doi:1570.
LibreCat: https://research-explorer.ista.ac.at/record/4374
DOI: 1570

De Wulf, Martin, et al. Antichains: A New Algorithm for Checking Universality of Finite Automata. Vol. 4144, Springer, 2006, pp. 17–30, doi:10.1007/11817963_5.
LibreCat: https://research-explorer.ista.ac.at/record/4406
DOI: 10.1007/11817963_5

Alur, Rajeev, et al. Preserving Secrecy Under Refinement. Springer, 2006, pp. 107–18, doi:1543.
LibreCat: https://research-explorer.ista.ac.at/record/4401
DOI: 1543

Henzinger, Thomas A., and Nir Piterman. Solving Games without Determinization. Vol. 4207, Springer, 2006, pp. 395–410, doi:10.1007/11874683_26.
LibreCat: https://research-explorer.ista.ac.at/record/4437
DOI: 10.1007/11874683_26

Henzinger, Thomas A., and Slobodan Matic. An Interface Algebra for Real-Time Components. IEEE, 2006, pp. 253–66, doi:10.1109/RTAS.2006.11.
LibreCat: https://research-explorer.ista.ac.at/record/4436
DOI: 10.1109/RTAS.2006.11

Henzinger, Thomas A., and Vinayak Prabhu. Timed Alternating-Time Temporal Logic. Vol. 4202, Springer, 2006, pp. 1–17, doi:10.1007/11867340_1.
LibreCat: https://research-explorer.ista.ac.at/record/4432
DOI: 10.1007/11867340_1

Henzinger, Thomas A., and Joseph Sifakis. The Embedded Systems Design Challenge. Vol. 4085, Springer, 2006, pp. 1–15, doi:10.1007/11813040_1.
LibreCat: https://research-explorer.ista.ac.at/record/4431
DOI: 10.1007/11813040_1

Henzinger, Thomas A., et al. “On the Universal and Existential Fragments of the Mu-Calculus.”10.1016/j.tcs.2005.11.015__Theoretical Computer Science, vol. 354, no. 2, Elsevier, 2006, pp. 173–86, doi:10.1016/j.tcs.2005.11.015.
LibreCat: https://research-explorer.ista.ac.at/record/4451
DOI: 10.1016/j.tcs.2005.11.015

Gulavani, Bhargav, et al. Synergy: A New Algorithm for Property Checking. ACM, 2006, pp. 117–27, doi:10.1145/1181775.1181790.
LibreCat: https://research-explorer.ista.ac.at/record/4523
DOI: 10.1145/1181775.1181790

Ghosal, Arkadeb, et al. A Hierarchical Coordination Language for Interacting Real-Time Tasks. ACM, 2006, pp. 132–41, doi:10.1145/1176887.1176907.
LibreCat: https://research-explorer.ista.ac.at/record/4526
DOI: 10.1145/1176887.1176907