Mutations affecting xanthophore pigmentation in the zebrafish, Danio rerio
J. Odenthal, K. Rossnagel, P. Haffter, R. Kelsh, E. Vogelsang, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, M. Mullins, C. Nüsslein Volhard, Development 123 (1996) 391–398.
LibreCat: https://research-explorer.ista.ac.at/record/4164
DOI: 10.1242/dev.123.1.391
PMID: 9007257 

The identification of genes with unique and essential functions in the development of the zebrafish, Danio rerio
P. Haffter, M. Granato, M. Brand, M. Mullins, M. Hammerschmidt, D. Kane, J. Odenthal, F. Van Eeden, Y. Jiang, C.-P.J. Heisenberg, R. Kelsh, M. Furutani Seiki, E. Vogelsang, D. Beuchle, U. Schach, C. Fabian, C. Nüsslein Volhard, Development 123 (1996) 1–36.
LibreCat: https://research-explorer.ista.ac.at/record/4212
DOI: 10.1242/dev.123.1.1 
PMID: 9007226 

Genes controlling and mediating locomotion behavior of the zebrafish embryo and larva
M. Granato, F. Van Eeden, U. Schach, T. Trowe, M. Brand, M. Furutani Seiki, P. Haffter, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, C. Nüsslein Volhard, Development 123 (1996) 399–413.
LibreCat: https://research-explorer.ista.ac.at/record/4214
DOI: 10.1242/dev.123.1.399
PMID: 9007258

Mutations affecting the cardiovascular system and other internal organs in zebrafish
J. Chen, P. Haffter, J. Odenthal, E. Vogelsang, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, C. Nüsslein Volhard, Development 123 (1996) 293–302.
LibreCat: https://research-explorer.ista.ac.at/record/4215
DOI: 10.1242/dev.123.1.293
PMID: 9007249

Neural degeneration mutants in the zebrafish, Danio rerio
M. Furutani Seiki, Y. Jiang, M. Brand, C.-P.J. Heisenberg, C. Houart, D. Beuchle, F. Van Eeden, M. Granato, P. Haffter, M. Hammerschmidt, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, C. Nüsslein Volhard, Development 123 (1996) 229–239.
LibreCat: https://research-explorer.ista.ac.at/record/4213
DOI: 10.1242/dev.123.1.229 
PMID: 9007243 

Mutations affecting morphogenesis during gastrulation and tail formation in the zebrafish, Danio rerio
M. Hammerschmidt, F. Pelegri, M. Mullins, D. Kane, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, P. Haffter, C.-P.J. Heisenberg, Y. Jiang, R. Kelsh, J. Odenthal, R. Warga, C. Nüsslein Volhard, Development 123 (1996) 143–151.
LibreCat: https://research-explorer.ista.ac.at/record/4208
DOI: 10.1242/dev.123.1.143
PMID: 9007236

Mutations affecting pigmentation and shape of the adult zebrafish
P. Haffter, J. Odenthal, M. Mullins, S. Lin, M. Farrell, E. Vogelsang, F. Haas, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, N. Hopkins, C. Nüsslein Volhard, Development Genes and Evolution 206 (1996) 260–276.
LibreCat: https://research-explorer.ista.ac.at/record/4210
DOI: 10.1007/s004270050051
PMID: 24173565

Dino and Mercedes, two genes regulating dorsal development in the zebrafish embryo
M. Hammerschmidt, F. Pelegri, M. Mullins, D. Kane, F. Van Eeden, M. Granato, M. Brand, M. Furutani Seiki, P. Haffter, C.-P.J. Heisenberg, Y. Jiang, R. Kelsh, J. Odenthal, R. Warga, C. Nüsslein Volhard, Development 123 (1996) 95–102.
LibreCat: https://research-explorer.ista.ac.at/record/4211
DOI: 10.1242/dev.123.1.95
PMID: 9007232

