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.
6113 Publications
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.
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
H. Cheng, H. Edelsbrunner, P. Fu, in:, IEEE, 1998, pp. 104–113.
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
H. Edelsbrunner, in:, Robotics: The Algorithmic Perspective, AK Peters, 1998, pp. 265–277.
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
M. Ritchie, N.H. Barton, Trends in Ecology and Evolution 13 (1998) 282–283.
1998 | Journal Article | IST-REx-ID: 4281
Why sex and recombination?
N.H. Barton, B. Charlesworth, Science 281 (1998) 1986–1990.
View
| DOI
N.H. Barton, B. Charlesworth, Science 281 (1998) 1986–1990.
1998 | Book Review | IST-REx-ID: 4282
Genetics and analysis of quantitative traits
N.H. Barton, Genetical Research 72 (1998) 73–73.
View
N.H. Barton, Genetical Research 72 (1998) 73–73.
1998 | Book Review | IST-REx-ID: 4283
The geometry of adaptation
N.H. Barton, Nature 395 (1998) 751–752.
View
N.H. Barton, Nature 395 (1998) 751–752.
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
J. Raskin, P. Schobbens, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 219–236.
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
J. Preußig, S. Kowalewski, H. Wong Toi, T.A. Henzinger, in:, Springer, 1998, pp. 228–240.
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
T.A. Henzinger, V. Rusu, in:, Springer, 1998, pp. 190–204.
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
T.A. Henzinger, S. Sastry, HSCC: Hybrid Systems—Computation and Control, Springer, 1998.
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
T.A. Henzinger, S. Qadeer, S. Rajamani, S. Tasiran, in:, Springer, 1998, pp. 421–432.
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
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Springer, 1998, pp. 440–451.
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
T.A. Henzinger, O. Kupferman, S. Qadeer, in:, Springer, 1998, pp. 195–206.
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
T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 439–454.
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
T.A. Henzinger, J. Raskin, P. Schobbens, in:, Springer, 1998, pp. 580–591.
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
T.A. Henzinger, P. Ho, H. Wong Toi, IEEE Transactions on Automatic Control 43 (1998) 540–554.
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
T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, Journal of Computer and System Sciences 57 (1998) 94–124.
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.
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
L. Acsády, I. Katona, A. Gulyás, R. Shigemoto, T. Freund, Journal of Comparative Neurology 378 (1997) 320–336.
1997 | Journal Article | IST-REx-ID: 2575
Localization of a metabotropic glutamate receptor, mGluR7, in axon terminals of presumed nociceptive, primary afferent fibers in the superficial layers of the spinal dorsal horn: An electron microscope study in the rat
H. Li, H. Ohishi, A. Kinoshita, R. Shigemoto, S. Nomura, N. Mizuno, Neuroscience Letters 223 (1997) 153–156.
View
| DOI
H. Li, H. Ohishi, A. Kinoshita, R. Shigemoto, S. Nomura, N. Mizuno, Neuroscience Letters 223 (1997) 153–156.
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
J. Li, T. Kaneko, R. Shigemoto, N. Mizuno, Journal of Comparative Neurology 378 (1997) 508–521.
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
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.
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
V. Seybold, I. Grković, A. Portbury, Y. Ding, R. Shigemoto, N. Mizuno, J. Furness, B. Southwell, Journal of Comparative Neurology 381 (1997) 439–448.
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
P. Mann, B. Southwell, Y. Ding, R. Shigemoto, N. Mizuno, J. Furness, Cell and Tissue Research 289 (1997) 1–9.
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
R. Luján, J. Roberts, R. Shigemoto, H. Ohishi, P. Somogyi, Journal of Chemical Neuroanatomy 13 (1997) 219–241.
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
T. Lee, T. Kaneko, R. Shigemoto, S. Nomura, N. Mizuno, Journal of Comparative Neurology 388 (1997) 250–264.
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
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.
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
L. Erdös, Journal of Mathematical Physics 38 (1997) 1289–1317.
1997 | Journal Article | IST-REx-ID: 2729
Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates
L. Erdös, J. Solovej, Communications in Mathematical Physics 188 (1997) 599–656.
View
| DOI
L. Erdös, J. Solovej, Communications in Mathematical Physics 188 (1997) 599–656.
1997 | Journal Article | IST-REx-ID: 3541
Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies
A. Bragin, J.L. Csicsvari, M. Penttonen, G. Buzsáki, Neuroscience 76 (1997) 1187–1203.
View
| DOI
A. Bragin, J.L. Csicsvari, M. Penttonen, G. Buzsáki, Neuroscience 76 (1997) 1187–1203.
1997 | Journal Article | IST-REx-ID: 3482
Functional properties of AMPA and NMDA receptors expressed in identified types of basal ganglia neurons
T. Götz, U. Kraushaar, J. Geiger, J. Lubke, T. Berger, P.M. Jonas, Journal of Neuroscience 17 (1997) 204–215.
View
| Download (ext.)
T. Götz, U. Kraushaar, J. Geiger, J. Lubke, T. Berger, P.M. Jonas, Journal of Neuroscience 17 (1997) 204–215.
1997 | Journal Article | IST-REx-ID: 3483
A novel type of GABAergic interneuron connecting the input and the output regions of the hippocampus.
K. Ceranik, R. Bender, J. Geiger, H. Monyer, P.M. Jonas, M. Frotscher, J. Lubke, Journal of Neuroscience 17 (1997) 5380–5394.
View
| Download (ext.)
K. Ceranik, R. Bender, J. Geiger, H. Monyer, P.M. Jonas, M. Frotscher, J. Lubke, Journal of Neuroscience 17 (1997) 5380–5394.
1997 | Journal Article | IST-REx-ID: 3484
Submillisecond AMPA receptor-mediated signaling at a principal neuron-interneuron synapse
J. Geiger, J. Lubke, A. Roth, M. Frotscher, P.M. Jonas, Neuron 18 (1997) 1009–1023.
View
| DOI
J. Geiger, J. Lubke, A. Roth, M. Frotscher, P.M. Jonas, Neuron 18 (1997) 1009–1023.
1997 | Journal Article | IST-REx-ID: 3485
Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus
M. Martina, P.M. Jonas, Journal of Physiology 505 (1997) 593–603.
View
| DOI
M. Martina, P.M. Jonas, Journal of Physiology 505 (1997) 593–603.
1997 | Journal Article | IST-REx-ID: 3486
Action potential propagation into the presynaptic dendrites of rat mitral cells
J. Bischofberger, P.M. Jonas, Journal of Physiology 504 (1997) 359–365.
View
| DOI
J. Bischofberger, P.M. Jonas, Journal of Physiology 504 (1997) 359–365.
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
R. Alur, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88.
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
R. Alur, T.A. Henzinger, Software Tools For Technology Transfer 1 (1997) 86–109.
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
R. Alur, T.A. Henzinger, H. Wong Toi, in:, IEEE, 1997, pp. 702–707.
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
R. Alur, C. Courcoubetis, T.A. Henzinger, Formal Methods in System Design 11 (1997) 137–156.
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
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Springer, 1997, pp. 340–351.
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
R. Alur, T.A. Henzinger, O. Kupferman, in:, IEEE, 1997, pp. 100–109.
1997 | Journal Article | IST-REx-ID: 3630
The effective size of a subdivided population
M. Whitlock, N.H. Barton, Genetics 146 (1997) 427–441.
View
M. Whitlock, N.H. Barton, Genetics 146 (1997) 427–441.
1997 | Journal Article | IST-REx-ID: 3631
Mutational collapse of fitness in marginal habitats and the evolution of ecological specialisation
T. Kawecki, N.H. Barton, J. Fry, Journal of Evolutionary Biology 10 (1997) 407–430.
View
| DOI
T. Kawecki, N.H. Barton, J. Fry, Journal of Evolutionary Biology 10 (1997) 407–430.
1997 | Journal Article | IST-REx-ID: 3632
The strength of indirect selection on female mating preferences
M. Kirkpatrick, N.H. Barton, PNAS 94 (1997) 1282–1286.
View
| DOI
M. Kirkpatrick, N.H. Barton, PNAS 94 (1997) 1282–1286.
1997 | Journal Article | IST-REx-ID: 3633
Evolution of a species' range
M. Kirkpatrick, N.H. Barton, American Naturalist 150 (1997) 1–23.
View
| DOI
M. Kirkpatrick, N.H. Barton, American Naturalist 150 (1997) 1–23.
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
H. Edelsbrunner, N. Shah, International Journal of Computational Geometry and Applications 7 (1997) 365–378.