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.

6749 Publications


1999 | Journal Article | IST-REx-ID: 4442
Discrete-time control for rectangular hybrid automata
T.A. Henzinger, P. Kopke, Theoretical Computer Science 221 (1999) 369–392.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4480
Formal specification and verification of a dataflow processor array
T.A. Henzinger, X. Liu, S. Qadeer, S. Rajamani, in:, IEEE, 1999, pp. 494–499.
View
 

1999 | Conference Paper | IST-REx-ID: 4484
Verifying sequential consistency on shared-memory multiprocessor systems
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Springer, 1999, pp. 301–315.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4485
Rectangular hybrid games
T.A. Henzinger, B. Horowitz, R. Majumdar, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 320–335.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4487
Assume-guarantee refinement between different time scales
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Springer, 1999, pp. 208–221.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4582
Reactive modules
R. Alur, T.A. Henzinger, Formal Methods in System Design 15 (1999) 7–48.
View | DOI
 

1999 | Book | IST-REx-ID: 3137
Ionotropic Glutamate Receptors in the CNS
P.M. Jonas, H. Monyer, eds., Ionotropic Glutamate Receptors in the CNS, Springer, 1999.
View | Download (ext.)
 

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

1999 | Journal Article | IST-REx-ID: 3444
Fast network oscillations in the hippocampal CA1 region of the behaving rat
J.L. Csicsvari, H. Hirase, A. Czurkó, A. Mamiya, G. Buzsáki, Journal of Neuroscience 19 (1999).
View
 

1999 | Journal Article | IST-REx-ID: 3445
Hippocampomedial septal interactions 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 | Book Chapter | IST-REx-ID: 3456
Molecular determinants controlling functional properties of AMPARs and NMDARs in the mammalian CNS
H. Monyer, P.M. Jonas, J. Rossier, in:, P.M. Jonas, H. Monyer (Eds.), Ionotropic Glutamate Receptors in the CNS, Springer, 1999, pp. 309–339.
View | DOI
 

1999 | Book Chapter | IST-REx-ID: 3457
Glutamate-mediated synaptic excitation of cortical interneurons
J. Geiger, A. Roth, B. Taskin, P.M. Jonas, in:, H. Monyer, P.M. Jonas (Eds.), Ionotropic Glutamate Receptors in the CNS, Springer, 1999, pp. 363–398.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3515
Ultra-slow oscillation (0.025 Hz) triggers hippocampal afterdischarges in Wistar rats
M. Penttonen, N. Nurminen, R. Miettinen, J. Sirviö, D. Henze, J.L. Csicsvari, G. Buzsáki, Neuroscience 94 (1999) 735–743.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3518
Replay and time compression of recurring spike sequences in the hippocampus
Z. Nádasdy, H. Hirase, A. Czurkó, J.L. Csicsvari, G. Buzsáki, Journal of Neuroscience 19 (1999) 9497–9507.
View
 

1999 | Journal Article | IST-REx-ID: 3519
Sustained activation of hippocampal pyramidal cells by ‘space clamping' in a running wheel
A. Czurkó, H. Hirase, J.L. Csicsvari, G. Buzsáki, European Journal of Neuroscience 11 (1999) 344–352.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3524
Oscillatory coupling of hippocampal pyramidal cells and interneurons in the behaving rat
J.L. Csicsvari, H. Hirase, A. Czurkó, A. Mamiya, G. Buzsáki, Journal of Neuroscience 19 (1999) 274–287.
View | Download (ext.)
 

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
 

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 | 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 | 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 | 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: 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.)
 

Search

Filter Publications