On measuring the rate of ageing
L. Partridge, N.H. Barton, Proceedings of the Royal Society of London Series B Biological Sciences 263 (1996) 1365–1371.
LibreCat: https://research-explorer.ista.ac.at/record/4292
DOI: 10.1098/rspb.1996.0200

Analysis of molecular determinants in native AMPA receptors
T. Melcher, J. Geiger, P.M. Jonas, H. Monyer, Neurochemistry International 28 (1996) 141–144.
LibreCat: https://research-explorer.ista.ac.at/record/3462
DOI: 10.1016/0197-0186(95)00077-1
PMID: 8719701 

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

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

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

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

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

Mutations affecting development of the zebrafish inner ear and lateral line
T. Whitfield, M. Granato, F. Van Eeden, U. Schach, M. Brand, M. Furutani Seiki, P. Haffter, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, C. Nüsslein Volhard, Development 123 (1996) 241–254.
LibreCat: https://research-explorer.ista.ac.at/record/4142
DOI: 10.1242/dev.123.1.241
PMID: 9007244

Characterization of zebrafish mutants with defects in embryonic hematopoiesis
D. Ransom, P. Haffter, J. Odenthal, A. Brownlie, E. Vogelsang, R. Kelsh, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, M. Mullins, C. Nüsslein Volhard, Development 123 (1996) 311–319.
LibreCat: https://research-explorer.ista.ac.at/record/4154
DOI: 10.1242/dev.123.1.311
PMID: 9007251

Jaw and branchial arch mutants in zebrafish II: Anterior arches and cartilage differentiation
T. Piotrowski, T. Schilling, M. Brand, Y. Jiang, C.-P.J. Heisenberg, D. Beuchle, H. Grandel, F. Van Eeden, M. Furutani Seiki, M. Granato, P. Haffter, M. Hammerschmidt, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, R. Warga, C. Nüsslein Volhard, Development 123 (1996) 345–356.
LibreCat: https://research-explorer.ista.ac.at/record/4156
DOI: 10.1242/dev.123.1.345
PMID: 9007254 

Mutations affecting neurogenesis and brain morphology in the zebrafish, Danio rerio
Y. Jiang, M. Brand, C.-P.J. Heisenberg, D. Beuchle, M. Furutani Seiki, R. Kelsh, R. Warga, M. Granato, P. Haffter, M. Hammerschmidt, D. Kane, M. Mullins, J. Odenthal, F. Van Eeden, C. Nüsslein Volhard, Development 123 (1996) 205–216.
LibreCat: https://research-explorer.ista.ac.at/record/4191
DOI: 10.1242/dev.123.1.205
PMID: 9007241

Zebrafish pigmentation mutations and the processes of neural crest development
R. Kelsh, M. Brand, Y. Jiang, C.-P.J. Heisenberg, S. Lin, P. Haffter, J. Odenthal, M. Mullins, F. Van Eeden, M. Furutani Seiki, M. Granato, M. Hammerschmidt, D. Kane, R. Warga, D. Beuchle, L. Vogelsang, C. Nüsslein Volhard, Development 123 (1996) 369–389.
LibreCat: https://research-explorer.ista.ac.at/record/4186
DOI: 10.1242/dev.123.1.369
PMID: 9007256 

The zebrafish early arrest mutants
D. Kane, H. Maischein, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, P. Haffter, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, R. Kelsh, M. Mullins, J. Odenthal, R. Warga, C. Nüsslein Volhard, Development 123 (1996) 57–66.
LibreCat: https://research-explorer.ista.ac.at/record/4189
DOI: 10.1242/dev.123.1.57 
PMID: 9007229 

The zebrafish epiboly mutants
D. Kane, M. Hammerschmidt, M. Mullins, H. Maischein, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, P. Haffter, C.-P.J. Heisenberg, Y. Jiang, R. Kelsh, J. Odenthal, R. Warga, C. Nüsslein Volhard, Development 123 (1996) 47–55.
LibreCat: https://research-explorer.ista.ac.at/record/4188
DOI: 10.1242/dev.123.1.47 
PMID: 9007228 

