Estimation of the H+/H- ratio of the reaction catalysed by the nicotinamide nucleotide transhydrogenase in chromatophores from over-expressing strains of Rhodospirillum rubrum and in liposomes inlaid with the purified bovine enzyme
T. Bizouarn, L.A. Sazanov, S. Aubourg, J. Jackson, Biochimica et Biophysica Acta - Bioenergetics 1273 (1996) 4–12.
LibreCat: https://research-explorer.ista.ac.at/record/1952
DOI: 10.1016/0005-2728(95)00125-5
PMID: 8573594 

Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids
L.A. Sazanov, P. Burrows, P. Nixon, Biochemical Society Transactions 24 (1996) 739–743.
LibreCat: https://research-explorer.ista.ac.at/record/1951
DOI: 10.1042/bst0240739
PMID: 8878837

Metabotropic glutamate receptors mGlu and mGlu are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum
A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 75 (1996) 815–826.
LibreCat: https://research-explorer.ista.ac.at/record/2492
DOI: 10.1016/0306-4522(96)00316-8
PMID: 8951875

Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat
Y. Ding, R. Shigemoto, M. Takada, H. Ohishi, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 364 (1996) 290–310.
LibreCat: https://research-explorer.ista.ac.at/record/2564
DOI: 10.1002/(SICI)1096-9861(19960108)364:2&lt;290::AID-CNE8&gt;3.0.CO;2-0
PMID: 8788251 

Presynaptic localization of a metabotropic glutamate receptor, mGlu, in the rhinencephalic areas: A light and electron microscope study in the rat
A. Kinoshita, H. Ohishi, A. Neki, S. Nomura, R. Shigemoto, M. Takada, S. Nakanishi, N. Mizuno, Neuroscience Letters 207 (1996) 61–64.
LibreCat: https://research-explorer.ista.ac.at/record/2566
DOI: 10.1016/0304-3940(96)12489-7
PMID: 8710211 

Immunohistochemical localization of a metabotropic glutamate receptor, mGlu, in ganglion neurons of the rat; with special reference to the presence in glutamatergic ganglion neurons
J. Li, H. Ohishi, T. Kaneko, R. Shigemoto, A. Neki, S. Nakanishi, N. Mizuno, Neuroscience Letters 204 (1996) 9–12.
LibreCat: https://research-explorer.ista.ac.at/record/2565
DOI: 10.1016/0304-3940(95)12299-0
PMID: 8929965 

Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGlu, in the rat brain: An immunohistochemical study with a monoclonal antibody
A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience Letters 202 (1996) 197–200.
LibreCat: https://research-explorer.ista.ac.at/record/2562
DOI: 10.1016/0304-3940(95)12248-6
PMID: 8848265

Presynaptic localization of a metabotropic glutamate receptor, mGlua, in the cerebellar cortex: A light and electron microscope study in the rat
A. Kinoshita, H. Ohishi, S. Nomura, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience Letters 207 (1996) 199–202.
LibreCat: https://research-explorer.ista.ac.at/record/2568
DOI: 10.1016/0304-3940(96)12519-2
PMID: 8728484

GABAergic synapses upon neurons expressing substance P receptors in the nucleus of the solitary tract: An immunocytochemical electron microscope study in the rat
H. Jia, B. Wang, Z. Rao, J. Shi, R. Shigemoto, T. Kaneko, N. Mizuno, Neuroscience Letters 210 (1996) 49–52.
LibreCat: https://research-explorer.ista.ac.at/record/2569
DOI: 10.1016/0304-3940(96)12654-9
PMID: 8762189

Distribution of trigeminothalamic and spinothalamic-tract neurons showing substance P receptor-like immunoreactivity in the rat
J. Li, Y. Ding, R. Shigemoto, N. Mizuno, Brain Research 719 (1996) 207–212.
LibreCat: https://research-explorer.ista.ac.at/record/2567
DOI: 10.1016/0006-8993(96)00064-9
PMID: 8782883 

