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.

6068 Publications


1998 | Journal Article | IST-REx-ID: 2728
Erdös L. 1998. Lifschitz tail in a magnetic field: The nonclassical regime. Probability Theory and Related Fields. 112(3), 321–371.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 1954
Sazanov LA, Burrows P, Nixon P. 1998. The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves. FEBS Letters. 429(1), 115–118.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 1955 | OA
Burrows P, Sazanov LA, Sváb Z, Maliga P, Nixon P. 1998. Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes. EMBO Journal. 17(4), 868–876.
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: 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: 1450 | OA
Hausel T. 1998. Vanishing of intersection numbers on the moduli space of Higgs bundles. Advances in Theoretical and Mathematical Physics. 2(5), 1011–1040.
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 3487
Jonas PM, Bischofberger J, Sandkühler J. 1998. Corelease of two fast neurotransmitters at a central synapse. Science. 281(5375), 419–424.
View | DOI
 

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 | Patent | IST-REx-ID: 3506
Edelsbrunner H, Fu P. 1998. Apparatus and method for geometric morphing.
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 3521
Csicsvari JL, Hirase H, Czurkó A, Buzsáki G. 1998. Reliability and state dependence of pyramidal cell-interneuron synapses in the hippocampus: an ensemble approach in the behaving rat. Neuron. 21(1), 179–189.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3525
Nádasdy Z, Csicsvari JL, Hirase H, Czurkó A, Buzsáki G. 1998. Persistence and temporal compression of spike sequences during fast field oscillation in the hippocampus. European Journal of Neuroscience. 10(Suppl. 10), 9409–9409.
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: 3535
Hirase H, Czurkó A, Csicsvari JL, Buzsáki G. 1998. Hippocampal pyramidal neutrons “space-clamped” in a running wheel task: Place cells or path integrators? European Journal of Neuroscience. 10(Suppl. 10), 9932–9932.
View
 

1998 | Book Chapter | IST-REx-ID: 3570
Axen U, Edelsbrunner H. 1998. Auditory Morse analysis of triangulated manifolds. Mathematical Visualization. 223–236.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3627
Barton NH. 1998. The effect of hitch-hiking on neutral genealogies. Genetical Research. 72(2), 123–133.
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: 3629
Maccallum C, Nürnberger B, Barton NH, Szymura J. 1998. Habitat preference in the Bombina hybrid zone in Croatia. Evolution. 52(1), 227–239.
View | Download (ext.)
 

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: 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: 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: 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: 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: 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: 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: 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: 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: 4018
Edelsbrunner H, Shah N. 1997. Triangulating topological spaces. International Journal of Computational Geometry and Applications. 7(4), 365–378.
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: 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: 4023
Edelsbrunner H, Ramos E. 1997. Inclusion-exclusion complexes for pseudodisk collections. Discrete & Computational Geometry. 17(3), 287–306.
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 | 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 | 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 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 | 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: 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: 4290
Barton NH. 1997. Natural hybridization and evolution. Genetical Research. 70(2), 178–180.
View
 

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 | 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 | 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 | 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: 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: 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: 4520
Gupta V, Henzinger TA, Jagadeesan R. 1997. Robust timed automata. HART: Hybrid and Real-Time Systems, LNCS, vol. 1201. 331–345.
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 | 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: 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: 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 | 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 | 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 4174
Masai I, Heisenberg C-PJ, 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-PJ, 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 | Journal Article | IST-REx-ID: 8528
Kaloshin V. 1997. Prevalence in the space of finitely smooth maps. Functional Analysis and Its Applications. 31(2), 95–99.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 8527
Hunt BR, Kaloshin V. 1997. How projections affect the dimension spectrum of fractal measures. Nonlinearity. 10(5), 1031–1046.
View | DOI
 

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. 75(3), 815–826.
View | DOI
 

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

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: 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: 2566
Kinoshita A, Ohishi H, Neki A, Nomura S, Shigemoto R, Takada M, Nakanishi S, 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. 207(1), 61–64.
View | DOI
 

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. 719(1–2), 207–212.
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: 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 | 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 | 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: 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: 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. 95(1), 107–117.
View | DOI
 

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. 8(7), 1488–1500.
View | DOI
 

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. 16(4), 58–61.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4025
Akkiraju N, Edelsbrunner H. 1996. Triangulating the surface of a molecule. Discrete Applied Mathematics. 71(1–3), 5–22.
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: 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 | 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 | 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, Cell Press,p.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4188
Kane D, Hammerschmidt M, Mullins M, Maischein H, Brand M, Van Eeden F, Furutani Seiki M, Granato M, Haffter P, Heisenberg C-PJ, Jiang Y, Kelsh R, Odenthal J, Warga R, Nüsslein Volhard C. 1996. The zebrafish epiboly mutants. Development. 123, 47–55.
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 | Book Chapter | IST-REx-ID: 4294
Barton NH, Wilson I. 1996. Genealogies and geography. New uses for new phylogenies. 23–56.
View
 

1996 | Book Review | IST-REx-ID: 4295
Barton NH. 1996. Speciation: more than the sum of its parts. Current Biology. 6(10), 1244–1246.
View | DOI
 

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 | 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 | Conference Paper | IST-REx-ID: 4443
Henzinger TA, Kopke P. 1996. State equivalences for rectangular hybrid automata. CONCUR: Concurrency Theory, LNCS, vol. 1119. 530–545.
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 | 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 (Editor) | IST-REx-ID: 4585
Alur R, Henzinger TA. 1996. CAV: Computer Aided Verification, Springer,p.
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: 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 | 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