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.

48 Publications


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

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
 

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
 

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: 4285
The evolution of recombination: Removing the limits to natural selection
S. Otto, N.H. Barton, Genetics 147 (1997) 879–906.
View
 

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: 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 | 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 | 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: 3632
The strength of indirect selection on female mating preferences
M. Kirkpatrick, N.H. Barton, PNAS 94 (1997) 1282–1286.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3485 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: 4286 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 | 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: 4609
Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, in:, IEEE, 1997, pp. 100–109.
View | DOI
 

Filters and Search Terms

year=1997

Search

Filter Publications

Display / Sort

Export / Embed