Distribution of the mRNA for a pituitary adenylate cyclase-activating polypeptide receptor in the rat brain: An in situ hybridization study
H. Hashimoto, H. Nogi, K. Mori, H. Ohishi, R. Shigemoto, K. Yamamoto, T. Matsuda, N. Mizuno, S. Nagata, A. Baba, Journal of Comparative Neurology 371 (1996) 567–577.
LibreCat: https://research-explorer.ista.ac.at/record/2572
DOI: 10.1002/(SICI)1096-9861(19960805)371:4&lt;567::AID-CNE6&gt;3.3.CO;2-M
PMID: 8841910

 Perisynaptic location of metabotropic glutamate receptors mGlu and mGlu on dendrites and dendritic spines in the rat hippocampus
R. Luján, Z. Nusser, J. Roberts, R. Shigemoto, P. Somogyi, European Journal of Neuroscience 8 (1996) 1488–1500.
LibreCat: https://research-explorer.ista.ac.at/record/2574
DOI: 10.1111/j.1460-9568.1996.tb01611.x
PMID: 8758956 

Patchy distribution of substance P receptor immunoreactivity in the developing rat striatum
H. Tokuno, M. Takada, T. Kaneko, R. Shigemoto, N. Mizuno, Developmental Brain Research 95 (1996) 107–117.
LibreCat: https://research-explorer.ista.ac.at/record/2573
DOI: 10.1016/0165-3806(96)00080-6
PMID: 8873981 

Target-cell-specific concentration of a metabotropic glutamate receptor in the presynaptic active zone
R. Shigemoto, Á. Kulik, J. Roberts, H. Ohishi, Z. Nusser, T. Kaneko, P. Somogyi, Nature 381 (1996) 523–525.
LibreCat: https://research-explorer.ista.ac.at/record/2570
DOI: 10.1038/381523a0
PMID: 8632825 

Impairment of hippocampal mossy fiber LTD in mice lacking mGlu
M. Yokoi, K. Kobayashi, T. Manabe, T. Takahashi, I. Sakaguchi, G. Katsuura, R. Shigemoto, H. Ohishi, S. Nomura, K. Nakamura, K. Nakao, M. Katsuki, S. Nakanishi, Science 273 (1996) 645–647.
LibreCat: https://research-explorer.ista.ac.at/record/2571
DOI: 10.1126/science.273.5275.645
PMID: 8662555 

Gaussian decay of the magnetic eigenfunctions
L. Erdös, Geometric and Functional Analysis 6 (1996) 231–248.
LibreCat: https://research-explorer.ista.ac.at/record/2726
DOI: 10.1007/BF02247886

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

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

Recombination load associated with selection for increased recombination
B. Charlesworth, N.H. Barton, Genetical Research 67 (1996) 27–41.
LibreCat: https://research-explorer.ista.ac.at/record/3635
DOI: 10.1017/S0016672300033450
PMID: 8919888 

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

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

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

Jaw and branchial arch mutants in zebrafish I: Branchial arches
T. Schilling, T. Piotrowski, H. Grandel, M. Brand, C.-P.J. Heisenberg, Y. Jiang, D. Beuchle, M. Hammerschmidt, D. Kane, M. Mullins, F. Van Eeden, R. Kelsh, M. Furutani Seiki, M. Granato, P. Haffter, J. Odenthal, R. Warga, T. Trowe, C. Nüsslein Volhard, Development 123 (1996) 329–344.
LibreCat: https://research-explorer.ista.ac.at/record/4151
DOI: 10.1242/dev.123.1.329
PMID: 9007253

Mutations affecting the formation of the notochord in the zebrafish, Danio rerio
J. Odenthal, P. Haffter, 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, R. Warga, M. Allende, E. Weinberg, C. Nüsslein Volhard, Development 123 (1996) 103–115.
LibreCat: https://research-explorer.ista.ac.at/record/4166
DOI: 10.1242/dev.123.1.103
PMID: 9007233

Genes establishing dorsoventral pattern formation in the zebrafish embryo: The ventral specifying genes
M. Mullins, M. Hammerschmidt, D. Kane, J. Odenthal, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, P. Haffter, C.-P.J. Heisenberg, Y. Jiang, R. Kelsh, C. Nüsslein Volhard, Development 123 (1996) 81–93.
LibreCat: https://research-explorer.ista.ac.at/record/4170
DOI: 10.1242/dev.123.1.81
PMID: 9007231

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