Please note that IST 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.

5484 Publications


1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger TA, Sastry S. 1998. HSCC: Hybrid Systems—Computation and Control, Springer,p.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4492
Henzinger TA, Kopke P, Puri A, Varaiya P. 1998. What’s decidable about hybrid automata? Journal of Computer and System Sciences. 57(1), 94–124.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4606
Alur R, Henzinger TA, Rajamani S. 1998. Symbolic exploration of transition hierarchies. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1384. 330–344.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 1449   OA
Hausel T. 1998. Compactification of moduli of Higgs bundles. Journal fur die Reine und Angewandte Mathematik. 1998(503), 169–192.
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 1956
Sazanov LA, Burrows P, Nixon P. 1998. The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes. PNAS. 95(3), 1319–1324.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2586
Watanabe D, Inokawa H, Hashimoto K, Suzuki N, Kano M, Shigemoto R, Hirano T, Toyama K, Kaneko S, Yokoi M, Moriyoshi K, Suzuki M, Kobayashi K, Nagatsu T, Kreitman R, Pastan I, Nakanishi S. 1998. Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination. Cell. 95(1), 17–27.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3628
West S, Peters A, Barton NH. 1998. Testing for epistasis between deleterious mutations. Genetics. 149(1), 435–444.
View
 

1998 | Journal Article | IST-REx-ID: 3527
Csicsvari JL, Czurkó A, Hirase H, Buzsáki G. 1998. Monosynaptic interactions between CA1 Pyramidal cells and interneuron in the behaving rat. European Journal of Neuroscience. 10(Suppl. 10), 2553–2553.
View
 

1998 | Journal Article | IST-REx-ID: 3488
Martina M, Schultz J, Ehmke H, Monyer H, Jonas PM. 1998. Functional and molecular differences between voltage-gated K+ channels of fast-spiking interneurons and pyramidal neurons of rat hippocampus. Journal of Neuroscience. 18(20), 8111–8125.
View | Download (ext.)
 

1998 | Book Chapter | IST-REx-ID: 4020
Edelsbrunner H. 1998. Geometry for modeling biomolecules. Robotics: The Algorithmic Perspective. 265–277.
View
 

1998 | Journal Article | IST-REx-ID: 3926
Cremer S, Greenfield M. 1998. Partitioning the components of sexual selection: attractiveness and agonistic behaviour in male wax moths, Achroia grisella (Lepidoptera, Pyralidae). Ethology. 104(1), 1–9.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4013
Edelsbrunner H, Facello M, Liang J. 1998. On the definition and the construction of pockets in macromolecules. Discrete Applied Mathematics. 88(1–3), 83–102.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4429
Henzinger TA, Rusu V. 1998. Reachability verification for hybrid automata. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 1386. 190–204.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4486
Henzinger TA, Qadeer S, Rajamani S, Tasiran S. 1998. An assume-guarantee rule for checking simulation. FMCAD: Formal Methods in Computer-Aided Design, LNCS, vol. 1522. 421–432.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 6160
de Bono M, Bargmann CI. 1998. Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans. Cell. 94(5), 679–689.
View | DOI | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 2575
Li H, Ohishi H, Kinoshita A, Shigemoto R, Nomura S, Mizuno N. 1997. Localization of a metabotropic glutamate receptor, mGluR7, in axon terminals of presumed nociceptive, primary afferent fibers in the superficial layers of the spinal dorsal horn: An electron microscope study in the rat. Neuroscience Letters. 223(3), 153–156.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2582
Shigemoto R, Kinoshita A, Wada E, Nomura S, Ohishi H, Takada M, Flor P, Neki A, Abe T, Nakanishi S, Mizuno N. 1997. Differential presynaptic localization of metabotropic glutamate receptor subtypes in the rat hippocampus. Journal of Neuroscience. 17(19), 7503–7522.
View
 

