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.
6492 Publications
2003 | Journal Article | IST-REx-ID: 4254
Navarro, Arcadio, and Nicholas H. Barton. “Accumulating Postzygotic Isolation Genes in Parapatry: A New Twist on Chromosomal Speciation.” Evolution; International Journal of Organic Evolution, vol. 57, no. 3, Wiley-Blackwell, 2003, pp. 447–59, doi:10.1111/j.0014-3820.2003.tb01537.x.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4255
Navarro, Arcadio, and Nicholas H. Barton. “Chromosomal Speciation and Molecular Divergence -- Accelerated Evolution in Rearranged Chromosomes.” Science, vol. 300, no. 5617, American Association for the Advancement of Science, 2003, pp. 321–24, doi:10.1126/science.1080600 .
View
| DOI
2003 | Book Review | IST-REx-ID: 4256
Barton, Nicholas H., and Willem Zuidema. “The Erratic Path towards Complexity.” Current Biology, vol. 13, no. 16, Cell Press, 2003, pp. R649–51, doi:10.1016/S0960-9822(03)00573-6.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4257
Charlesworth, Brian, et al. “The Effects of Genetic and Geographic Structure on Neutral Variation.” Annual Review of Ecology and Systematics, vol. 34, Annual Reviews, 2003, pp. 99–125, doi:10.1146/annurev.ecolsys.34.011802.132359.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4338
Vines, Timothy, et al. “On the Maintenance of Reproductive Isolation in a Mosaic Hybrid Zone between the Toads Bombina Bombina and B. Variegata.” Evolution; International Journal of Organic Evolution, vol. 57, no. 8, Wiley-Blackwell, 2003, pp. 1876–88, doi:10.1111/j.0014-3820.2003.tb00595.x.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4348
Huelsenbeck, John, et al. “Stochastic Mapping of Morphological Characters.” Systematic Biology, vol. 52, no. 2, Oxford University Press, 2003, pp. 131–58, doi:10.1080/10635150390192780.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4350
Harshman, John, et al. “True and False Gharials: A Nuclear Gene Phylogeny of Crocodylia.” Systematic Biology, vol. 52, no. 3, Oxford University Press, 2003, pp. 386–402, doi:10.1080/10635150390197028.
View
| DOI
2003 | Thesis | IST-REx-ID: 4416
Majumdar, Ritankar. Symbolic Algorithms for Verification and Control. University of California, Berkeley, 2003, pp. 1–201.
View
2003 | Thesis | IST-REx-ID: 4425
Horowitz, Benjamin. Giotto: A Time-Triggered Language for Embedded Programming. University of California, Berkeley, 2003, pp. 1–237.
View
2003 | Journal Article | IST-REx-ID: 4460
Henzinger, Thomas A., et al. “From Pre-Historic to Post-Modern Symbolic Model Checking.” Formal Methods in System Design, vol. 23, no. 3, Springer, 2003, pp. 303–27, doi:10.1023/A:1026228213080.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4462
Henzinger, Thomas A., et al. Counterexample-Guided Control. Vol. 2719, Springer, 2003, pp. 886–902, doi:10.1007/3-540-45061-0_69.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4463
Henzinger, Thomas A., et al. Thread-Modular Abstraction Refinement. Vol. 2725, Springer, 2003, pp. 262–74, doi:10.1007/978-3-540-45069-6_27.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4464
Henzinger, Thomas A., et al. Schedule-Carrying Code. Vol. 2855, ACM, 2003, pp. 241–56, doi:10.1007/978-3-540-45212-6_16.
View
| DOI
2003 | Book Chapter | IST-REx-ID: 4465
Henzinger, Thomas A., et al. “Embedded Control Systems Development with Giotto.” Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–46, doi:10.1002/047172288X.ch8.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4466
Henzinger, Thomas A., et al. On the Universal and Existential Fragments of the Mu-Calculus. Vol. 2619, Springer, 2003, pp. 49–64, doi:10.1007/3-540-36577-X_5.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4467
Henzinger, Thomas A., et al. Software Verification with BLAST. Vol. 2648, Springer, 2003, pp. 235–39, doi:10.1007/3-540-44829-2_17.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4468
Henzinger, Thomas A., et al. “From Control Models to Real-Time Code Using Giotto.” IEEE Control Systems Magazine, vol. 23, no. 1, IEEE, 2003, pp. 50–64, doi:10.1109/MCS.2003.1172829.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4469
Henzinger, Thomas A., et al. “Giotto: A Time-Triggered Language for Embedded Programming.” Proceedings of the IEEE, vol. 91, no. 1, IEEE, 2003, pp. 84–99, doi:10.1109/JPROC.2002.805825.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4561
Chakrabarti, Arindam, et al. Resource Interfaces. Vol. 2855, ACM, 2003, pp. 117–33, doi:10.1007/978-3-540-45212-6_9.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2990
Friml, Jiří. “Auxin Transport - Shaping the Plant.” Current Opinion in Plant Biology, vol. 6, no. 1, Elsevier, 2003, pp. 7–12, doi:10.1016/S1369526602000031.
View
| DOI