Whitfield T, Granato M, Van Eeden F, Schach U, Brand M, Furutani Seiki M, Haffter P, Hammerschmidt M, Heisenberg C-PJ, Jiang Y, Kane D, Kelsh R, Mullins M, Odenthal J, Nüsslein Volhard C. 1996. Mutations affecting development of the zebrafish inner ear and lateral line. Development. 123, 241–254.

Ransom D, Haffter P, Odenthal J, Brownlie A, Vogelsang E, Kelsh R, Brand M, Van Eeden F, Furutani Seiki M, Granato M, Hammerschmidt M, Heisenberg C-PJ, Jiang Y, Kane D, Mullins M, Nüsslein Volhard C. 1996. Characterization of zebrafish mutants with defects in embryonic hematopoiesis. Development. 123(1), 311–319.

Piotrowski T, Schilling T, Brand M, Jiang Y, Heisenberg C-PJ, Beuchle D, Grandel H, Van Eeden F, Furutani Seiki M, Granato M, Haffter P, Hammerschmidt M, Kane D, Kelsh R, Mullins M, Odenthal J, Warga R, Nüsslein Volhard C. 1996. Jaw and branchial arch mutants in zebrafish II: Anterior arches and cartilage differentiation. Development. 123(1), 345–356.

Jiang Y, Brand M, Heisenberg C-PJ, Beuchle D, Furutani Seiki M, Kelsh R, Warga R, Granato M, Haffter P, Hammerschmidt M, Kane D, Mullins M, Odenthal J, Van Eeden F, Nüsslein Volhard C. 1996. Mutations affecting neurogenesis and brain morphology in the zebrafish, Danio rerio. Development. 123(1), 205–216.

Kelsh R, Brand M, Jiang Y, Heisenberg C-PJ, Lin S, Haffter P, Odenthal J, Mullins M, Van Eeden F, Furutani Seiki M, Granato M, Hammerschmidt M, Kane D, Warga R, Beuchle D, Vogelsang L, Nüsslein Volhard C. 1996. Zebrafish pigmentation mutations and the processes of neural crest development. Development. 123(1), 369–389.

Kane D, Maischein H, Brand M, Van Eeden F, Furutani Seiki M, Granato M, Haffter P, Hammerschmidt M, Heisenberg C-PJ, Jiang Y, Kelsh R, Mullins M, Odenthal J, Warga R, Nüsslein Volhard C. 1996. The zebrafish early arrest mutants. Development. 123(1), 57–66.

Kane D, Hammerschmidt M, Mullins M, Maischein H, Brand M, Van Eeden F, Furutani Seiki M, Granato M, Haffter P, Heisenberg C-PJ, Jiang Y, Kelsh R, Odenthal J, Warga R, Nüsslein Volhard C. 1996. The zebrafish epiboly mutants. Development. 123(1), 47–55.

Heisenberg C-PJ, Brand M, Jiang Y, Warga R, Beuchle D, Van Eeden F, Furutani Seiki M, Granato M, Haffter P, Hammerschmidt M, Kane D, Kelsh R, Mullins M, Odenthal J, Nüsslein Volhard C. 1996. Genes involved in forebrain development in the zebrafish, Danio rerio. Development. 123, 191–203.

Brand M, Heisenberg C-PJ, Warga R, Pelegri F, Karlstrom R, Beuchle D, Picker A, Jiang Y, Furutani Seiki M, Van Eeden F, Granato M, Haffter P, Hammerschmidt M, Kane D, Kelsh R, Mullins M, Odenthal J, Nüsslein Volhard C. 1996. Mutations affecting development of the midline and general body shape during zebrafish embryogenesis. Development. 123(1), 129–142.

Brand M, Heisenberg C-PJ, Jiang Y, Beuchle D, Lun K, Furutani Seiki M, Granato M, Haffter P, Hammerschmidt M, Kane D, Kelsh R, Mullins M, Odenthal J, Van Eeden F, Nüsslein Volhard C. 1996. Mutations in zebrafish genes affecting the formation of the boundary between midbrain and hindbrain. Development. 123(1), 179–190.

Van Eeden F, Granato M, Schach U, Brand M, Furutani Seiki M, Haffter P, Hammerschmidt M, Heisenberg C-PJ, Jiang Y, Kane D, Kelsh R, Mullins M, Odenthal J, Warga R, Allende M, Weinberg E, Nüsslein Volhard C. 1996. Mutations affecting somite formation and patterning in the zebrafish, Danio rerio. Development. 123(1), 153–164.

Van Eeden F, Granato M, Schach U, Brand M, Furutani Seiki M, Haffter P, Hammerschmidt M, Heisenberg C-PJ, Jiang Y, Kane D, Kelsh R, Mullins M, Odenthal J, Warga R, Nüsslein Volhard C. 1996. Genetic analysis of fin formation in the zebrafish, Danio rerio. Development. 123(1), 255–262.

Barton NH, Wilson I. 1996.Genealogies and geography. In: New uses for new phylogenies. , 23–56.

Barton NH. 1996.Speciation: more than the sum of its parts. In: Current Biology. vol. 6, 1244–1246.

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

Henzinger TA, Wong Toi H. 1996. Linear phase-portrait approximations for nonlinear hybrid systems. Hybrid Systems III: Verification and Control. , LNCS, vol. 1066, 377–388.

Henzinger TA, Wong Toi H. 1996.Using HyTech to synthesize control parameters for a steam boiler. In: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. LNCS, vol. 1165, 265–282.

Henzinger TA, Kopke P. 1996. State equivalences for rectangular hybrid automata. 7th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1119, 530–545.

Henzinger TA, Kupferman O, Vardi M. 1996. A space-efficient on-the-fly algorithm for real-time model checking. 7th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1119, 514–529.

Henzinger TA. 1996. The theory of hybrid automata. Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 278–292.