1997 | Journal Article | IST-REx-ID: 2493
Acsády L, Katona I, Gulyás A, Shigemoto R, Freund T. 1997. Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus. Journal of Comparative Neurology. 378(3), 320–336.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2727
Erdös L. 1997. Dia- and paramagnetism for nonhomogeneous magnetic fields. Journal of Mathematical Physics. 38(3), 1289–1317.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3631
Kawecki T, Barton NH, Fry J. 1997. Mutational collapse of fitness in marginal habitats and the evolution of ecological specialisation. Journal of Evolutionary Biology. 10(3), 407–430.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3484
Geiger J, Lubke J, Roth A, Frotscher M, Jonas PM. 1997. Submillisecond AMPA receptor-mediated signaling at a principal neuron-interneuron synapse. Neuron. 18(6), 1009–1023.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4021
Edelsbrunner H, Waupotitsch R. 1997. A combinatorial approach to cartograms. Computational Geometry: Theory and Applications. 7(5–6), 343–360.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4285
Otto S, Barton NH. 1997. The evolution of recombination: Removing the limits to natural selection. Genetics. 147(2), 879–906.
View
 

1997 | Conference Paper | IST-REx-ID: 4494
Henzinger TA, Ho P, Wong Toi H. 1997. HyTech: A model checker for hybrid systems. CAV: Computer Aided Verification, LNCS, vol. 1254. 460–463.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4583
Alur R, Henzinger TA. 1997. Modularity for timed and hybrid systems. CONCUR: Concurrency Theory, LNCS, vol. 1243. 74–88.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4608
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. 1997. Partial-order reduction in symbolic state-space exploration. CAV: Computer Aided Verification, LNCS, vol. 1254. 340–351.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2576
Li J, Kaneko T, Shigemoto R, Mizuno N. 1997. Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat. Journal of Comparative Neurology. 378(4), 508–521.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3632
Kirkpatrick M, Barton NH. 1997. The strength of indirect selection on female mating preferences. PNAS. 94(4), 1282–1286.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3485
Martina M, Jonas PM. 1997. Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus. Journal of Physiology. 505(3), 593–603.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4022
Edelsbrunner H, Valtr P, Welzl E. 1997. Cutting dense point sets in half. Discrete & Computational Geometry. 17(3), 243–255.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4286
Piálek J, Barton NH. 1997. The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes. Genetics. 145(2), 493–504.
View
 

1997 | Book Chapter | IST-REx-ID: 4293
Barton NH, Whitlock M. 1997. The evolution of metapopulations. Metapopulation Biology. 183–210.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4438
Henzinger TA, Kupferman O. 1997. From quantity to quality. HART: Hybrid and Real-Time Systems, LNCS, vol. 1201. 48–62.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4584
Alur R, Henzinger TA. 1997. Real-time system = discrete system + clock variables. Software Tools For Technology Transfer. 1(1–2), 86–109.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
Alur R, Henzinger TA, Kupferman O. 1997. Alternating-time temporal logic. FOCS: Foundations of Computer Science 100–109.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2577
Tone Y, Inoue H, Hara S, Yokoyama C, Hatae T, Oida H, Narumiya S, Shigemoto R, Yukawa S, Tanabe T. 1997. The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase. European Journal of Cell Biology. 72(3), 268–277.
View
 

1997 | Journal Article | IST-REx-ID: 2729
Erdös L, Solovej J. 1997. Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates. Communications in Mathematical Physics. 188(3), 599–656.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3633
Kirkpatrick M, Barton NH. 1997. Evolution of a species’ range. American Naturalist. 150(1), 1–23.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3486
Bischofberger J, Jonas PM. 1997. Action potential propagation into the presynaptic dendrites of rat mitral cells. Journal of Physiology. 504(Pt 2), 359–365.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4023
Edelsbrunner H, Ramos E. 1997. Inclusion-exclusion complexes for pseudodisk collections. Discrete & Computational Geometry. 17(3), 287–306.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4174
Masai I, Heisenberg C, Barth KA, Macdonald R, Adamek S, Wilson S. 1997. Floating head and masterblind regulate neuronal patterning in the roof of the forebrain. Neuron. 18(1), 43–57.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4201
Heisenberg C, Nüsslein Volhard C. 1997. The function of silberblick in the positioning of the eye anlage in the zebrafish embryo. Developmental Biology. 184(1), 85–94.
View | DOI
 

1997 | Book Review | IST-REx-ID: 4287
Coyne J, Barton NH, Turelli M. 1997. Perspective: A critique of Sewall Wright’s shifting balance theory of evolutionight’s shifting balance theory of evolution. Evolution; International Journal of Organic Evolution. 51(3), 643–671.
View | Download (ext.)
 

