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.

7224 Publications


1998 | Journal Article | IST-REx-ID: 2585
Wada E, Shigemoto R, Kinoshita A, Ohishi H, Mizuno N. 1998. Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology. 393(4), 493–504.
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: 2587
Jaarsma D, Diño M, Ohishi H, Shigemoto R, Mugnaini E. 1998. Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex. Brain Cell Biology. 27(5), 303–327.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2588
Kaupmann K, Malitschek B, Schuler V, Heid J, Froestl W, Beck P, Mosbacher J, Bischoff S, Kulik Á, Shigemoto R, Karschin A, Bettler B. 1998. GABA(B)-receptor subtypes assemble into functional heteromeric complexes. Nature. 396(6712), 683–687.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2589
Baude A, Shigemoto R. 1998. Cellular and subcellular distribution of substance P receptor immunoreactivity in the dorsal vagal complex of the rat and cat: A light and electron microscope study. Journal of Comparative Neurology. 402(2), 181–196.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2590
Jaarsma D, Diño M, Ohishi H, Shigemoto R, Mugnaini E. 1998. Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex. Journal of Neurocytology. 27(5), 303–327.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 2695
Erdös L, Yau H. 1998. Linear Boltzmann equation as scaling limit of quantum Lorentz gas. Differential Equations and Mathematical Physics, Contemporary Mathematics, vol. 217, 137–155.
View | DOI
 

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: 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 | OA
Edelsbrunner H, Fu P. 1998. Apparatus and method for geometric morphing.
View | Download Published Version (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. In: 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.)
 

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: 4011
Liang J, Edelsbrunner H, Fu P, Sudhakar P, Subramaniam S. 1998. Analytical shape computation of macromolecules: I. molecular area and volume through alpha shape. Proteins: Structure, Function and Bioinformatics. 33(1), 1–17.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4012
Liang J, Edelsbrunner H, Fu P, Sudhakar P, Subramaniam S. 1998. Analytical shape computation of macromolecules: II. Inaccessible cavities in proteins. Proteins: Structure, Function and Bioinformatics. 33(1), 18–29.
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: 4015
Edelsbrunner H. 1998. Shape reconstruction with Delaunay complex. LATIN: Latin American Symposium on Theoretical Informatics , LNCS, vol. 1380, 119–132.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4016
Edelsbrunner H, Facello M, Fu P, Qian J, Nekhayev D. 1998. Wrapping 3D scanning data. Three-Dimensional Image Capture and Applications, SPIE, vol. 3313, 148–158.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4017 | OA
Liang J, Edelsbrunner H, Woodward C. 1998. Anatomy of protein pockets and cavities: Measurement of binding site geometry and implications for ligand design. Protein Science. 7(9), 1884–1897.
View | DOI | Download (ext.)
 

1998 | Conference Paper | IST-REx-ID: 4019
Cheng H, Edelsbrunner H, Fu P. 1998. Shape space from deformation. CGA: Conference on Computer Graphics and Applications , 104–113.
View | DOI
 

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

1998 | Journal Article | IST-REx-ID: 4280
Ritchie M, Barton NH. 1998. Hybrids and hybrid zones: Reply from M.G. Ritchie and N.H. Barton. Trends in Ecology and Evolution. 13(7), 282–283.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4281
Barton NH, Charlesworth B. 1998. Why sex and recombination? Science. 281(5385), 1986–1990.
View | DOI
 

1998 | Book Review | IST-REx-ID: 4282
Barton NH. 1998. Genetics and analysis of quantitative traits. Genetical Research. 72(1), 73–73.
View
 

1998 | Book Review | IST-REx-ID: 4283
Barton NH. 1998. The geometry of adaptation. Nature. 395(6704), 751–752.
View
 

1998 | Conference Paper | IST-REx-ID: 4408
Raskin J, Schobbens P, Henzinger TA. 1998. Axioms for real-time logics. CONCUR: Concurrency Theory, LNCS, vol. 1466, 219–236.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4410
Preußig J, Kowalewski S, Wong Toi H, Henzinger TA. 1998. An algorithm for the approximative analysis of rectangular automata. FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, vol. 1486, 228–240.
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
 

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 | 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: 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: 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: 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 | 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 | Book Chapter | IST-REx-ID: 4284
Barton NH. 1997.Natural selection and random genetic drift as causes of evolution on islands. In: 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. In: Metapopulation Biology. , 183–210.
View | DOI
 

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

1996 | Book Chapter | IST-REx-ID: 4426
Henzinger TA, Wong Toi H. 1996.Linear phase-portrait approximations for nonlinear hybrid systems. In: 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. In: 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, Berlin ; Heidelberg: Springer, IX, 619p.
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: 1951
Sazanov LA, Burrows P, Nixon P. 1996. Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids. Biochemical Society Transactions. 24(3), 739–743.
View
 

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

Search

Filter Publications