Genes involved in forebrain development in the zebrafish, Danio rerio
C.-P.J. Heisenberg, M. Brand, Y. Jiang, R. Warga, D. Beuchle, F. Van Eeden, M. Furutani Seiki, M. Granato, P. Haffter, M. Hammerschmidt, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, C. Nüsslein Volhard, Development 123 (1996) 191–203.
LibreCat: https://research-explorer.ista.ac.at/record/4203
DOI: 10.1242/dev.123.1.191 
PMID: 9007240 

Mutations affecting development of the midline and general body shape during zebrafish embryogenesis
M. Brand, C.-P.J. Heisenberg, R. Warga, F. Pelegri, R. Karlstrom, D. Beuchle, A. Picker, Y. Jiang, M. Furutani Seiki, F. Van Eeden, M. Granato, P. Haffter, M. Hammerschmidt, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, C. Nüsslein Volhard, Development 123 (1996) 129–142.
LibreCat: https://research-explorer.ista.ac.at/record/4216
DOI: 10.1242/dev.123.1.129 
PMID: 9007235 

Mutations in zebrafish genes affecting the formation of the boundary between midbrain and hindbrain
M. Brand, C.-P.J. Heisenberg, Y. Jiang, D. Beuchle, K. Lun, M. Furutani Seiki, M. Granato, P. Haffter, M. Hammerschmidt, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, F. Van Eeden, C. Nüsslein Volhard, Development 123 (1996) 179–190.
LibreCat: https://research-explorer.ista.ac.at/record/4219
DOI: 10.1242/dev.123.1.179 
PMID: 9007239 

Mutations affecting somite formation and patterning in the zebrafish, Danio rerio
F. Van Eeden, M. Granato, U. Schach, M. Brand, M. Furutani Seiki, P. Haffter, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, R. Warga, M. Allende, E. Weinberg, C. Nüsslein Volhard, Development 123 (1996) 153–164.
LibreCat: https://research-explorer.ista.ac.at/record/4222
DOI: 10.1242/dev.123.1.153
PMID: 9007237 

Genetic analysis of fin formation in the zebrafish, Danio rerio
F. Van Eeden, M. Granato, U. Schach, M. Brand, M. Furutani Seiki, P. Haffter, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, R. Warga, C. Nüsslein Volhard, Development 123 (1996) 255–262.
LibreCat: https://research-explorer.ista.ac.at/record/4220
DOI: 10.1242/dev.123.1.255 
PMID: 9007245 

Genealogies and geography
N.H. Barton, I. Wilson, 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

Speciation: more than the sum of its parts
N.H. Barton, in:, Current Biology, 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

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

Linear phase-portrait approximations for nonlinear hybrid systems
T.A. Henzinger, H. Wong Toi, in:, R. Alur, T.A. Henzinger, E. Sontag (Eds.), Hybrid Systems III: Verification and Control, Springer, 1996, pp. 377–388.
LibreCat: https://research-explorer.ista.ac.at/record/4426
DOI: 10.1007/BFb0020961

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

State equivalences for rectangular hybrid automata
T.A. Henzinger, P. Kopke, in:, 7th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–545.
LibreCat: https://research-explorer.ista.ac.at/record/4443
DOI: 10.1007/3-540-61604-7_74

A space-efficient on-the-fly algorithm for real-time model checking
T.A. Henzinger, O. Kupferman, M. Vardi, in:, 7th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–529.
LibreCat: https://research-explorer.ista.ac.at/record/4495
DOI: 10.1007/3-540-61604-7_73

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

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

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

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

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

Hybrid Systems III: Verification and Control
R. Alur, T.A. Henzinger, E.D. Sontag, eds., Hybrid Systems III: Verification and Control, Springer, Berlinf; Heidelberg, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4612
DOI: 10.1007/BFb0020931

Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences
M. de Bono, J. Hodgkin, Genetics 144 (1996) 587–595.
LibreCat: https://research-explorer.ista.ac.at/record/6161
PMID: 8889522