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.

Henzinger TA, Alur R eds. 1996.  8th International Conference on Computer Aided Verification, Springer,p.

Alur R, Henzinger TA. 1996. Reactive modules. Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 207–218.

Alur R, Henzinger TA, Ho P. 1996. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. 22(3), 181–201.

Alur R, Feder T, Henzinger TA. 1996. The benefits of relaxing punctuality. Journal of the ACM. 43(1), 116–146.

Alur R, Henzinger TA, Sontag ED eds. 1996. Hybrid Systems III: Verification and Control, Berlinf; Heidelberg: Springer, IX, 619p.

de Bono M, Hodgkin J. 1996. Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences. Genetics. 144(2), 587–595.