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.

6285 Publications


2000 | Journal Article | IST-REx-ID: 4270
Galtier, N., Depaulis, F., & Barton, N. H. (2000). Detecting bottlenecks and selective sweeps from DNA sequence polymorphism. Genetics. Genetics Society of America.
View
 

2000 | Journal Article | IST-REx-ID: 4271
Barton, N. H., & Shpak, M. (2000). The effects of epistasis on the structure of hybrid zones. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672399004334
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4272
Barton, N. H., & Shpak, M. (2000). The stability of symmetrical solutions to polygenic models. Theoretical Population Biology. Academic Press. https://doi.org/10.1006/tpbi.2000.1455
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4273
Barton, N. H., & Partridge, L. (2000). Limits to natural selection. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. Wiley-Blackwell. https://doi.org/10.1002/1521-1878(200012)22:12<1075::AID-BIES5>3.0.CO;2-M
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4274 | OA
Barton, N. H. (2000). Genetic hitchhiking. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.2000.0716
View | DOI | Download (ext.)
 

2000 | Book Chapter | IST-REx-ID: 4275
Barton, N. H. (2000). Differentiation. In Encyclopedia of Biodiversity (pp. 85–94). Academic Press. https://doi.org/10.1016/B0-12-226865-2/00070-5
View | DOI
 

2000 | Book Review | IST-REx-ID: 4276
Barton, N. H. (2000). Population genetics of multiple loci. Genetical Research. Cambridge University Press.
View
 

2000 | Conference Paper | IST-REx-ID: 4433
Henzinger, T. A., & Rajamani, S. (2000). Fair bisimulation (Vol. 1785, pp. 299–314). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/3-540-46419-0_21
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
Henzinger, T. A., & Raskin, J. (2000). Robust undecidability of timed and hybrid systems (Vol. 1790, pp. 145–159). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/3-540-46430-1_15
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, T. A., & Majumdar, R. (2000). Symbolic model checking for rectangular hybrid systems (Vol. 1785, pp. 142–156). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/3-540-46419-0_11
View | DOI
 

Search

Filter Publications