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.

6021 Publications


1999 | Journal Article | IST-REx-ID: 3531
Interactions between hippocampus and medial septum during sharp waves and theta oscillation in the behaving rat
G. Dragoi, D. Carpi, M. Recce, J.L. Csicsvari, G. Buzsáki, Journal of Neuroscience 19 (1999) 6191–6199.
View
 

1999 | Journal Article | IST-REx-ID: 3539
Firing rate and theta-phase coding by hippocampal pyramidal neurons during ‘space clamping’
H. Hirase, A. Czurkó, J.L. Csicsvari, G. Buzsáki, European Journal of Neuroscience 11 (1999) 4373–4380.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 3554
Mesh association: formulation and algorithms
X. Jiao, H. Edelsbrunner, M. Heath, in:, Elsevier, 1999, pp. 75–82.
View | Download (ext.)
 

1999 | Book Chapter | IST-REx-ID: 3571
Computational topology
T. Dey, H. Edelsbrunner, S. Guha, in:, Advances in Discrete and Computational Geometry, American Mathematical Society, 1999, pp. 109–143.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3582
Topology preserving edge contraction
T. Dey, H. Edelsbrunner, S. Guha, D. Nekhayev, Publications de l’Institut Mathématique 66 (1999) 23–45.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3625
Clines in polygenic traits
N.H. Barton, Genetical Research 74 (1999) 223–236.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3626
A comparison of multilocus clines maintained by environmental adaptation or by selection against hybrids
L. Kruuk, S. Baird, K. Gale, N.H. Barton, Genetics 153 (1999) 1959–1971.
View
 

1999 | Thesis | IST-REx-ID: 4411
Algorithms and Methodology for Scalable Model Checking
S. Qadeer, Algorithms and Methodology for Scalable Model Checking, University of California, Berkeley, 1999.
View | Download None (ext.)
 

1999 | Journal Article | IST-REx-ID: 4204 View
 

1999 | Journal Article | IST-REx-ID: 8526
An extension of the Artin-Mazur theorem
V. Kaloshin, The Annals of Mathematics 150 (1999) 729–741.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2583 View | DOI
 

1998 | Journal Article | IST-REx-ID: 2584
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
A. Kinoshita, R. Shigemoto, H. Ohishi, H. Van Der Putten, N. Mizuno, Journal of Comparative Neurology 393 (1998) 332–352.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2585 View | DOI
 

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

1998 | Journal Article | IST-REx-ID: 2587 View | DOI
 

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

1998 | Journal Article | IST-REx-ID: 2589 View | DOI
 

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

1998 | Journal Article | IST-REx-ID: 4011
Analytical shape computation of macromolecules: I. molecular area and volume through alpha shape
J. Liang, H. Edelsbrunner, P. Fu, P. Sudhakar, S. Subramaniam, Proteins: Structure, Function and Bioinformatics 33 (1998) 1–17.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4012
Analytical shape computation of macromolecules: II. Inaccessible cavities in proteins
J. Liang, H. Edelsbrunner, P. Fu, P. Sudhakar, S. Subramaniam, Proteins: Structure, Function and Bioinformatics 33 (1998) 18–29.
View | DOI
 

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

1998 | Conference Paper | IST-REx-ID: 4015
Shape reconstruction with Delaunay complex
H. Edelsbrunner, in:, Springer, 1998, pp. 119–132.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4016
Wrapping 3D scanning data
H. Edelsbrunner, M. Facello, P. Fu, J. Qian, D. Nekhayev, in:, SPIE, 1998, pp. 148–158.
View | DOI
 

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

1998 | Conference Paper | IST-REx-ID: 4019
Shape space from deformation
H. Cheng, H. Edelsbrunner, P. Fu, in:, IEEE, 1998, pp. 104–113.
View | DOI
 

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

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

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

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

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

1998 | Conference Paper | IST-REx-ID: 4408
Axioms for real-time logics
J. Raskin, P. Schobbens, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 219–236.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4410
An algorithm for the approximative analysis of rectangular automata
J. Preußig, S. Kowalewski, H. Wong Toi, T.A. Henzinger, in:, Springer, 1998, pp. 228–240.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4429
Reachability verification for hybrid automata
T.A. Henzinger, V. Rusu, in:, Springer, 1998, pp. 190–204.
View | DOI
 

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

1998 | Conference Paper | IST-REx-ID: 4486
An assume-guarantee rule for checking simulation
T.A. Henzinger, S. Qadeer, S. Rajamani, S. Tasiran, in:, Springer, 1998, pp. 421–432.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4488
You assume, we guarantee: Methodology and case studies
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Springer, 1998, pp. 440–451.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4489
From pre-historic to post-modern symbolic model checking
T.A. Henzinger, O. Kupferman, S. Qadeer, in:, Springer, 1998, pp. 195–206.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4490
The regular real-time languages
T.A. Henzinger, J. Raskin, P. Schobbens, in:, Springer, 1998, pp. 580–591.
View | DOI
 

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

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