1997 | Conference Paper | IST-REx-ID: 4441
Henzinger TA, Kopke P. 1997. Discrete-time control for rectangular hybrid automata. ICALP: Automata, Languages and Programming, LNCS, vol. 1256. 582–593.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4496
Henzinger TA, Kupferman O, Rajamani S. 1997. Fair simulation. CONCUR: Concurrency Theory, LNCS, vol. 1243. 273–287.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4605
Alur R, Henzinger TA, Wong Toi H. 1997. Symbolic analysis of hybrid systems. CDC: Decision and Control 702–707.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2578
Seybold V, Grković I, Portbury A, Ding Y, Shigemoto R, Mizuno N, Furness J, Southwell B. 1997. Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord. Journal of Comparative Neurology. 381(4), 439–448.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2580
Luján R, Roberts J, Shigemoto R, Ohishi H, Somogyi P. 1997. Differential plasma membrane distribution of metabotropic glutamate receptors mGluR1α, mGluR2 and mGluR5, relative to neurotransmitter release sites. Journal of Chemical Neuroanatomy. 13(4), 219–241.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3482
Götz T, Kraushaar U, Geiger J, Lubke J, Berger T, Jonas PM. 1997. Functional properties of AMPA and NMDA receptors expressed in identified types of basal ganglia neurons. Journal of Neuroscience. 17(1), 204–215.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 4288   OA
Fowler K, Semple C, Barton NH, Partridge L. 1997. Genetic variation for total fitness in Drosophila melanogaster. Proceedings of the Royal Society of London Series B Biological Sciences. 264(1379), 191–199.
View | DOI | Download (ext.)
 

1997 | Book Review | IST-REx-ID: 4290
Barton NH. 1997. Natural hybridization and evolution. Genetical Research. 70(2), 178–180.
View
 

1997 | Journal Article | IST-REx-ID: 2579
Mann P, Southwell B, Ding Y, Shigemoto R, Mizuno N, Furness J. 1997. Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract. Cell and Tissue Research. 289(1), 1–9.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2581
Lee T, Kaneko T, Shigemoto R, Nomura S, Mizuno N. 1997. Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat. Journal of Comparative Neurology. 388(2), 250–264.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3630
Whitlock M, Barton NH. 1997. The effective size of a subdivided population. Genetics. 146(1), 427–441.
View
 

1997 | Journal Article | IST-REx-ID: 3541
Bragin A, Csicsvari JL, Penttonen M, Buzsáki G. 1997. Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies. Neuroscience. 76(4), 1187–1203.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3483
Ceranik K, Bender R, Geiger J, Monyer H, Jonas PM, Frotscher M, Lubke J. 1997. A novel type of GABAergic interneuron connecting the input and the output regions of the hippocampus. Journal of Neuroscience. 17(14), 5380–5394.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 4018
Edelsbrunner H, Shah N. 1997. Triangulating topological spaces. International Journal of Computational Geometry and Applications. 7(4), 365–378.
View | DOI
 

1997 | Book Chapter | IST-REx-ID: 4284
Barton NH. 1997. Natural selection and random genetic drift as causes of evolution on islands. Evolution on islands. 102–123.
View
 

1997 | Book Review | IST-REx-ID: 4289
Barton NH. 1997. Population genetics: A new apportionment of human diversity. Current Biology. 7(12), 757–758.
View | DOI
 

1997 | Book Review | IST-REx-ID: 4291
Barton NH. 1997. The ccological detective: Confronting models with data. Genetical Research. 70(2), 180–181.
View
 

1997 | Journal Article | IST-REx-ID: 4607
Alur R, Courcoubetis C, Henzinger TA. 1997. Computing accumulated delays in real-time systems. Formal Methods in System Design. 11(2), 137–156.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4493
Henzinger TA, Ho P, Wong Toi H. 1997. HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. 1(1–2), 110–122.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4520
Gupta V, Henzinger TA, Jagadeesan R. 1997. Robust timed automata. HART: Hybrid and Real-Time Systems, LNCS, vol. 1201. 331–345.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 1952
Bizouarn T, Sazanov LA, 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. 1273(1), 4–12.
View | DOI
 

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. 207(3), 199–202.
View | DOI
 

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. 381(6582), 523–525.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3756
Dogterom M, Felix M, Guet CC, Leibler S. 1996. Influence of M-phase chromatin on the anisotropy of microtubule asters. Journal of Cell Biology. 133(1), 125–140.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4026
Edelsbrunner H, Shah N. 1996. Incremental topological flipping works for regular triangulations. Algorithmica. 15(3), 223–241.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4189
Kane D, Maischein H, Brand M, Van Eeden F, Furutani Seiki M, Granato M, Haffter P, Hammerschmidt M, Heisenberg C, Jiang Y, Kelsh R, Mullins M, Odenthal J, Warga R, Nüsslein Volhard C. 1996. The zebrafish early arrest mutants. Development. 123, 57–66.
View
 

