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
T.A. Henzinger, P. Kopke, Theoretical Computer Science 221 (1999) 369–392.
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
T.A. Henzinger, X. Liu, S. Qadeer, S. Rajamani, in:, IEEE, 1999, pp. 494–499.
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
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Springer, 1999, pp. 301–315.
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
T.A. Henzinger, B. Horowitz, R. Majumdar, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 320–335.
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
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Springer, 1999, pp. 208–221.
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
R. Alur, T.A. Henzinger, Formal Methods in System Design 15 (1999) 7–48.
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.)
P.M. Jonas, H. Monyer, eds., Ionotropic Glutamate Receptors in the CNS, Springer, 1999.
1999 | Journal Article | IST-REx-ID: 3148
A role for amontillado the Drosophila homolog of the neuropeptide precursor processing protease PC2 in triggering hatching behavior
D.E. Siekhaus, R. Fuller, Journal of Neuroscience 19 (1999) 6942–6954.
View
D.E. Siekhaus, R. Fuller, Journal of Neuroscience 19 (1999) 6942–6954.
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
J.L. Csicsvari, H. Hirase, A. Czurkó, A. Mamiya, G. Buzsáki, Journal of Neuroscience 19 (1999).
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
G. Dragoi, D. Carpi, M. Recce, J.L. Csicsvari, G. Buzsáki, Journal of Neuroscience 19 (1999) 6191–6199.
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
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.
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
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.
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
M. Penttonen, N. Nurminen, R. Miettinen, J. Sirviö, D. Henze, J.L. Csicsvari, G. Buzsáki, Neuroscience 94 (1999) 735–743.
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
Z. Nádasdy, H. Hirase, A. Czurkó, J.L. Csicsvari, G. Buzsáki, Journal of Neuroscience 19 (1999) 9497–9507.
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
A. Czurkó, H. Hirase, J.L. Csicsvari, G. Buzsáki, European Journal of Neuroscience 11 (1999) 344–352.
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.)
J.L. Csicsvari, H. Hirase, A. Czurkó, A. Mamiya, G. Buzsáki, Journal of Neuroscience 19 (1999) 274–287.
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
G. Dragoi, D. Carpi, M. Recce, J.L. Csicsvari, G. Buzsáki, Journal of Neuroscience 19 (1999) 6191–6199.
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
H. Hirase, A. Czurkó, J.L. Csicsvari, G. Buzsáki, European Journal of Neuroscience 11 (1999) 4373–4380.
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.)
X. Jiao, H. Edelsbrunner, M. Heath, in:, Elsevier, 1999, pp. 75–82.
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.)
T. Dey, H. Edelsbrunner, S. Guha, in:, Advances in Discrete and Computational Geometry, American Mathematical Society, 1999, pp. 109–143.
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.)
T. Dey, H. Edelsbrunner, S. Guha, D. Nekhayev, Publications de l’Institut Mathématique 66 (1999) 23–45.
1999 | Journal Article | IST-REx-ID: 3625
Clines in polygenic traits
N.H. Barton, Genetical Research 74 (1999) 223–236.
View
| DOI
N.H. Barton, Genetical Research 74 (1999) 223–236.
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
L. Kruuk, S. Baird, K. Gale, N.H. Barton, Genetics 153 (1999) 1959–1971.
1998 | Journal Article | IST-REx-ID: 2583
Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat
J. Li, Y. Ding, K. Xiong, J. Li, R. Shigemoto, N. Mizuno, Neuroscience Research 30 (1998) 219–225.
View
| DOI
J. Li, Y. Ding, K. Xiong, J. Li, R. Shigemoto, N. Mizuno, Neuroscience Research 30 (1998) 219–225.
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
A. Kinoshita, R. Shigemoto, H. Ohishi, H. Van Der Putten, N. Mizuno, Journal of Comparative Neurology 393 (1998) 332–352.
1998 | Journal Article | IST-REx-ID: 2585
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
E. Wada, R. Shigemoto, A. Kinoshita, H. Ohishi, N. Mizuno, Journal of Comparative Neurology 393 (1998) 493–504.
View
| DOI
E. Wada, R. Shigemoto, A. Kinoshita, H. Ohishi, N. Mizuno, Journal of Comparative Neurology 393 (1998) 493–504.
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
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.
1998 | Journal Article | IST-REx-ID: 2587
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, Brain Cell Biology 27 (1998) 303–327.
View
| DOI
D. Jaarsma, M. Diño, H. Ohishi, R. Shigemoto, E. Mugnaini, Brain Cell Biology 27 (1998) 303–327.
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
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.
1998 | Journal Article | IST-REx-ID: 2589
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
A. Baude, R. Shigemoto, Journal of Comparative Neurology 402 (1998) 181–196.
View
| DOI
A. Baude, R. Shigemoto, Journal of Comparative Neurology 402 (1998) 181–196.
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
D. Jaarsma, M. Diño, H. Ohishi, R. Shigemoto, E. Mugnaini, Journal of Neurocytology 27 (1998) 303–327.
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
L. Erdös, H. Yau, in:, American Mathematical Society, 1998, pp. 137–155.
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
L. Erdös, Probability Theory and Related Fields 112 (1998) 321–371.
1998 | Journal Article | IST-REx-ID: 1954
The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves
L.A. Sazanov, P. Burrows, P. Nixon, FEBS Letters 429 (1998) 115–118.
View
| DOI
L.A. Sazanov, P. Burrows, P. Nixon, FEBS Letters 429 (1998) 115–118.
1998 | Journal Article | IST-REx-ID: 1955 | 
Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes
P. Burrows, L.A. Sazanov, Z. Sváb, P. Maliga, P. Nixon, EMBO Journal 17 (1998) 868–876.
View
| DOI
| Download (ext.)
P. Burrows, L.A. Sazanov, Z. Sváb, P. Maliga, P. Nixon, EMBO Journal 17 (1998) 868–876.
1998 | Journal Article | IST-REx-ID: 1956
The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes
L.A. Sazanov, P. Burrows, P. Nixon, PNAS 95 (1998) 1319–1324.
View
| DOI
L.A. Sazanov, P. Burrows, P. Nixon, PNAS 95 (1998) 1319–1324.
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
R. Alur, T.A. Henzinger, O. Kupferman, M. Vardi, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–178.
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
R. Alur, T.A. Henzinger, F. Mang, S. Qadeer, S. Rajamani, S. Tasiran, in:, Springer, 1998, pp. 521–525.
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
R. Alur, T.A. Henzinger, S. Rajamani, in:, Springer, 1998, pp. 330–344.
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
L. De Alfaro, T.A. Henzinger, O. Kupferman, in:, IEEE, 1998, pp. 564–575.
1998 | Journal Article | IST-REx-ID: 6160
Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans
M. de Bono, C.I. Bargmann, Cell 94 (1998) 679–689.
View
| DOI
| PubMed | Europe PMC
M. de Bono, C.I. Bargmann, Cell 94 (1998) 679–689.
1998 | Journal Article | IST-REx-ID: 1449 |
Compactification of moduli of Higgs bundles
T. Hausel, Journal Fur Die Reine Und Angewandte Mathematik 1998 (1998) 169–192.
View
| DOI
| Download (ext.)
T. Hausel, Journal Fur Die Reine Und Angewandte Mathematik 1998 (1998) 169–192.
1998 | Journal Article | IST-REx-ID: 1450 |
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.)
T. Hausel, Advances in Theoretical and Mathematical Physics 2 (1998) 1011–1040.
1998 | Journal Article | IST-REx-ID: 3926
Partitioning the components of sexual selection: attractiveness and agonistic behaviour in male wax moths, Achroia grisella (Lepidoptera, Pyralidae)
S. Cremer, M. Greenfield, Ethology 104 (1998) 1–9.
View
| DOI
S. Cremer, M. Greenfield, Ethology 104 (1998) 1–9.
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
J. Liang, H. Edelsbrunner, P. Fu, P. Sudhakar, S. Subramaniam, Proteins: Structure, Function and Bioinformatics 33 (1998) 1–17.
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
J. Liang, H. Edelsbrunner, P. Fu, P. Sudhakar, S. Subramaniam, Proteins: Structure, Function and Bioinformatics 33 (1998) 18–29.
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
H. Edelsbrunner, M. Facello, J. Liang, Discrete Applied Mathematics 88 (1998) 83–102.
1998 | Conference Paper | IST-REx-ID: 4015
Shape reconstruction with Delaunay complex
H. Edelsbrunner, in:, Springer, 1998, pp. 119–132.
View
| DOI
H. Edelsbrunner, in:, Springer, 1998, pp. 119–132.
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
H. Edelsbrunner, M. Facello, P. Fu, J. Qian, D. Nekhayev, in:, SPIE, 1998, pp. 148–158.
1998 | Journal Article | IST-REx-ID: 4017 |
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.)
J. Liang, H. Edelsbrunner, C. Woodward, Protein Science 7 (1998) 1884–1897.