Van Eeden, Fredericus, Michael Granato, Ursula Schach, Michael Brand, Makoto Furutani Seiki, Pascal Haffter, Matthias Hammerschmidt, et al. “Mutations Affecting Somite Formation and Patterning in the Zebrafish, Danio Rerio.”https://doi.org/10.1242/dev.123.1.153__Development. Company of Biologists, 1996.https://doi.org/10.1242/dev.123.1.153 .

Van Eeden, Fredericus, Michael Granato, Ursula Schach, Michael Brand, Makoto Furutani Seiki, Pascal Haffter, Matthias Hammerschmidt, et al. “Genetic Analysis of Fin Formation in the Zebrafish, Danio Rerio.”https://doi.org/10.1242/dev.123.1.255 __Development. Company of Biologists, 1996.https://doi.org/10.1242/dev.123.1.255  .

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

Barton, Nicholas H. “Speciation: More than the Sum of Its Parts.”https://doi.org/10.1016/S0960-9822(02)70707-0__In Current Biology, 6:1244–46. Cell Press, 1996.https://doi.org/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.”https://doi.org/10.1007/BFb0020961__In Hybrid Systems III: Verification and Control, edited by Rajeev Alur, Thomas A Henzinger, and Eduardo Sontag, 1066:377–88. Springer, 1996.https://doi.org/10.1007/BFb0020961 .

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

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

Henzinger, Thomas A, Orna Kupferman, and Moshe Vardi. “A Space-Efficient on-the-Fly Algorithm for Real-Time Model Checking.”https://doi.org/10.1007/3-540-61604-7_73__In 7th International Conference on Concurrency Theory, 1119:514–29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996.https://doi.org/10.1007/3-540-61604-7_73 .

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

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

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

Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems.”https://doi.org/10.1109/32.489079__IEEE Transactions on Software Engineering. IEEE, 1996.https://doi.org/10.1109/32.489079 .

Alur, Rajeev, Tomás Feder, and Thomas A Henzinger. “The Benefits of Relaxing Punctuality.”https://doi.org/10.1145/227595.227602__Journal of the ACM. ACM, 1996.https://doi.org/10.1145/227595.227602 .

Alur, Rajeev, Thomas A Henzinger, and Eduardo D Sontag, eds. Hybrid Systems III: Verification and Control. Vol. 1066. Lecture Notes in Computer Science. Berlinf; Heidelberg: Springer, 1996.https://doi.org/10.1007/BFb0020931 .

Bono, Mario de, and J. Hodgkin. “Evolution of Sex Determination in Caenorhabditis: Unusually High Divergence of Tra-1 and Its Functional Consequences.” Genetics. Genetics Society of America, 1996.