L. Erdös, “Gaussian decay of the magnetic eigenfunctions,” Geometric and Functional Analysis, vol. 6, no. 2. Birkhäuser, pp. 231–248, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/2726
DOI: 10.1007/BF02247886

L. Erdös, “Rayleigh-type isoperimetric inequality with a homogeneous magnetic field,” Calculus of Variations and Partial Differential Equations, vol. 4, no. 3. Springer, pp. 283–292, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/2725
DOI: 10.1007/BF01254348

H. Edelsbrunner, P. Fu, and J. Quian, “Geometric modeling in CAVE,” in Proceedings of the ACM Symposium on Virtual Reality Software and Technology, Hong Kong, 1996, pp. 35-41 and-193–194.
LibreCat: https://research-explorer.ista.ac.at/record/3553
DOI: 10.1145/3304181.3304190

B. Charlesworth and N. H. Barton, “Recombination load associated with selection for increased recombination,” Genetical Research, vol. 67, no. 1. Cambridge University Press, pp. 27–41, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/3635
DOI: 10.1017/S0016672300033450
PMID: 8919888 

N. H. Barton and J. Mallet, “Natural selection and random genetic drift as causes of evolution on islands,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 351, no. 1341. Royal Society of London, pp. 785–795, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/3634
DOI: 10.1098/rstb.1996.0073
PMID: 8693020

N. Akkiraju, H. Edelsbrunner, P. Fu, and J. Qian, “Viewing geometric protein structures from inside a CAVE,” IEEE Computer Graphics and Applications, vol. 16, no. 4. IEEE, pp. 58–61, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4024
DOI: 10.1109/38.511855

N. Akkiraju and H. Edelsbrunner, “Triangulating the surface of a molecule,” Discrete Applied Mathematics, vol. 71, no. 1–3. Elsevier, pp. 5–22, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4025
DOI: 10.1016/S0166-218X(96)00054-6

T. Schilling et al., “Jaw and branchial arch mutants in zebrafish I: Branchial arches,” Development, vol. 123, no. 1. Company of Biologists, pp. 329–344, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4151
DOI: 10.1242/dev.123.1.329
PMID: 9007253

J. Odenthal et al., “Mutations affecting the formation of the notochord in the zebrafish, Danio rerio,” Development, vol. 123, no. 1. Company of Biologists, pp. 103–115, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4166
DOI: 10.1242/dev.123.1.103
PMID: 9007233

M. Mullins et al., “Genes establishing dorsoventral pattern formation in the zebrafish embryo: The ventral specifying genes,” Development, vol. 123, no. 1. Company of Biologists, pp. 81–93, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4170
DOI: 10.1242/dev.123.1.81
PMID: 9007231

J. Odenthal et al., “Mutations affecting xanthophore pigmentation in the zebrafish, Danio rerio,” Development, vol. 123, no. 1. Company of Biologists, pp. 391–398, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4164
DOI: 10.1242/dev.123.1.391
PMID: 9007257 

P. Haffter et al., “The identification of genes with unique and essential functions in the development of the zebrafish, Danio rerio,” Development, vol. 123, no. 1. Company of Biologists, pp. 1–36, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4212
DOI: 10.1242/dev.123.1.1 
PMID: 9007226 

M. Granato et al., “Genes controlling and mediating locomotion behavior of the zebrafish embryo and larva,” Development, vol. 123. Company of Biologists, pp. 399–413, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4214
DOI: 10.1242/dev.123.1.399
PMID: 9007258

J. Chen et al., “Mutations affecting the cardiovascular system and other internal organs in zebrafish,” Development, vol. 123. Company of Biologists, pp. 293–302, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4215
DOI: 10.1242/dev.123.1.293
PMID: 9007249

M. Furutani Seiki et al., “Neural degeneration mutants in the zebrafish, Danio rerio,” Development, vol. 123, no. 1. Company of Biologists, pp. 229–239, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4213
DOI: 10.1242/dev.123.1.229 
PMID: 9007243 

M. Hammerschmidt et al., “Mutations affecting morphogenesis during gastrulation and tail formation in the zebrafish, Danio rerio,” Development, vol. 123, no. 1. Company of Biologists, pp. 143–151, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4208
DOI: 10.1242/dev.123.1.143
PMID: 9007236

P. Haffter et al., “Mutations affecting pigmentation and shape of the adult zebrafish,” Development Genes and Evolution, vol. 206, no. 4. Springer, pp. 260–276, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4210
DOI: 10.1007/s004270050051
PMID: 24173565

M. Hammerschmidt et al., “Dino and Mercedes, two genes regulating dorsal development in the zebrafish embryo,” Development, vol. 123, no. 1. Company of Biologists, pp. 95–102, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4211
DOI: 10.1242/dev.123.1.95
PMID: 9007232

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

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

M. Dogterom, M. Felix, C. C. Guet, and S. Leibler, “Influence of M-phase chromatin on the anisotropy of microtubule asters,” Journal of Cell Biology, vol. 133, no. 1. Rockefeller University Press, pp. 125–140, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/3756
DOI: doi: 10.1083/jcb.133.1.125 
PMID: 8601601

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

H. Edelsbrunner and N. Shah, “Incremental topological flipping works for regular triangulations,” Algorithmica, vol. 15, no. 3. Springer, pp. 223–241, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4026
DOI: 10.1007/BF01975867

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

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

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 

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

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

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

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

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

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