1998 | Conference Paper | IST-REx-ID: 4515
It's about time: Real-time logics reviewed
T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 439–454.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4603
Alternating refinement relations
R. Alur, T.A. Henzinger, O. Kupferman, M. Vardi, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–178.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4604
Mocha: Modularity in model checking
R. Alur, T.A. Henzinger, F. Mang, S. Qadeer, S. Rajamani, S. Tasiran, in:, Springer, 1998, pp. 521–525.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4606
Symbolic exploration of transition hierarchies
R. Alur, T.A. Henzinger, S. Rajamani, in:, Springer, 1998, pp. 330–344.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4639
Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, in:, IEEE, 1998, pp. 564–575.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 6160 View | DOI | PubMed | Europe PMC
 

1998 | Conference Paper | IST-REx-ID: 2695
Linear Boltzmann equation as scaling limit of quantum Lorentz gas
L. Erdös, H. Yau, in:, American Mathematical Society, 1998, pp. 137–155.
View | DOI
 

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

1998 | Journal Article | IST-REx-ID: 1954 View | DOI
 

1998 | Journal Article | IST-REx-ID: 1955 | OA View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 1956 View | DOI
 

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

1998 | Journal Article | IST-REx-ID: 1450 | OA
Vanishing of intersection numbers on the moduli space of Higgs bundles
T. Hausel, Advances in Theoretical and Mathematical Physics 2 (1998) 1011–1040.
View | DOI | Download (ext.)
 

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

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

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

1998 | Journal Article | IST-REx-ID: 3521 View | DOI
 

1998 | Journal Article | IST-REx-ID: 3525
Persistence and temporal compression of spike sequences during fast field oscillation in the hippocampus
Z. Nádasdy, J.L. Csicsvari, H. Hirase, A. Czurkó, G. Buzsáki, European Journal of Neuroscience 10 (1998) 9409–9409.
View
 

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

1998 | Journal Article | IST-REx-ID: 3535
Hippocampal pyramidal neutrons “space-clamped” in a running wheel task: Place cells or path integrators?
H. Hirase, A. Czurkó, J.L. Csicsvari, G. Buzsáki, European Journal of Neuroscience 10 (1998) 9932–9932.
View
 

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

1998 | Journal Article | IST-REx-ID: 3627
The effect of hitch-hiking on neutral genealogies
N.H. Barton, Genetical Research 72 (1998) 123–133.
View | DOI
 

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

1998 | Journal Article | IST-REx-ID: 3629
Habitat preference in the Bombina hybrid zone in Croatia
C. Maccallum, B. Nürnberger, N.H. Barton, J. Szymura, Evolution 52 (1998) 227–239.
View | Download (ext.)
 

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

1997 | Journal Article | IST-REx-ID: 2575 View | DOI
 

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

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

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

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

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

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

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

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

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

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

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

1997 | Book Chapter | IST-REx-ID: 4284
Natural selection and random genetic drift as causes of evolution on islands
N.H. Barton, in:, Evolution on Islands, Oxford University Press, 1997, pp. 102–123.
View
 

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

1997 | Journal Article | IST-REx-ID: 4286 View
 

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

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

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

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

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

1997 | Book Chapter | IST-REx-ID: 4293
The evolution of metapopulations
N.H. Barton, M. Whitlock, in:, Metapopulation Biology, Academic Press, 1997, pp. 183–210.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4438
From quantity to quality
T.A. Henzinger, O. Kupferman, in:, Springer, 1997, pp. 48–62.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4441
Discrete-time control for rectangular hybrid automata
T.A. Henzinger, P. Kopke, in:, Springer, 1997, pp. 582–593.
View | DOI
 

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

1997 | Conference Paper | IST-REx-ID: 4494
HyTech: A model checker for hybrid systems
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1997, pp. 460–463.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4496
Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 273–287.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4520
Robust timed automata
V. Gupta, T.A. Henzinger, R. Jagadeesan, in:, Springer, 1997, pp. 331–345.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4583
Modularity for timed and hybrid systems
R. Alur, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88.
View | DOI
 

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

1997 | Conference Paper | IST-REx-ID: 4605
Symbolic analysis of hybrid systems
R. Alur, T.A. Henzinger, H. Wong Toi, in:, IEEE, 1997, pp. 702–707.
View | DOI
 

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

1997 | Conference Paper | IST-REx-ID: 4608
Partial-order reduction in symbolic state-space exploration
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Springer, 1997, pp. 340–351.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, in:, IEEE, 1997, pp. 100–109.
View | DOI
 

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

Search

Filter Publications