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.

5625 Publications


1997 | Journal Article | IST-REx-ID: 3631
T. Kawecki, N. H. Barton, and J. Fry, “Mutational collapse of fitness in marginal habitats and the evolution of ecological specialisation,” Journal of Evolutionary Biology, vol. 10, no. 3, pp. 407–430, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3484
J. Geiger, J. Lubke, A. Roth, M. Frotscher, and P. M. Jonas, “Submillisecond AMPA receptor-mediated signaling at a principal neuron-interneuron synapse,” Neuron, vol. 18, no. 6, pp. 1009–1023, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4021
H. Edelsbrunner and R. Waupotitsch, “A combinatorial approach to cartograms,” Computational Geometry: Theory and Applications, vol. 7, no. 5–6, pp. 343–360, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4285
S. Otto and N. H. Barton, “The evolution of recombination: Removing the limits to natural selection,” Genetics, vol. 147, no. 2, pp. 879–906, 1997.
View
 

1997 | Conference Paper | IST-REx-ID: 4494
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: A model checker for hybrid systems,” presented at the CAV: Computer Aided Verification, 1997, vol. 1254, pp. 460–463.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4583
R. Alur and T. A. Henzinger, “Modularity for timed and hybrid systems,” presented at the CONCUR: Concurrency Theory, 1997, vol. 1243, pp. 74–88.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4608
R. Alur, R. Brayton, T. A. Henzinger, S. Qadeer, and S. Rajamani, “Partial-order reduction in symbolic state-space exploration,” presented at the CAV: Computer Aided Verification, 1997, vol. 1254, pp. 340–351.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2576
J. Li, T. Kaneko, R. Shigemoto, and N. Mizuno, “Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat,” Journal of Comparative Neurology, vol. 378, no. 4, pp. 508–521, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3632
M. Kirkpatrick and N. H. Barton, “The strength of indirect selection on female mating preferences,” PNAS, vol. 94, no. 4, pp. 1282–1286, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3485
M. Martina and P. M. Jonas, “Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus,” Journal of Physiology, vol. 505, no. 3, pp. 593–603, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4022
H. Edelsbrunner, P. Valtr, and E. Welzl, “Cutting dense point sets in half,” Discrete & Computational Geometry, vol. 17, no. 3, pp. 243–255, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4286
J. Piálek and N. H. Barton, “The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes,” Genetics, vol. 145, no. 2, pp. 493–504, 1997.
View
 

1997 | Book Chapter | IST-REx-ID: 4293
N. H. Barton and M. Whitlock, “The evolution of metapopulations,” in Metapopulation Biology, Academic Press, 1997, pp. 183–210.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4438
T. A. Henzinger and O. Kupferman, “From quantity to quality,” presented at the HART: Hybrid and Real-Time Systems, 1997, vol. 1201, pp. 48–62.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4584
R. Alur and T. A. Henzinger, “Real-time system = discrete system + clock variables,” Software Tools For Technology Transfer, vol. 1, no. 1–2, pp. 86–109, 1997.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” presented at the FOCS: Foundations of Computer Science, 1997, pp. 100–109.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2577
Y. Tone et al., “The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase,” European Journal of Cell Biology, vol. 72, no. 3, pp. 268–277, 1997.
View
 

1997 | Journal Article | IST-REx-ID: 2729
L. Erdös and J. Solovej, “Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates,” Communications in Mathematical Physics, vol. 188, no. 3, pp. 599–656, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3633
M. Kirkpatrick and N. H. Barton, “Evolution of a species’ range,” American Naturalist, vol. 150, no. 1, pp. 1–23, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3486
J. Bischofberger and P. M. Jonas, “Action potential propagation into the presynaptic dendrites of rat mitral cells,” Journal of Physiology, vol. 504, no. Pt 2, pp. 359–365, 1997.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed