Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
71 Publications
1996 | Journal Article | IST-REx-ID: 11761
Henzinger, M. H., & Williamson, D. P. (1996). On the number of small cuts in a graph. Information Processing Letters. Elsevier. https://doi.org/10.1016/0020-0190(96)00079-8
View
| DOI
1996 | Conference Paper | IST-REx-ID: 11804
Henzinger, M. H., & Telle, J. A. (1996). Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning. In 5th Scandinavian Workshop on Algorithm Theory (Vol. 1097, pp. 16–27). Reykjavik, Iceland: Springer Nature. https://doi.org/10.1007/3-540-61422-2_117
View
| DOI
1996 | Conference Paper | IST-REx-ID: 11910
Henzinger, M. H., & Thorup, M. (1996). Improved sampling with applications to dynamic graph algorithms. In 23rd International Colloquium on Automata, Languages, and Programming (Vol. 1099, pp. 290–299). Paderborn, Germany: Springer Nature. https://doi.org/10.1007/3-540-61440-0_136
View
| DOI
1996 | Conference Paper | IST-REx-ID: 11927 | 
Henzinger, M. H., King, V., & Warnow, T. (1996). Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology. In 7th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 333–340). Atlanta, GA, United States: Society for Industrial and Applied Mathematics.
[Published Version]
View
| Files available
| Download Published Version (ext.)
1996 | Conference Paper | IST-REx-ID: 1942
Sazanov, L. A., Burrows, P., & Nixon, P. J. (1996). Presence of a large protein complex containing the ndhK gene product and possessing NADH-specific dehydrogenase activity in thylakoid membranes of higher plant chloroplasts (Vol. 2, pp. 705–708). Presented at the IPC: International Photosynthesis Congress, Kluwer.
View
1996 | Journal Article | IST-REx-ID: 1952
Bizouarn, T., Sazanov, L. A., Aubourg, S., & Jackson, J. (1996). 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. Biochimica et Biophysica Acta - Bioenergetics. Elsevier. https://doi.org/10.1016/0005-2728(95)00125-5
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 1951
Sazanov, L. A., Burrows, P., & Nixon, P. (1996). Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids. Biochemical Society Transactions. Portland Press. https://doi.org/10.1042/bst0240739
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2492
Neki, A., Ohishi, H., Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1996). Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum. Neuroscience. Elsevier. https://doi.org/10.1016/0306-4522(96)00316-8
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2564
Ding, Y., Shigemoto, R., Takada, M., Ohishi, H., Nakanishi, S., & Mizuno, N. (1996). Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19960108)364:2<290::AID-CNE8>3.0.CO;2-0
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2566
Kinoshita, A., Ohishi, H., Neki, A., Nomura, S., Shigemoto, R., Takada, M., … Mizuno, N. (1996). Presynaptic localization of a metabotropic glutamate receptor, mGluR8, in the rhinencephalic areas: A light and electron microscope study in the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(96)12489-7
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2565
Li, J., Ohishi, H., Kaneko, T., Shigemoto, R., Neki, A., Nakanishi, S., & Mizuno, N. (1996). Immunohistochemical localization of a metabotropic glutamate receptor, mGluR7, in ganglion neurons of the rat; with special reference to the presence in glutamatergic ganglion neurons. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(95)12299-0
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2562
Neki, A., Ohishi, H., Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1996). Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(95)12248-6
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2568
Kinoshita, A., Ohishi, H., Nomura, S., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1996). Presynaptic localization of a metabotropic glutamate receptor, mGluR4a, in the cerebellar cortex: A light and electron microscope study in the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(96)12519-2
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2569
Jia, H., Wang, B., Rao, Z., Shi, J., Shigemoto, R., Kaneko, T., & Mizuno, N. (1996). GABAergic synapses upon neurons expressing substance P receptors in the nucleus of the solitary tract: An immunocytochemical electron microscope study in the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(96)12654-9
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2567
Li, J., Ding, Y., Shigemoto, R., & Mizuno, N. (1996). Distribution of trigeminothalamic and spinothalamic-tract neurons showing substance P receptor-like immunoreactivity in the rat. Brain Research. Elsevier. https://doi.org/10.1016/0006-8993(96)00064-9
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2572
Hashimoto, H., Nogi, H., Mori, K., Ohishi, H., Shigemoto, R., Yamamoto, K., … Baba, A. (1996). Distribution of the mRNA for a pituitary adenylate cyclase-activating polypeptide receptor in the rat brain: An in situ hybridization study. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19960805)371:4<567::AID-CNE6>3.3.CO;2-M
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2574
Luján, R., Nusser, Z., Roberts, J., Shigemoto, R., & Somogyi, P. (1996). Perisynaptic location of metabotropic glutamate receptors mGluR1 and mGluR5 on dendrites and dendritic spines in the rat hippocampus. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.1460-9568.1996.tb01611.x
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2573
Tokuno, H., Takada, M., Kaneko, T., Shigemoto, R., & Mizuno, N. (1996). Patchy distribution of substance P receptor immunoreactivity in the developing rat striatum. Developmental Brain Research. Elsevier. https://doi.org/10.1016/0165-3806(96)00080-6
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2570
Shigemoto, R., Kulik, Á., Roberts, J., Ohishi, H., Nusser, Z., Kaneko, T., & Somogyi, P. (1996). Target-cell-specific concentration of a metabotropic glutamate receptor in the presynaptic active zone. Nature. Nature Publishing Group. https://doi.org/10.1038/381523a0
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2571
Yokoi, M., Kobayashi, K., Manabe, T., Takahashi, T., Sakaguchi, I., Katsuura, G., … Nakanishi, S. (1996). Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.273.5275.645
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2726
Erdös, L. (1996). Gaussian decay of the magnetic eigenfunctions. Geometric and Functional Analysis. Birkhäuser. https://doi.org/10.1007/BF02247886
View
| DOI
1996 | Journal Article | IST-REx-ID: 2725
Erdös, L. (1996). Rayleigh-type isoperimetric inequality with a homogeneous magnetic field. Calculus of Variations and Partial Differential Equations. Springer. https://doi.org/10.1007/BF01254348
View
| DOI
1996 | Conference Paper | IST-REx-ID: 3553
Edelsbrunner, H., Fu, P., & Quian, J. (1996). Geometric modeling in CAVE. In Proceedings of the ACM Symposium on Virtual Reality Software and Technology (pp. 35-41 and-193–194). Hong Kong: ACM. https://doi.org/10.1145/3304181.3304190
View
| DOI
1996 | Journal Article | IST-REx-ID: 3635
Charlesworth, B., & Barton, N. H. (1996). Recombination load associated with selection for increased recombination. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672300033450
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 3634
Barton, N. H., & Mallet, J. (1996). Natural selection and random genetic drift as causes of evolution on islands. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society of London. https://doi.org/10.1098/rstb.1996.0073
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4024
Akkiraju, N., Edelsbrunner, H., Fu, P., & Qian, J. (1996). Viewing geometric protein structures from inside a CAVE. IEEE Computer Graphics and Applications. IEEE. https://doi.org/10.1109/38.511855
View
| DOI
1996 | Journal Article | IST-REx-ID: 4025 |
Akkiraju, N., & Edelsbrunner, H. (1996). Triangulating the surface of a molecule. Discrete Applied Mathematics. Elsevier. https://doi.org/10.1016/S0166-218X(96)00054-6
[Published Version]
View
| DOI
| Download Published Version (ext.)
1996 | Journal Article | IST-REx-ID: 4151
Schilling, T., Piotrowski, T., Grandel, H., Brand, M., Heisenberg, C.-P. J., Jiang, Y., … Nüsslein Volhard, C. (1996). Jaw and branchial arch mutants in zebrafish I: Branchial arches. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.329
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4166 |
Odenthal, J., Haffter, P., Vogelsang, E., Brand, M., Van Eeden, F., Furutani Seiki, M., … Nüsslein Volhard, C. (1996). Mutations affecting the formation of the notochord in the zebrafish, Danio rerio. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.103
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4170
Mullins, M., Hammerschmidt, M., Kane, D., Odenthal, J., Brand, M., Van Eeden, F., … Nüsslein Volhard, C. (1996). Genes establishing dorsoventral pattern formation in the zebrafish embryo: The ventral specifying genes. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.81
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4164
Odenthal, J., Rossnagel, K., Haffter, P., Kelsh, R., Vogelsang, E., Brand, M., … Nüsslein Volhard, C. (1996). Mutations affecting xanthophore pigmentation in the zebrafish, Danio rerio. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.391
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4212
Haffter, P., Granato, M., Brand, M., Mullins, M., Hammerschmidt, M., Kane, D., … Nüsslein Volhard, C. (1996). The identification of genes with unique and essential functions in the development of the zebrafish, Danio rerio. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.1
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4214
Granato, M., Van Eeden, F., Schach, U., Trowe, T., Brand, M., Furutani Seiki, M., … Nüsslein Volhard, C. (1996). Genes controlling and mediating locomotion behavior of the zebrafish embryo and larva. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.399
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4215 |
Chen, J., Haffter, P., Odenthal, J., Vogelsang, E., Brand, M., Van Eeden, F., … Nüsslein Volhard, C. (1996). Mutations affecting the cardiovascular system and other internal organs in zebrafish. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.293
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4213
Furutani Seiki, M., Jiang, Y., Brand, M., Heisenberg, C.-P. J., Houart, C., Beuchle, D., … Nüsslein Volhard, C. (1996). Neural degeneration mutants in the zebrafish, Danio rerio. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.229
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4208
Hammerschmidt, M., Pelegri, F., Mullins, M., Kane, D., Brand, M., Van Eeden, F., … Nüsslein Volhard, C. (1996). Mutations affecting morphogenesis during gastrulation and tail formation in the zebrafish, Danio rerio. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.143
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4210
Haffter, P., Odenthal, J., Mullins, M., Lin, S., Farrell, M., Vogelsang, E., … Nüsslein Volhard, C. (1996). Mutations affecting pigmentation and shape of the adult zebrafish. Development Genes and Evolution. Springer. https://doi.org/10.1007/s004270050051
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4211
Hammerschmidt, M., Pelegri, F., Mullins, M., Kane, D., Van Eeden, F., Granato, M., … Nüsslein Volhard, C. (1996). Dino and Mercedes, two genes regulating dorsal development in the zebrafish embryo. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.95
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4292
Partridge, L., & Barton, N. H. (1996). On measuring the rate of ageing. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society of London. https://doi.org/10.1098/rspb.1996.0200
View
| DOI
| Download None (ext.)
1996 | Journal Article | IST-REx-ID: 3462
Melcher, T., Geiger, J., Jonas, P. M., & Monyer, H. (1996). Analysis of molecular determinants in native AMPA receptors. Neurochemistry International. Elsevier. https://doi.org/10.1016/0197-0186(95)00077-1
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 3756 |
Dogterom, M., Felix, M., Guet, C. C., & Leibler, S. (1996). Influence of M-phase chromatin on the anisotropy of microtubule asters. Journal of Cell Biology. Rockefeller University Press. https://doi.org/doi: 10.1083/jcb.133.1.125
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4027
Chazelle, B., Edelsbrunner, H., Guibas, L., Sharir, M., & Stolfi, J. (1996). Lines in space: Combinatorics and algorithms. Algorithmica. Springer. https://doi.org/10.1007/BF01955043
View
| DOI
1996 | Journal Article | IST-REx-ID: 4026
Edelsbrunner, H., & Shah, N. (1996). Incremental topological flipping works for regular triangulations. Algorithmica. Springer. https://doi.org/10.1007/BF01975867
View
| DOI
1996 | Conference Poster | IST-REx-ID: 4030 |
Liang, J., Edelsbrunner, H., & Subramaniam, S. (1996). Effects of molecular shape representations on boundary element method for protein electrostatics computations. Fortieth Annual Meeting (Vol. 70, pp. A224–A224). Cell Press. https://doi.org/10.1016/S0006-3495(96)79664-9
View
| DOI
| Download None (ext.)
1996 | Conference Poster | IST-REx-ID: 4031 |
Liang, J., Edelsbrunner, H., Pamidghantam, S., & Subramaniam, S. (1996). Analytical method for molecular shapes: Area, volume, cavities, interface and pockets. Fortieth Annual Meeting (Vol. 70, pp. A377–A377). Cell Press. https://doi.org/10.1016/S0006-3495(96)79670-4
View
| DOI
| Download None (ext.)
1996 | Journal Article | IST-REx-ID: 4142
Whitfield, T., Granato, M., Van Eeden, F., Schach, U., Brand, M., Furutani Seiki, M., … Nüsslein Volhard, C. (1996). Mutations affecting development of the zebrafish inner ear and lateral line. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.241
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4154
Ransom, D., Haffter, P., Odenthal, J., Brownlie, A., Vogelsang, E., Kelsh, R., … Nüsslein Volhard, C. (1996). Characterization of zebrafish mutants with defects in embryonic hematopoiesis. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.311
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4156
Piotrowski, T., Schilling, T., Brand, M., Jiang, Y., Heisenberg, C.-P. J., Beuchle, D., … Nüsslein Volhard, C. (1996). Jaw and branchial arch mutants in zebrafish II: Anterior arches and cartilage differentiation. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.345
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4191
Jiang, Y., Brand, M., Heisenberg, C.-P. J., Beuchle, D., Furutani Seiki, M., Kelsh, R., … Nüsslein Volhard, C. (1996). Mutations affecting neurogenesis and brain morphology in the zebrafish, Danio rerio. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.205
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4186
Kelsh, R., Brand, M., Jiang, Y., Heisenberg, C.-P. J., Lin, S., Haffter, P., … Nüsslein Volhard, C. (1996). Zebrafish pigmentation mutations and the processes of neural crest development. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.369
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4189
Kane, D., Maischein, H., Brand, M., Van Eeden, F., Furutani Seiki, M., Granato, M., … Nüsslein Volhard, C. (1996). The zebrafish early arrest mutants. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.57
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4188
Kane, D., Hammerschmidt, M., Mullins, M., Maischein, H., Brand, M., Van Eeden, F., … Nüsslein Volhard, C. (1996). The zebrafish epiboly mutants. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.47
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4203
Heisenberg, C.-P. J., Brand, M., Jiang, Y., Warga, R., Beuchle, D., Van Eeden, F., … Nüsslein Volhard, C. (1996). Genes involved in forebrain development in the zebrafish, Danio rerio. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.191
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4216 |
Brand, M., Heisenberg, C.-P. J., Warga, R., Pelegri, F., Karlstrom, R., Beuchle, D., … Nüsslein Volhard, C. (1996). Mutations affecting development of the midline and general body shape during zebrafish embryogenesis. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.129
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4219 |
Brand, M., Heisenberg, C.-P. J., Jiang, Y., Beuchle, D., Lun, K., Furutani Seiki, M., … Nüsslein Volhard, C. (1996). Mutations in zebrafish genes affecting the formation of the boundary between midbrain and hindbrain. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.179
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4222 |
Van Eeden, F., Granato, M., Schach, U., Brand, M., Furutani Seiki, M., Haffter, P., … Nüsslein Volhard, C. (1996). Mutations affecting somite formation and patterning in the zebrafish, Danio rerio. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.153
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4220 |
Van Eeden, F., Granato, M., Schach, U., Brand, M., Furutani Seiki, M., Haffter, P., … Nüsslein Volhard, C. (1996). Genetic analysis of fin formation in the zebrafish, Danio rerio. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.255
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 | Book Chapter | IST-REx-ID: 4294
Barton, N. H., & Wilson, I. (1996). Genealogies and geography. In New uses for new phylogenies (pp. 23–56). Oxford University Press. https://doi.org/10.1098/rstb.1995.0090
View
| DOI
| PubMed | Europe PMC
1996 | Book Chapter | IST-REx-ID: 4295 |
Barton, N. H. (1996). Speciation: more than the sum of its parts. In Current Biology (Vol. 6, pp. 1244–1246). Cell Press. https://doi.org/10.1016/S0960-9822(02)70707-0
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 | Thesis | IST-REx-ID: 4419
Kopke, P. (1996). The Theory of Rectangular Hybrid Automata. Cornell University.
View
1996 | Conference Paper | IST-REx-ID: 4426
Henzinger, T. A., & Wong Toi, H. (1996). Linear phase-portrait approximations for nonlinear hybrid systems. In R. Alur, T. A. Henzinger, & E. Sontag (Eds.), Hybrid Systems III: Verification and Control (Vol. 1066, pp. 377–388). Springer. https://doi.org/10.1007/BFb0020961
View
| DOI
| Download None (ext.)
1996 | Book Chapter | IST-REx-ID: 4427
Henzinger, T. A., & 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 (Vol. 1165, pp. 265–282). Springer. https://doi.org/10.1007/BFb0027241
View
| DOI
| Download None (ext.)
1996 | Conference Paper | IST-REx-ID: 4443
Henzinger, T. A., & Kopke, P. (1996). State equivalences for rectangular hybrid automata. In 7th International Conference on Concurrency Theory (Vol. 1119, pp. 530–545). Pisa, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-61604-7_74
View
| DOI
| Download None (ext.)
1996 | Conference Paper | IST-REx-ID: 4495
Henzinger, T. A., Kupferman, O., & Vardi, M. (1996). A space-efficient on-the-fly algorithm for real-time model checking. In 7th International Conference on Concurrency Theory (Vol. 1119, pp. 514–529). Pisa, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-61604-7_73
View
| DOI
| Download None (ext.)
1996 | Conference Paper | IST-REx-ID: 4519
Henzinger, T. A. (1996). The theory of hybrid automata. In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (pp. 278–292). New Brunswick, NJ, United States of America: IEEE. https://doi.org/10.1109/LICS.1996.561342
View
| DOI
| Download None (ext.)
1996 | Conference (Editor) | IST-REx-ID: 4585
Henzinger, T. A., & Alur, R. (Eds.). (1996). 8th International Conference on Computer Aided Verification (Vol. 1102). Presented at the CAV: Computer Aided Verification, New Brunswick, NJ, United States of America: Springer. https://doi.org/10.1007/3-540-61474-5
View
| DOI
| Download None (ext.)
1996 | Conference Paper | IST-REx-ID: 4588
Alur, R., & Henzinger, T. A. (1996). Reactive modules. In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (pp. 207–218). New Brunswick, NJ, USA: IEEE. https://doi.org/10.1109/LICS.1996.561320
View
| DOI
| Download None (ext.)
1996 | Journal Article | IST-REx-ID: 4611 |
Alur, R., Henzinger, T. A., & Ho, P. (1996). Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. IEEE. https://doi.org/10.1109/32.489079
[Published Version]
View
| DOI
| Download Published Version (ext.)
1996 | Journal Article | IST-REx-ID: 4610
Alur, R., Feder, T., & Henzinger, T. A. (1996). The benefits of relaxing punctuality. Journal of the ACM. ACM. https://doi.org/10.1145/227595.227602
View
| DOI
| Download None (ext.)
1996 | Book (Editor) | IST-REx-ID: 4612
Alur, R., Henzinger, T. A., & Sontag, E. D. (Eds.). (1996). Hybrid Systems III: Verification and Control (Vol. 1066). Berlin ; Heidelberg: Springer. https://doi.org/10.1007/BFb0020931
View
| DOI
1996 | Journal Article | IST-REx-ID: 6161 |
de Bono, M., & Hodgkin, J. (1996). Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences. Genetics. Genetics Society of America.
[Published Version]
View
| Download Published Version (ext.)
| PubMed | Europe PMC