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.

110 Publications


2003 | Journal Article | IST-REx-ID: 4350
Harshman J, Huddleston C, Bollback JP, Parsons T, Braun M. 2003. True and false gharials: A nuclear gene phylogeny of crocodylia. Systematic Biology. 52(3), 386–402.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4240
González J, de Vladar H, Rebolledo M. 2003. New Late–Intensification Schedules for Cancer Treatments. Acta Científica Venezolana. 54, 263–273.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4338
Vines T, Kohler SC, Thiel M, Ghira I, Sands TR, Maccallum C, Barton NH, Nürnberger B. 2003. 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. 57(8), 1876–1888.
View | DOI
 

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

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

2003 | Journal Article | IST-REx-ID: 4460
Henzinger TA, Kupferman O, Qadeer S. 2003. From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. 23(3), 303–327.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
Henzinger TA, Jhala R, Majumdar R. 2003. Counterexample-guided control. ICALP: Automata, Languages and Programming, LNCS, vol. 2719, 886–902.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
Henzinger TA, Jhala R, Majumdar R, Qadeer S. 2003. Thread-modular abstraction refinement. CAV: Computer Aided Verification, LNCS, vol. 2725, 262–274.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
Henzinger TA, Kirsch C, Matic S. 2003. Schedule-carrying code. EMSOFT: Embedded Software , LNCS, vol. 2855, 241–256.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 4465
Henzinger TA, Horowitz B, Kirsch C. 2003.Embedded control systems development with Giotto. In: Software-Enabled Control: Information Technology for Dynamical Systems. , 123–146.
View | DOI
 

Filters and Search Terms

year=2003

Search

Filter Publications