T. Whitfield et al., “Mutations affecting development of the zebrafish inner ear and lateral line,” Development, vol. 123. Company of Biologists, pp. 241–254, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4142
DOI: 10.1242/dev.123.1.241
PMID: 9007244

D. Ransom et al., “Characterization of zebrafish mutants with defects in embryonic hematopoiesis,” Development, vol. 123, no. 1. Company of Biologists, pp. 311–319, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4154
DOI: 10.1242/dev.123.1.311
PMID: 9007251

T. Piotrowski et al., “Jaw and branchial arch mutants in zebrafish II: Anterior arches and cartilage differentiation,” Development, vol. 123, no. 1. Company of Biologists, pp. 345–356, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4156
DOI: 10.1242/dev.123.1.345
PMID: 9007254 

Y. Jiang et al., “Mutations affecting neurogenesis and brain morphology in the zebrafish, Danio rerio,” Development, vol. 123, no. 1. Company of Biologists, pp. 205–216, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4191
DOI: 10.1242/dev.123.1.205
PMID: 9007241

R. Kelsh et al., “Zebrafish pigmentation mutations and the processes of neural crest development,” Development, vol. 123, no. 1. Company of Biologists, pp. 369–389, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4186
DOI: 10.1242/dev.123.1.369
PMID: 9007256 

D. Kane et al., “The zebrafish early arrest mutants,” Development, vol. 123, no. 1. Company of Biologists, pp. 57–66, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4189
DOI: 10.1242/dev.123.1.57 
PMID: 9007229 

D. Kane et al., “The zebrafish epiboly mutants,” Development, vol. 123, no. 1. Company of Biologists, pp. 47–55, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4188
DOI: 10.1242/dev.123.1.47 
PMID: 9007228 

C.-P. J. Heisenberg et al., “Genes involved in forebrain development in the zebrafish, Danio rerio,” Development, vol. 123. Company of Biologists, pp. 191–203, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4203
DOI: 10.1242/dev.123.1.191 
PMID: 9007240 

M. Brand et al., “Mutations affecting development of the midline and general body shape during zebrafish embryogenesis,” Development, vol. 123, no. 1. Company of Biologists, pp. 129–142, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4216
DOI: 10.1242/dev.123.1.129 
PMID: 9007235 

M. Brand et al., “Mutations in zebrafish genes affecting the formation of the boundary between midbrain and hindbrain,” Development, vol. 123, no. 1. Company of Biologists, pp. 179–190, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4219
DOI: 10.1242/dev.123.1.179 
PMID: 9007239 

F. Van Eeden et al., “Mutations affecting somite formation and patterning in the zebrafish, Danio rerio,” Development, vol. 123, no. 1. Company of Biologists, pp. 153–164, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4222
DOI: 10.1242/dev.123.1.153
PMID: 9007237 

F. Van Eeden et al., “Genetic analysis of fin formation in the zebrafish, Danio rerio,” Development, vol. 123, no. 1. Company of Biologists, pp. 255–262, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4220
DOI: 10.1242/dev.123.1.255 
PMID: 9007245 

N. H. Barton and I. Wilson, “Genealogies and geography,” in New uses for new phylogenies, Oxford University Press, 1996, pp. 23–56.
LibreCat: https://research-explorer.ista.ac.at/record/4294
DOI: 10.1098/rstb.1995.0090
PMID: 8748019

N. H. Barton, “Speciation: more than the sum of its parts,” in Current Biology, vol. 6, Cell Press, 1996, pp. 1244–1246.
LibreCat: https://research-explorer.ista.ac.at/record/4295
DOI: 10.1016/S0960-9822(02)70707-0
PMID: 8939554

P. Kopke, “The Theory of Rectangular Hybrid Automata,” Cornell University, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4419

T. A. Henzinger and H. Wong Toi, “Linear phase-portrait approximations for nonlinear hybrid systems,” in Hybrid Systems III: Verification and Control, 1996, vol. 1066, pp. 377–388.
LibreCat: https://research-explorer.ista.ac.at/record/4426
DOI: 10.1007/BFb0020961

T. A. Henzinger and H. Wong Toi, “Using HyTech to synthesize control parameters for a steam boiler,” in Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, vol. 1165, Springer, 1996, pp. 265–282.
LibreCat: https://research-explorer.ista.ac.at/record/4427
DOI: 10.1007/BFb0027241

T. A. Henzinger and P. Kopke, “State equivalences for rectangular hybrid automata,” in 7th International Conference on Concurrency Theory, Pisa, Italy, 1996, vol. 1119, pp. 530–545.
LibreCat: https://research-explorer.ista.ac.at/record/4443
DOI: 10.1007/3-540-61604-7_74

T. A. Henzinger, O. Kupferman, and M. Vardi, “A space-efficient on-the-fly algorithm for real-time model checking,” in 7th International Conference on Concurrency Theory, Pisa, Italy, 1996, vol. 1119, pp. 514–529.
LibreCat: https://research-explorer.ista.ac.at/record/4495
DOI: 10.1007/3-540-61604-7_73

T. A. Henzinger, “The theory of hybrid automata,” in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, NJ, United States of America, 1996, pp. 278–292.
LibreCat: https://research-explorer.ista.ac.at/record/4519
DOI: 10.1109/LICS.1996.561342