1996 | Journal Article | IST-REx-ID: 4191
Jiang Y, Brand M, Heisenberg C, Beuchle D, Furutani Seiki M, Kelsh R, Warga R, Granato M, Haffter P, Hammerschmidt M, Kane D, Mullins M, Odenthal J, Van Eeden F, Nüsslein Volhard C. 1996. Mutations affecting neurogenesis and brain morphology in the zebrafish, Danio rerio. Development. 123, 205–216.
View
 

1996 | Journal Article | IST-REx-ID: 4211
Hammerschmidt M, Pelegri F, Mullins M, Kane D, Van Eeden F, Granato M, Brand M, Furutani Seiki M, Haffter P, Heisenberg C, Jiang Y, Kelsh R, Odenthal J, Warga R, Nüsslein Volhard C. 1996. dino and mercedes, two genes regulating dorsal development in the zebrafish embryo. Development. 123, 95–102.
View
 

1996 | Journal Article | IST-REx-ID: 4216
Brand M, Heisenberg C, Warga R, Pelegri F, Karlstrom R, Beuchle D, Picker A, Jiang Y, Furutani Seiki M, Van Eeden F, Granato M, Haffter P, Hammerschmidt M, Kane D, Kelsh R, Mullins M, Odenthal J, Nüsslein Volhard C. 1996. Mutations affecting development of the midline and general body shape during zebrafish embryogenesis. Development. 123, 129–142.
View
 

1996 | Journal Article | IST-REx-ID: 4292
Partridge L, Barton NH. 1996. On measuring the rate of ageing. Proceedings of the Royal Society of London Series B Biological Sciences. 263(1375), 1365–1371.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4519
Henzinger TA. 1996. The theory of hybrid automata. LICS: Logic in Computer Science 278–292.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4588
Alur R, Henzinger TA. 1996. Reactive modules. LICS: Logic in Computer Science 207–218.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4610
Alur R, Feder T, Henzinger TA. 1996. The benefits of relaxing punctuality. Journal of the ACM. 43(1), 116–146.
View | DOI | Download (ext.)
 

1996 | Journal Article | IST-REx-ID: 6161   OA
de Bono M, Hodgkin J. 1996. Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences. Genetics. 144(2), 587–595.
View | Download (ext.) | 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. 364(2), 290–310.
View | DOI
 

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. 210(1), 49–52.
View | DOI
 

1996 | Book Review | IST-REx-ID: 2571
Yokoi M, Kobayashi K, Manabe T, Takahashi T, Sakaguchi I, Katsuura G, Shigemoto R, Ohishi H, Nomura S, Nakamura K, Nakao K, Katsuki M, Nakanishi S. 1996. Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2. Science. 273(5275), 645–647.
View | DOI
 

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. 15(5), 428–447.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4142
Whitfield T, Granato M, Van Eeden F, Schach U, Brand M, Furutani Seiki M, Haffter P, Hammerschmidt M, Heisenberg C, Jiang Y, Kane D, Kelsh R, Mullins M, Odenthal J, Nüsslein Volhard C. 1996. Mutations affecting development of the zebrafish inner ear and lateral line. Development. 123, 241–254.
View
 

1996 | Journal Article | IST-REx-ID: 4154
Ransom D, Haffter P, Odenthal J, Brownlie A, Vogelsang E, Kelsh R, Brand M, Van Eeden F, Furutani Seiki M, Granato M, Hammerschmidt M, Heisenberg C, Jiang Y, Kane D, Mullins M, Nüsslein Volhard C. 1996. Characterization of zebrafish mutants with defects in embryonic hematopoiesis. Development. 123, 311–319.
View
 

