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.

5632 Publications


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 | 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 | 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 | 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 | Conference Paper | IST-REx-ID: 4603
Alur R, Henzinger TA, Kupferman O, Vardi M. 1998. Alternating refinement relations. CONCUR: Concurrency Theory, LNCS, vol. 1466. 163–178.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro L, Henzinger TA, Kupferman O. 1998. Concurrent reachability games. FOCS: Foundations of Computer Science 564–575.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2583
Li J, Ding Y, Xiong K, Li J, Shigemoto R, Mizuno N. 1998. Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat. Neuroscience Research. 30(3), 219–225.
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: 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 | 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 | 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 | Journal Article | IST-REx-ID: 4281
Barton NH, Charlesworth B. 1998. Why sex and recombination? Science. 281(5385), 1986–1990.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4488
Henzinger TA, Qadeer S, Rajamani S. 1998. You assume, we guarantee: Methodology and case studies. CAV: Computer Aided Verification, LNCS, vol. 1427. 440–451.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4490
Henzinger TA, Raskin J, Schobbens P. 1998. The regular real-time languages. ICALP: Automata, Languages and Programming, LNCS, vol. 1443. 580–591.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4515
Henzinger TA. 1998. It’s about time: Real-time logics reviewed. CONCUR: Concurrency Theory, LNCS, vol. 1466. 439–454.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4604
Alur R, Henzinger TA, Mang F, Qadeer S, Rajamani S, Tasiran S. 1998. Mocha: Modularity in model checking. CAV: Computer Aided Verification, LNCS, vol. 1427. 521–525.
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: 2584
Kinoshita A, Shigemoto R, Ohishi H, Van Der Putten H, Mizuno N. 1998. Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study. Journal of Comparative Neurology. 393(3), 332–352.
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 | 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: 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 | 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: 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 | 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 | Book Review | IST-REx-ID: 4282
Barton NH. 1998. Genetics and analysis of quantitative traits. Genetical Research. 72(1), 73–73.
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
 

1998 | Conference Paper | IST-REx-ID: 4489
Henzinger TA, Kupferman O, Qadeer S. 1998. From pre-historic to post-modern symbolic model checking. CAV: Computer Aided Verification, LNCS, vol. 1427. 195–206.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4491
Henzinger TA, Ho P, Wong Toi H. 1998. Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. 43(4), 540–554.
View | DOI
 

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

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
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed