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.
75 Publications
2000 | Conference Paper | IST-REx-ID: 4433
Henzinger TA, Rajamani S. 2000. Fair bisimulation. Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1785, 299–314.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4435
Henzinger TA, Majumdar R. 2000. Symbolic model checking for rectangular hybrid systems. Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1785, 142–156.
View
| DOI
2000 | Book Review | IST-REx-ID: 4276
Barton NH. 2000. Population genetics of multiple loci. Genetics Research. 75(3), 371–373.
View
| DOI
| Download None (ext.)
2000 | Journal Article | IST-REx-ID: 4271
Barton NH, Shpak M. 2000. The effects of epistasis on the structure of hybrid zones. Genetical Research. 75(2), 179–198.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4274 | 
Barton NH. 2000. Genetic hitchhiking. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 355(1403), 1553–1562.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4272
Barton NH, Shpak M. 2000. The stability of symmetrical solutions to polygenic models. Theoretical Population Biology. 57(3), 249–263.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4273
Barton NH, Partridge L. 2000. Limits to natural selection. BioEssays. 22(12), 1075–1084.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4269
Coyne J, Barton NH, Turelli M. 2000. Is Wright’s shifting balance process important in evolution? Evolution; International Journal of Organic Evolution. 54(1), 306–317.
View
| DOI
| PubMed | Europe PMC