1996 | Journal Article | IST-REx-ID: 4166
Odenthal J, Haffter P, Vogelsang E, Brand M, Van Eeden F, Furutani Seiki M, Granato M, Hammerschmidt M, Heisenberg C, Jiang Y, Kane D, Kelsh R, Mullins M, Warga R, Allende M, Weinberg E, Nüsslein Volhard C. 1996. Mutations affecting the formation of the notochord in the zebrafish, Danio rerio. Development. 123, 103–115.
View
 

1996 | Journal Article | IST-REx-ID: 4212
Haffter P, Granato M, Brand M, Mullins M, Hammerschmidt M, Kane D, Odenthal J, Van Eeden F, Jiang Y, Heisenberg C, Kelsh R, Furutani Seiki M, Vogelsang E, Beuchle D, Schach U, Fabian C, Nüsslein Volhard C. 1996. The identification of genes with unique and essential functions in the development of the zebrafish, Danio rerio. Development. 123, 1–36.
View
 

1996 | Thesis | IST-REx-ID: 4419
Kopke P. 1996. The Theory of Rectangular Hybrid Automata, Cornell University,p.
View
 

1996 | Book Chapter | IST-REx-ID: 4426
Henzinger TA, Wong Toi H. 1996. Linear phase-portrait approximations for nonlinear hybrid systems. Hybrid Systems III: Verification and Control. , LNCS, vol. 1066. 377–388.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4495
Henzinger TA, Kupferman O, Vardi M. 1996. A space-efficient on-the-fly algorithm for real-time model checking. CONCUR: Concurrency Theory, LNCS, vol. 1119. 514–529.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4611
Alur R, Henzinger TA, Ho P. 1996. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. 22(3), 181–201.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 1942
Sazanov LA, Burrows P, Nixon PJ. 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. IPC: International Photosynthesis Congress, Photosynthesis: from light to biosphere, vol. 2. 705–708.
View
 

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. 204(1–2), 9–12.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2572
Hashimoto H, Nogi H, Mori K, Ohishi H, Shigemoto R, Yamamoto K, Matsuda T, Mizuno N, Nagata S, 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. 371(4), 567–577.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3462
Melcher T, Geiger J, Jonas PM, Monyer H. 1996. Analysis of molecular determinants in native AMPA receptors. Neurochemistry International. 28(2), 141–144.
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, Cell Press,p.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4186
Kelsh R, Brand M, Jiang Y, Heisenberg C, Lin S, Haffter P, Odenthal J, Mullins M, Van Eeden F, Furutani Seiki M, Granato M, Hammerschmidt M, Kane D, Warga R, Beuchle D, Vogelsang L, Nüsslein Volhard C. 1996. Zebrafish pigmentation mutations and the processes of neural crest development. Development. 123, 369–389.
View
 

1996 | Journal Article | IST-REx-ID: 4213
Furutani Seiki M, Jiang Y, Brand M, Heisenberg C, Houart C, Beuchle D, Van Eeden F, Granato M, Haffter P, Hammerschmidt M, Kane D, Kelsh R, Mullins M, Odenthal J, Nüsslein Volhard C. 1996. Neural degeneration mutants in the zebrafish, Danio rerio. Development. 123, 229–239.
View
 

1996 | Journal Article | IST-REx-ID: 4220
Van Eeden F, Granato M, Schach U, Brand M, Furutani Seiki M, Haffter P, Hammerschmidt M, Heisenberg C, Jiang Y, Kane D, Kelsh R, Mullins M, Odenthal J, Warga R, Nüsslein Volhard C. 1996. Genetic analysis of fin formation in the zebrafish, Danio rerio. Development. 123, 255–262.
View
 

1996 | Book Chapter | IST-REx-ID: 4294
Barton NH, Wilson I. 1996. Genealogies and geography. New uses for new phylogenies. 23–56.
View
 

1996 | Book Chapter | IST-REx-ID: 4427
Henzinger TA, Wong Toi H. 1996. Using HyTech to synthesize control parameters for a steam boiler. Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. , LNCS, vol. 1165. 265–282.
View | DOI
 

1996 | Book (Editor) | IST-REx-ID: 4612
Alur R, Henzinger TA, Sontag ED eds. 1996. Hybrid Systems III: Verification and Control, Springer, 619p.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed