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
 

Search

Filter Publications