Kane, Donald, et al. “The Zebrafish Early Arrest Mutants.”10.1242/dev.123.1.57 __Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 57–66, doi:10.1242/dev.123.1.57 .

Kane, Donald, et al. “The Zebrafish Epiboly Mutants.”10.1242/dev.123.1.47 __Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 47–55, doi:10.1242/dev.123.1.47 .

Heisenberg, Carl-Philipp J., et al. “Genes Involved in Forebrain Development in the Zebrafish, Danio Rerio.”10.1242/dev.123.1.191 __Development, vol. 123, Company of Biologists, 1996, pp. 191–203, doi:10.1242/dev.123.1.191 .

Brand, Michael, et al. “Mutations Affecting Development of the Midline and General Body Shape during Zebrafish Embryogenesis.”10.1242/dev.123.1.129 __Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 129–42, doi:10.1242/dev.123.1.129 .

Brand, Michael, et al. “Mutations in Zebrafish Genes Affecting the Formation of the Boundary between Midbrain and Hindbrain.”10.1242/dev.123.1.179 __Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 179–90, doi:10.1242/dev.123.1.179 .

Van Eeden, Fredericus, et al. “Mutations Affecting Somite Formation and Patterning in the Zebrafish, Danio Rerio.”10.1242/dev.123.1.153__Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 153–64, doi:10.1242/dev.123.1.153.

Van Eeden, Fredericus, et al. “Genetic Analysis of Fin Formation in the Zebrafish, Danio Rerio.”10.1242/dev.123.1.255 __Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 255–62, doi:10.1242/dev.123.1.255 .

Barton, Nicholas H., and Ian Wilson. “Genealogies and Geography.”10.1098/rstb.1995.0090__New Uses for New Phylogenies, Oxford University Press, 1996, pp. 23–56, doi:10.1098/rstb.1995.0090.

Barton, Nicholas H. “Speciation: More than the Sum of Its Parts.”10.1016/S0960-9822(02)70707-0__Current Biology, vol. 6, Cell Press, 1996, pp. 1244–46, doi:10.1016/S0960-9822(02)70707-0.

Kopke, Peter. The Theory of Rectangular Hybrid Automata. Cornell University, 1996.

Henzinger, Thomas A., and Howard Wong Toi. “Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.”10.1007/BFb0020961__Hybrid Systems III: Verification and Control, edited by Rajeev Alur et al., vol. 1066, Springer, 1996, pp. 377–88, doi:10.1007/BFb0020961.

Henzinger, Thomas A., and Howard Wong Toi. “Using HyTech to Synthesize Control Parameters for a Steam Boiler.”10.1007/BFb0027241__Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, vol. 1165, Springer, 1996, pp. 265–82, doi:10.1007/BFb0027241.

Henzinger, Thomas A., and Peter Kopke. “State Equivalences for Rectangular Hybrid Automata.”10.1007/3-540-61604-7_74__7th International Conference on Concurrency Theory, vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–45, doi:10.1007/3-540-61604-7_74.

Henzinger, Thomas A., et al. “A Space-Efficient on-the-Fly Algorithm for Real-Time Model Checking.”10.1007/3-540-61604-7_73__7th International Conference on Concurrency Theory, vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–29, doi:10.1007/3-540-61604-7_73.

Henzinger, Thomas A. “The Theory of Hybrid Automata.”10.1109/LICS.1996.561342 __Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 278–92, doi:10.1109/LICS.1996.561342 .

Henzinger, Thomas A., and Rajeev Alur, editors. 10.1007/3-540-61474-5__8th International Conference on Computer Aided Verification. Vol. 1102, Springer, 1996, doi:10.1007/3-540-61474-5.

Alur, Rajeev, and Thomas A. Henzinger. “Reactive Modules.”10.1109/LICS.1996.561320__Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 207–18, doi:10.1109/LICS.1996.561320.

Alur, Rajeev, et al. “Automatic Symbolic Verification of Embedded Systems.”10.1109/32.489079__IEEE Transactions on Software Engineering, vol. 22, no. 3, IEEE, 1996, pp. 181–201, doi:10.1109/32.489079.

Alur, Rajeev, et al. “The Benefits of Relaxing Punctuality.”10.1145/227595.227602__Journal of the ACM, vol. 43, no. 1, ACM, 1996, pp. 116–46, doi:10.1145/227595.227602.

Alur, Rajeev, et al., editors. Hybrid Systems III: Verification and Control. Vol. 1066, Springer, 1996, doi:10.1007/BFb0020931.