Dogterom M, Felix M, Guet CC, Leibler S. 1996. Influence of M-phase chromatin on the anisotropy of microtubule asters. Journal of Cell Biology. 133(1), 125–140.
LibreCat: https://research-explorer.ista.ac.at/record/3756
DOI: doi: 10.1083/jcb.133.1.125 
PMID: 8601601

Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Stolfi J. 1996. Lines in space: Combinatorics and algorithms. Algorithmica. 15(5), 428–447.
LibreCat: https://research-explorer.ista.ac.at/record/4027
DOI: 10.1007/BF01955043

Edelsbrunner H, Shah N. 1996. Incremental topological flipping works for regular triangulations. Algorithmica. 15(3), 223–241.
LibreCat: https://research-explorer.ista.ac.at/record/4026
DOI: 10.1007/BF01975867

Liang J, Edelsbrunner H, Subramaniam S. 1996. Effects of molecular shape representations on boundary element method for protein electrostatics computations, Cell Press,p.
LibreCat: https://research-explorer.ista.ac.at/record/4030
DOI: 10.1016/S0006-3495(96)79664-9

Liang J, Edelsbrunner H, Pamidghantam S, Subramaniam S. 1996. Analytical method for molecular shapes: Area, volume, cavities, interface and pockets, Cell Press,p.
LibreCat: https://research-explorer.ista.ac.at/record/4031
DOI: 10.1016/S0006-3495(96)79670-4

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.
LibreCat: https://research-explorer.ista.ac.at/record/4142
DOI: 10.1242/dev.123.1.241
PMID: 9007244

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.
LibreCat: https://research-explorer.ista.ac.at/record/4154
DOI: 10.1242/dev.123.1.311
PMID: 9007251

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.
LibreCat: https://research-explorer.ista.ac.at/record/4156
DOI: 10.1242/dev.123.1.345
PMID: 9007254 

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.
LibreCat: https://research-explorer.ista.ac.at/record/4191
DOI: 10.1242/dev.123.1.205
PMID: 9007241

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.
LibreCat: https://research-explorer.ista.ac.at/record/4186
DOI: 10.1242/dev.123.1.369
PMID: 9007256 

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.
LibreCat: https://research-explorer.ista.ac.at/record/4189
DOI: 10.1242/dev.123.1.57 
PMID: 9007229 

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.
LibreCat: https://research-explorer.ista.ac.at/record/4188
DOI: 10.1242/dev.123.1.47 
PMID: 9007228 

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.
LibreCat: https://research-explorer.ista.ac.at/record/4203
DOI: 10.1242/dev.123.1.191 
PMID: 9007240 

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.
LibreCat: https://research-explorer.ista.ac.at/record/4216
DOI: 10.1242/dev.123.1.129 
PMID: 9007235 

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.
LibreCat: https://research-explorer.ista.ac.at/record/4219
DOI: 10.1242/dev.123.1.179 
PMID: 9007239 

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.
LibreCat: https://research-explorer.ista.ac.at/record/4222
DOI: 10.1242/dev.123.1.153
PMID: 9007237 

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.
LibreCat: https://research-explorer.ista.ac.at/record/4220
DOI: 10.1242/dev.123.1.255 
PMID: 9007245 

Barton NH, Wilson I. 1996.Genealogies and geography. In: New uses for new phylogenies. , 23–56.
LibreCat: https://research-explorer.ista.ac.at/record/4294
DOI: 10.1098/rstb.1995.0090
PMID: 8748019

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

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

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.
LibreCat: https://research-explorer.ista.ac.at/record/4426
DOI: 10.1007/BFb0020961

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.
LibreCat: https://research-explorer.ista.ac.at/record/4427
DOI: 10.1007/BFb0027241

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.
LibreCat: https://research-explorer.ista.ac.at/record/4443
DOI: 10.1007/3-540-61604-7_74

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.
LibreCat: https://research-explorer.ista.ac.at/record/4495
DOI: 10.1007/3-540-61604-7_73

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.
LibreCat: https://research-explorer.ista.ac.at/record/4519
DOI: 10.1109/LICS.1996.561342 

Henzinger TA, Alur R eds. 1996.  8th International Conference on Computer Aided Verification, Springer,p.
LibreCat: https://research-explorer.ista.ac.at/record/4585
DOI: 10.1007/3-540-61474-5

Alur R, Henzinger TA. 1996. Reactive modules. Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 207–218.
LibreCat: https://research-explorer.ista.ac.at/record/4588
DOI: 10.1109/LICS.1996.561320

Alur R, Henzinger TA, Ho P. 1996. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. 22(3), 181–201.
LibreCat: https://research-explorer.ista.ac.at/record/4611
DOI: 10.1109/32.489079

Alur R, Feder T, Henzinger TA. 1996. The benefits of relaxing punctuality. Journal of the ACM. 43(1), 116–146.
LibreCat: https://research-explorer.ista.ac.at/record/4610
DOI: 10.1145/227595.227602

Alur R, Henzinger TA, Sontag ED eds. 1996. Hybrid Systems III: Verification and Control, Berlinf; Heidelberg: Springer, IX, 619p.
LibreCat: https://research-explorer.ista.ac.at/record/4612
DOI: 10.1007/BFb0020931

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.
LibreCat: https://research-explorer.ista.ac.at/record/6161
PMID: 8889522