Erdös, László. “Gaussian Decay of the Magnetic Eigenfunctions.”10.1007/BF02247886__Geometric and Functional Analysis, vol. 6, no. 2, Birkhäuser, 1996, pp. 231–48, doi:10.1007/BF02247886.
LibreCat: https://research-explorer.ista.ac.at/record/2726
DOI: 10.1007/BF02247886

Erdös, László. “Rayleigh-Type Isoperimetric Inequality with a Homogeneous Magnetic Field.”10.1007/BF01254348__Calculus of Variations and Partial Differential Equations, vol. 4, no. 3, Springer, 1996, pp. 283–92, doi:10.1007/BF01254348.
LibreCat: https://research-explorer.ista.ac.at/record/2725
DOI: 10.1007/BF01254348

Edelsbrunner, Herbert, et al. “Geometric Modeling in CAVE.”10.1145/3304181.3304190__Proceedings of the ACM Symposium on Virtual Reality Software and Technology, ACM, 1996, pp. 35-41 and-193–94, doi:10.1145/3304181.3304190.
LibreCat: https://research-explorer.ista.ac.at/record/3553
DOI: 10.1145/3304181.3304190

Charlesworth, Brian, and Nicholas H. Barton. “Recombination Load Associated with Selection for Increased Recombination.”10.1017/S0016672300033450__Genetical Research, vol. 67, no. 1, Cambridge University Press, 1996, pp. 27–41, doi:10.1017/S0016672300033450.
LibreCat: https://research-explorer.ista.ac.at/record/3635
DOI: 10.1017/S0016672300033450
PMID: 8919888 

Barton, Nicholas H., and James Mallet. “Natural Selection and Random Genetic Drift as Causes of Evolution on Islands.”10.1098/rstb.1996.0073__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 351, no. 1341, Royal Society of London, 1996, pp. 785–95, doi:10.1098/rstb.1996.0073.
LibreCat: https://research-explorer.ista.ac.at/record/3634
DOI: 10.1098/rstb.1996.0073
PMID: 8693020

Akkiraju, Nataraj, et al. “Viewing Geometric Protein Structures from inside a CAVE.”10.1109/38.511855__IEEE Computer Graphics and Applications, vol. 16, no. 4, IEEE, 1996, pp. 58–61, doi:10.1109/38.511855.
LibreCat: https://research-explorer.ista.ac.at/record/4024
DOI: 10.1109/38.511855

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

Schilling, Thomas, et al. “Jaw and Branchial Arch Mutants in Zebrafish I: Branchial Arches.”10.1242/dev.123.1.329__Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 329–44, doi:10.1242/dev.123.1.329.
LibreCat: https://research-explorer.ista.ac.at/record/4151
DOI: 10.1242/dev.123.1.329
PMID: 9007253

Odenthal, Jörg, et al. “Mutations Affecting the Formation of the Notochord in the Zebrafish, Danio Rerio.”10.1242/dev.123.1.103__Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 103–15, doi:10.1242/dev.123.1.103.
LibreCat: https://research-explorer.ista.ac.at/record/4166
DOI: 10.1242/dev.123.1.103
PMID: 9007233

Mullins, Mary, et al. “Genes Establishing Dorsoventral Pattern Formation in the Zebrafish Embryo: The Ventral Specifying Genes.”10.1242/dev.123.1.81__Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 81–93, doi:10.1242/dev.123.1.81.
LibreCat: https://research-explorer.ista.ac.at/record/4170
DOI: 10.1242/dev.123.1.81
PMID: 9007231

Odenthal, Jörg, et al. “Mutations Affecting Xanthophore Pigmentation in the Zebrafish, Danio Rerio.”10.1242/dev.123.1.391__Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 391–98, doi:10.1242/dev.123.1.391.
LibreCat: https://research-explorer.ista.ac.at/record/4164
DOI: 10.1242/dev.123.1.391
PMID: 9007257 

Haffter, Pascal, et al. “The Identification of Genes with Unique and Essential Functions in the Development of the Zebrafish, Danio Rerio.”10.1242/dev.123.1.1 __Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 1–36, doi:10.1242/dev.123.1.1 .
LibreCat: https://research-explorer.ista.ac.at/record/4212
DOI: 10.1242/dev.123.1.1 
PMID: 9007226 

Granato, Michael, et al. “Genes Controlling and Mediating Locomotion Behavior of the Zebrafish Embryo and Larva.”10.1242/dev.123.1.399__Development, vol. 123, Company of Biologists, 1996, pp. 399–413, doi:10.1242/dev.123.1.399.
LibreCat: https://research-explorer.ista.ac.at/record/4214
DOI: 10.1242/dev.123.1.399
PMID: 9007258

