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.
6224 Publications
2000 | Journal Article | IST-REx-ID: 4147
Sordino, Paolo, et al. “A Mutational Approach to the Study of Development of the Protochordate Ciona Intestinalis (Tunicata, Chordata).” Sarsia, vol. 85, no. 2, Taylor & Francis, 2000, pp. 173–76.
View
2000 | Journal Article | IST-REx-ID: 4197
Heisenberg, Carl-Philipp J., et al. “Silberblick/Wnt11 Mediates Convergent Extension Movements during Zebrafish Gastrulation.” Nature, vol. 405, no. 6782, Nature Publishing Group, 2000, pp. 76–81, doi:10.1038/35011068.
View
| DOI
2000 | Book Review | IST-REx-ID: 4268
Partridge, Linda, and Nicholas H. Barton. “Evolving Evolvability.” Nature, vol. 407, no. 6803, Nature Publishing Group, 2000, pp. 457–58, doi:10.1038/35035173.
View
| DOI
2000 | Journal Article | IST-REx-ID: 4269
Coyne, Jerry, et al. “Is Wright’s Shifting Balance Process Important in Evolution?” Evolution; International Journal of Organic Evolution, vol. 54, no. 1, Wiley-Blackwell, 2000, pp. 306–17, doi:310.1111/j.0014-3820.2000.tb00033.x.
View
| DOI
2000 | Journal Article | IST-REx-ID: 4270
Galtier, Nicolas, et al. “Detecting Bottlenecks and Selective Sweeps from DNA Sequence Polymorphism.” Genetics, vol. 155, no. 2, Genetics Society of America, 2000, pp. 981–87.
View
2000 | Journal Article | IST-REx-ID: 4271
Barton, Nicholas H., and Max Shpak. “The Effects of Epistasis on the Structure of Hybrid Zones.” Genetical Research, vol. 75, no. 2, Cambridge University Press, 2000, pp. 179–98, doi:10.1017/S0016672399004334.
View
| DOI
2000 | Journal Article | IST-REx-ID: 4272
Barton, Nicholas H., and Max Shpak. “The Stability of Symmetrical Solutions to Polygenic Models.” Theoretical Population Biology, vol. 57, no. 3, Academic Press, 2000, pp. 249–63, doi:10.1006/tpbi.2000.1455.
View
| DOI
2000 | Journal Article | IST-REx-ID: 4273
Barton, Nicholas H., and Linda Partridge. “Limits to Natural Selection.” Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology, vol. 22, no. 12, Wiley-Blackwell, 2000, pp. 1075–84, doi:10.1002/1521-1878(200012)22:12<1075::AID-BIES5>3.0.CO;2-M.
View
| DOI
2000 | Journal Article | IST-REx-ID: 4274 | 
Barton, Nicholas H. “Genetic Hitchhiking.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 355, no. 1403, Royal Society, The, 2000, pp. 1553–62, doi:10.1098/rstb.2000.0716.
View
| DOI
| Download (ext.)
2000 | Book Chapter | IST-REx-ID: 4275
Barton, Nicholas H. “Differentiation.” Encyclopedia of Biodiversity, Academic Press, 2000, pp. 85–94, doi:10.1016/B0-12-226865-2/00070-5.
View
| DOI
2000 | Book Review | IST-REx-ID: 4276
Barton, Nicholas H. “Population Genetics of Multiple Loci.” Genetical Research, vol. 75, no. 3, Cambridge University Press, 2000, pp. 371–73.
View
2000 | Conference Paper | IST-REx-ID: 4433
Henzinger, Thomas A., and Sriram Rajamani. Fair Bisimulation. Vol. 1785, Springer, 2000, pp. 299–314, doi:10.1007/3-540-46419-0_21.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4434
Henzinger, Thomas A., and Jean Raskin. Robust Undecidability of Timed and Hybrid Systems. Vol. 1790, Springer, 2000, pp. 145–59, doi:10.1007/3-540-46430-1_15.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, Thomas A., and Ritankar Majumdar. Symbolic Model Checking for Rectangular Hybrid Systems. Vol. 1785, Springer, 2000, pp. 142–56, doi:10.1007/3-540-46419-0_11.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4439
Henzinger, Thomas A., and Ritankar Majumdar. A Classification of Symbolic Transition Systems. Vol. 1770, Springer, 2000, pp. 13–34, doi:10.1007/3-540-46541-3_2.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4481
Henzinger, Thomas A., et al. Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods. Vol. 1790, Springer, 2000, pp. 130–44, doi:10.1007/3-540-46430-1_14.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4482
Henzinger, Thomas A., et al. Abstract Interpretation of Game Properties. Vol. 1824, Springer, 2000, pp. 220–39, doi:10.1007/978-3-540-45099-3_12.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4483
Henzinger, Thomas A., et al. Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. IEEE, 2000, pp. 245–52, doi:10.1109/ICCAD.2000.896481.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4512
Henzinger, Thomas A. Masaccio: A Formal Model for Embedded Components. Vol. 1872, Springer, 2000, pp. 549–63, doi:10.1007/3-540-44929-9_38.
View
| DOI
2000 | Book Chapter | IST-REx-ID: 4513
Henzinger, Thomas A. “The Theory of Hybrid Automata.” Verification of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, vol. 170, Springer, 2000, pp. 265–92.
View