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.

6122 Publications


2003 | Journal Article | IST-REx-ID: 4348
J. Huelsenbeck, R. Nielsen, and J. P. Bollback, “Stochastic mapping of morphological characters,” Systematic Biology, vol. 52, no. 2. Oxford University Press, pp. 131–58, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4350
J. Harshman, C. Huddleston, J. P. Bollback, T. Parsons, and M. Braun, “True and false gharials: A nuclear gene phylogeny of crocodylia,” Systematic Biology, vol. 52, no. 3. Oxford University Press, pp. 386–402, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4240
J. González, H. de Vladar, and M. Rebolledo, “New Late–Intensification Schedules for Cancer Treatments,” Acta Científica Venezolana, vol. 54. Asociación Venezolana para el Avance de la Ciencia., pp. 263–273, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4338
T. Vines 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, pp. 1876–1888, 2003.
View | DOI
 

2003 | Thesis | IST-REx-ID: 4416
R. Majumdar, “Symbolic algorithms for verification and control,” University of California, Berkeley, 2003.
View
 

2003 | Thesis | IST-REx-ID: 4425
B. Horowitz, “Giotto: A time-triggered language for embedded programming,” University of California, Berkeley, 2003.
View
 

2003 | Journal Article | IST-REx-ID: 4460
T. A. Henzinger, O. Kupferman, and S. Qadeer, “From pre-historic to post-modern symbolic model checking,” Formal Methods in System Design, vol. 23, no. 3. Springer, pp. 303–327, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided control,” presented at the ICALP: Automata, Languages and Programming, 2003, vol. 2719, pp. 886–902.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
T. A. Henzinger, R. Jhala, R. Majumdar, and S. Qadeer, “Thread-modular abstraction refinement,” presented at the CAV: Computer Aided Verification, 2003, vol. 2725, pp. 262–274.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
T. A. Henzinger, C. Kirsch, and S. Matic, “Schedule-carrying code,” presented at the EMSOFT: Embedded Software , 2003, vol. 2855, pp. 241–256.
View | DOI
 

Search

Filter Publications