Chen, Jaunian, et al. “Mutations Affecting the Cardiovascular System and Other Internal Organs in Zebrafish.”10.1242/dev.123.1.293__Development, vol. 123, Company of Biologists, 1996, pp. 293–302, doi:10.1242/dev.123.1.293.
LibreCat: https://research-explorer.ista.ac.at/record/4215
DOI: 10.1242/dev.123.1.293
PMID: 9007249

Furutani Seiki, Makoto, et al. “Neural Degeneration Mutants in the Zebrafish, Danio Rerio.”10.1242/dev.123.1.229 __Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 229–39, doi:10.1242/dev.123.1.229 .
LibreCat: https://research-explorer.ista.ac.at/record/4213
DOI: 10.1242/dev.123.1.229 
PMID: 9007243 

Hammerschmidt, Matthias, et al. “Mutations Affecting Morphogenesis during Gastrulation and Tail Formation in the Zebrafish, Danio Rerio.”10.1242/dev.123.1.143__Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 143–51, doi:10.1242/dev.123.1.143.
LibreCat: https://research-explorer.ista.ac.at/record/4208
DOI: 10.1242/dev.123.1.143
PMID: 9007236

Haffter, Pascal, et al. “Mutations Affecting Pigmentation and Shape of the Adult Zebrafish.”10.1007/s004270050051__Development Genes and Evolution, vol. 206, no. 4, Springer, 1996, pp. 260–76, doi:10.1007/s004270050051.
LibreCat: https://research-explorer.ista.ac.at/record/4210
DOI: 10.1007/s004270050051
PMID: 24173565

Hammerschmidt, Matthias, et al. “Dino and Mercedes, Two Genes Regulating Dorsal Development in the Zebrafish Embryo.”10.1242/dev.123.1.95__Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 95–102, doi:10.1242/dev.123.1.95.
LibreCat: https://research-explorer.ista.ac.at/record/4211
DOI: 10.1242/dev.123.1.95
PMID: 9007232

Partridge, Linda, and Nicholas H. Barton. “On Measuring the Rate of Ageing.”10.1098/rspb.1996.0200__Proceedings of the Royal Society of London Series B Biological Sciences, vol. 263, no. 1375, Royal Society of London, 1996, pp. 1365–71, doi:10.1098/rspb.1996.0200.
LibreCat: https://research-explorer.ista.ac.at/record/4292
DOI: 10.1098/rspb.1996.0200

Melcher, Thorsten, et al. “Analysis of Molecular Determinants in Native AMPA Receptors.”10.1016/0197-0186(95)00077-1__Neurochemistry International, vol. 28, no. 2, Elsevier, 1996, pp. 141–44, doi:10.1016/0197-0186(95)00077-1.
LibreCat: https://research-explorer.ista.ac.at/record/3462
DOI: 10.1016/0197-0186(95)00077-1
PMID: 8719701 

Dogterom, Marileen, et al. “Influence of M-Phase Chromatin on the Anisotropy of Microtubule Asters.”doi: 10.1083/jcb.133.1.125 __Journal of Cell Biology, vol. 133, no. 1, Rockefeller University Press, 1996, pp. 125–40, doi:doi: 10.1083/jcb.133.1.125 .
LibreCat: https://research-explorer.ista.ac.at/record/3756
DOI: doi: 10.1083/jcb.133.1.125 
PMID: 8601601

Chazelle, Bernard, et al. “Lines in Space: Combinatorics and Algorithms.”10.1007/BF01955043__Algorithmica, vol. 15, no. 5, Springer, 1996, pp. 428–47, doi:10.1007/BF01955043.
LibreCat: https://research-explorer.ista.ac.at/record/4027
DOI: 10.1007/BF01955043

Edelsbrunner, Herbert, and Nimish Shah. “Incremental Topological Flipping Works for Regular Triangulations.”10.1007/BF01975867__Algorithmica, vol. 15, no. 3, Springer, 1996, pp. 223–41, doi:10.1007/BF01975867.
LibreCat: https://research-explorer.ista.ac.at/record/4026
DOI: 10.1007/BF01975867

Liang, Jie, et al. “Effects of Molecular Shape Representations on Boundary Element Method for Protein Electrostatics Computations.”10.1016/S0006-3495(96)79664-9__Fortieth Annual Meeting, vol. 70, no. 2, Part 2, Cell Press, 1996, pp. 4–4, doi:10.1016/S0006-3495(96)79664-9.
LibreCat: https://research-explorer.ista.ac.at/record/4030
DOI: 10.1016/S0006-3495(96)79664-9

