Please note that ISTA 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.
10152 Publications
1997 | Published | 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
| PubMed | Europe PMC
T. Lee, T. Kaneko, R. Shigemoto, S. Nomura, N. Mizuno, Journal of Comparative Neurology 388 (1997) 250–264.
1997 | Published | 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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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 | Published | 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 | Published | 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 | Published | Book Chapter | IST-REx-ID: 4284
Natural selection and random genetic drift as causes of evolution on islands
N.H. Barton, in:, Evolution on Islands, Oxford University Press, 1997, pp. 102–123.
View
| DOI
| PubMed | Europe PMC
N.H. Barton, in:, Evolution on Islands, Oxford University Press, 1997, pp. 102–123.
1997 | Published | 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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Otto, N.H. Barton, Genetics 147 (1997) 879–906.
1997 | Published | Journal Article | IST-REx-ID: 4286 |
The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes
J. Piálek, N.H. Barton, Genetics 145 (1997) 493–504.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Piálek, N.H. Barton, Genetics 145 (1997) 493–504.
1997 | Published | Journal Article | IST-REx-ID: 4287 |
Perspective: A critique of Sewall Wright's shifting balance theory of evolutionight's shifting balance theory of evolution
J. Coyne, N.H. Barton, M. Turelli, Evolution; International Journal of Organic Evolution 51 (1997) 643–671.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Coyne, N.H. Barton, M. Turelli, Evolution; International Journal of Organic Evolution 51 (1997) 643–671.
1997 | Published | Journal Article | IST-REx-ID: 4288 |
Genetic variation for total fitness in Drosophila melanogaster
K. Fowler, C. Semple, N.H. Barton, L. Partridge, Proceedings of the Royal Society of London Series B Biological Sciences 264 (1997) 191–199.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
K. Fowler, C. Semple, N.H. Barton, L. Partridge, Proceedings of the Royal Society of London Series B Biological Sciences 264 (1997) 191–199.
1997 | Published | Journal Article | IST-REx-ID: 4289 |
Population genetics: A new apportionment of human diversity
N.H. Barton, Current Biology 7 (1997) 757–758.
[Published Version]
View
| DOI
| Download Published Version (ext.)
N.H. Barton, Current Biology 7 (1997) 757–758.
1997 | Published | Book Review | IST-REx-ID: 4290
Natural hybridization and evolution
N.H. Barton, Genetical Research 70 (1997) 178–180.
View
N.H. Barton, Genetical Research 70 (1997) 178–180.
1997 | Published | Book Review | IST-REx-ID: 4291
The ecological detective: Confronting models with data
N.H. Barton, Genetical Research 70 (1997) 180–181.
View
| Download None (ext.)
N.H. Barton, Genetical Research 70 (1997) 180–181.
1997 | Published | Book Chapter | IST-REx-ID: 4293
The evolution of metapopulations
N.H. Barton, M. Whitlock, in:, I. Hanski, M.E. Gilpin (Eds.), Metapopulation Biology, Academic Press, 1997, pp. 183–210.
View
| DOI
N.H. Barton, M. Whitlock, in:, I. Hanski, M.E. Gilpin (Eds.), Metapopulation Biology, Academic Press, 1997, pp. 183–210.
1997 | Published | Conference Paper | IST-REx-ID: 4438
From quantity to quality
T.A. Henzinger, O. Kupferman, in:, Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Springer, 1997, pp. 48–62.
View
| DOI
T.A. Henzinger, O. Kupferman, in:, Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Springer, 1997, pp. 48–62.
1997 | Published | Conference Paper | IST-REx-ID: 4441
Discrete-time control for rectangular hybrid automata
T.A. Henzinger, P. Kopke, in:, Proceedings of the 24th International Colloquium on Automata, Languages and Programming, Springer, 1997, pp. 582–593.
View
| DOI
T.A. Henzinger, P. Kopke, in:, Proceedings of the 24th International Colloquium on Automata, Languages and Programming, Springer, 1997, pp. 582–593.
1997 | Published | Journal Article | IST-REx-ID: 4493
HyTech: A model checker for hybrid systems
T.A. Henzinger, P. Ho, H. Wong Toi, Software Tools For Technology Transfer 1 (1997) 110–122.
View
| DOI
T.A. Henzinger, P. Ho, H. Wong Toi, Software Tools For Technology Transfer 1 (1997) 110–122.
1997 | Published | 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
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1997, pp. 460–463.
1997 | Published | Conference Paper | IST-REx-ID: 4496
Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, in:, Proceedings of the 8th International Conference on Concurrency Theory, Springer, 1997, pp. 273–287.
View
| DOI
T.A. Henzinger, O. Kupferman, S. Rajamani, in:, Proceedings of the 8th International Conference on Concurrency Theory, Springer, 1997, pp. 273–287.
1997 | Published | Conference Paper | IST-REx-ID: 4520
Robust timed automata
V. Gupta, T.A. Henzinger, R. Jagadeesan, in:, Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Springer, 1997, pp. 331–345.
View
| DOI
V. Gupta, T.A. Henzinger, R. Jagadeesan, in:, Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Springer, 1997, pp. 331–345.
1997 | Published | Conference Paper | IST-REx-ID: 4583
Modularity for timed and hybrid systems
R. Alur, T.A. Henzinger, in:, 8th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88.
View
| DOI
R. Alur, T.A. Henzinger, in:, 8th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88.