Liang, Jie, et al. “Analytical Method for Molecular Shapes: Area, Volume, Cavities, Interface and Pockets.”10.1016/S0006-3495(96)79670-4__Fortieth Annual Meeting, vol. 70, no. 2, Part 2, Cell Press, 1996, pp. 7–7, doi:10.1016/S0006-3495(96)79670-4.
LibreCat: https://research-explorer.ista.ac.at/record/4031
DOI: 10.1016/S0006-3495(96)79670-4

Whitfield, Tanya, et al. “Mutations Affecting Development of the Zebrafish Inner Ear and Lateral Line.”10.1242/dev.123.1.241__Development, vol. 123, Company of Biologists, 1996, pp. 241–54, doi:10.1242/dev.123.1.241.
LibreCat: https://research-explorer.ista.ac.at/record/4142
DOI: 10.1242/dev.123.1.241
PMID: 9007244

Ransom, David, et al. “Characterization of Zebrafish Mutants with Defects in Embryonic Hematopoiesis.”10.1242/dev.123.1.311__Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 311–19, doi:10.1242/dev.123.1.311.
LibreCat: https://research-explorer.ista.ac.at/record/4154
DOI: 10.1242/dev.123.1.311
PMID: 9007251

Piotrowski, Tatjana, et al. “Jaw and Branchial Arch Mutants in Zebrafish II: Anterior Arches and Cartilage Differentiation.”10.1242/dev.123.1.345__Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 345–56, doi:10.1242/dev.123.1.345.
LibreCat: https://research-explorer.ista.ac.at/record/4156
DOI: 10.1242/dev.123.1.345
PMID: 9007254 

Jiang, Yunjin, et al. “Mutations Affecting Neurogenesis and Brain Morphology in the Zebrafish, Danio Rerio.”10.1242/dev.123.1.205__Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 205–16, doi:10.1242/dev.123.1.205.
LibreCat: https://research-explorer.ista.ac.at/record/4191
DOI: 10.1242/dev.123.1.205
PMID: 9007241

Kelsh, Robert, et al. “Zebrafish Pigmentation Mutations and the Processes of Neural Crest Development.”10.1242/dev.123.1.369__Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 369–89, doi:10.1242/dev.123.1.369.
LibreCat: https://research-explorer.ista.ac.at/record/4186
DOI: 10.1242/dev.123.1.369
PMID: 9007256 

Kane, Donald, et al. “The Zebrafish Early Arrest Mutants.”10.1242/dev.123.1.57 __Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 57–66, doi:10.1242/dev.123.1.57 .
LibreCat: https://research-explorer.ista.ac.at/record/4189
DOI: 10.1242/dev.123.1.57 
PMID: 9007229 

Kane, Donald, et al. “The Zebrafish Epiboly Mutants.”10.1242/dev.123.1.47 __Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 47–55, doi:10.1242/dev.123.1.47 .
LibreCat: https://research-explorer.ista.ac.at/record/4188
DOI: 10.1242/dev.123.1.47 
PMID: 9007228 

Heisenberg, Carl-Philipp J., et al. “Genes Involved in Forebrain Development in the Zebrafish, Danio Rerio.”10.1242/dev.123.1.191 __Development, vol. 123, Company of Biologists, 1996, pp. 191–203, doi:10.1242/dev.123.1.191 .
LibreCat: https://research-explorer.ista.ac.at/record/4203
DOI: 10.1242/dev.123.1.191 
PMID: 9007240 

Brand, Michael, et al. “Mutations Affecting Development of the Midline and General Body Shape during Zebrafish Embryogenesis.”10.1242/dev.123.1.129 __Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 129–42, doi:10.1242/dev.123.1.129 .
LibreCat: https://research-explorer.ista.ac.at/record/4216
DOI: 10.1242/dev.123.1.129 
PMID: 9007235 

Brand, Michael, et al. “Mutations in Zebrafish Genes Affecting the Formation of the Boundary between Midbrain and Hindbrain.”10.1242/dev.123.1.179 __Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 179–90, doi:10.1242/dev.123.1.179 .
LibreCat: https://research-explorer.ista.ac.at/record/4219
DOI: 10.1242/dev.123.1.179 
PMID: 9007239 

Van Eeden, Fredericus, et al. “Mutations Affecting Somite Formation and Patterning in the Zebrafish, Danio Rerio.”10.1242/dev.123.1.153__Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 153–64, doi:10.1242/dev.123.1.153.
LibreCat: https://research-explorer.ista.ac.at/record/4222
DOI: 10.1242/dev.123.1.153
PMID: 9007237 

Van Eeden, Fredericus, et al. “Genetic Analysis of Fin Formation in the Zebrafish, Danio Rerio.”10.1242/dev.123.1.255 __Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 255–62, doi:10.1242/dev.123.1.255 .
LibreCat: https://research-explorer.ista.ac.at/record/4220
DOI: 10.1242/dev.123.1.255 
PMID: 9007245 

Barton, Nicholas H., and Ian Wilson. “Genealogies and Geography.”10.1098/rstb.1995.0090__New Uses for New Phylogenies, Oxford University Press, 1996, pp. 23–56, doi:10.1098/rstb.1995.0090.
LibreCat: https://research-explorer.ista.ac.at/record/4294
DOI: 10.1098/rstb.1995.0090
PMID: 8748019

Barton, Nicholas H. “Speciation: More than the Sum of Its Parts.”10.1016/S0960-9822(02)70707-0__Current Biology, vol. 6, Cell Press, 1996, pp. 1244–46, doi:10.1016/S0960-9822(02)70707-0.
LibreCat: https://research-explorer.ista.ac.at/record/4295
DOI: 10.1016/S0960-9822(02)70707-0
PMID: 8939554

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

Henzinger, Thomas A., and Howard Wong Toi. “Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.”10.1007/BFb0020961__Hybrid Systems III: Verification and Control, edited by Rajeev Alur et al., vol. 1066, Springer, 1996, pp. 377–88, doi:10.1007/BFb0020961.
LibreCat: https://research-explorer.ista.ac.at/record/4426
DOI: 10.1007/BFb0020961

Henzinger, Thomas A., and Howard Wong Toi. “Using HyTech to Synthesize Control Parameters for a Steam Boiler.”10.1007/BFb0027241__Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, vol. 1165, Springer, 1996, pp. 265–82, doi:10.1007/BFb0027241.
LibreCat: https://research-explorer.ista.ac.at/record/4427
DOI: 10.1007/BFb0027241

Henzinger, Thomas A., and Peter Kopke. “State Equivalences for Rectangular Hybrid Automata.”10.1007/3-540-61604-7_74__7th International Conference on Concurrency Theory, vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–45, doi:10.1007/3-540-61604-7_74.
LibreCat: https://research-explorer.ista.ac.at/record/4443
DOI: 10.1007/3-540-61604-7_74

Henzinger, Thomas A., et al. “A Space-Efficient on-the-Fly Algorithm for Real-Time Model Checking.”10.1007/3-540-61604-7_73__7th International Conference on Concurrency Theory, vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–29, doi:10.1007/3-540-61604-7_73.
LibreCat: https://research-explorer.ista.ac.at/record/4495
DOI: 10.1007/3-540-61604-7_73

Henzinger, Thomas A. “The Theory of Hybrid Automata.”10.1109/LICS.1996.561342 __Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 278–92, doi:10.1109/LICS.1996.561342 .
LibreCat: https://research-explorer.ista.ac.at/record/4519
DOI: 10.1109/LICS.1996.561342 

Henzinger, Thomas A., and Rajeev Alur, editors. 10.1007/3-540-61474-5__8th International Conference on Computer Aided Verification. Vol. 1102, Springer, 1996, doi:10.1007/3-540-61474-5.
LibreCat: https://research-explorer.ista.ac.at/record/4585
DOI: 10.1007/3-540-61474-5

Alur, Rajeev, and Thomas A. Henzinger. “Reactive Modules.”10.1109/LICS.1996.561320__Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 207–18, doi:10.1109/LICS.1996.561320.
LibreCat: https://research-explorer.ista.ac.at/record/4588
DOI: 10.1109/LICS.1996.561320

Alur, Rajeev, et al. “Automatic Symbolic Verification of Embedded Systems.”10.1109/32.489079__IEEE Transactions on Software Engineering, vol. 22, no. 3, IEEE, 1996, pp. 181–201, doi:10.1109/32.489079.
LibreCat: https://research-explorer.ista.ac.at/record/4611
DOI: 10.1109/32.489079

Alur, Rajeev, et al. “The Benefits of Relaxing Punctuality.”10.1145/227595.227602__Journal of the ACM, vol. 43, no. 1, ACM, 1996, pp. 116–46, doi:10.1145/227595.227602.
LibreCat: https://research-explorer.ista.ac.at/record/4610
DOI: 10.1145/227595.227602

Alur, Rajeev, et al., editors. Hybrid Systems III: Verification and Control. Vol. 1066, Springer, 1996, doi:10.1007/BFb0020931.
LibreCat: https://research-explorer.ista.ac.at/record/4612
DOI: 10.1007/BFb0020931

de Bono, Mario, 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, 1996, pp. 587–95.
LibreCat: https://research-explorer.ista.ac.at/record/6161
PMID: 8889522