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 | Conference Paper | IST-REx-ID: 3999
Edelsbrunner, Herbert, and Alper Üngör. “Relaxed Scheduling in Dynamic Skin Triangulation,” 2866:135–51. Springer, 2003. https://doi.org/10.1007/978-3-540-44400-8_14.
View | DOI
 

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 57, no. 3 (2003): 447–59. https://doi.org/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 300, no. 5617 (2003): 321–24. https://doi.org/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. Cell Press, 2003. https://doi.org/10.1016/S0960-9822(03)00573-6.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4257
Charlesworth, Brian, Deborah Charlesworth, and Nicholas H Barton. “The Effects of Genetic and Geographic Structure on Neutral Variation.” Annual Review of Ecology and Systematics 34 (2003): 99–125. https://doi.org/10.1146/annurev.ecolsys.34.011802.132359.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4338
Vines, Timothy, S C Kohler, M Thiel, Ioan Ghira, T R Sands, Catriona Maccallum, Nicholas H Barton, and Beate Nürnberger. “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, no. 8 (2003): 1876–88. https://doi.org/10.1111/j.0014-3820.2003.tb00595.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4348
Huelsenbeck, John, Rasmus Nielsen, and Jonathan P Bollback. “Stochastic Mapping of Morphological Characters.” Systematic Biology 52, no. 2 (2003): 131–58. https://doi.org/10.1080/10635150390192780.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4350
Harshman, John, Christopher Huddleston, Jonathan P Bollback, Thomas Parsons, and Michael Braun. “True and False Gharials: A Nuclear Gene Phylogeny of Crocodylia.” Systematic Biology 52, no. 3 (2003): 386–402. https://doi.org/10.1080/10635150390197028.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4460
Henzinger, Thomas A, Orna Kupferman, and Shaz Qadeer. “From Pre-Historic to Post-Modern Symbolic Model Checking.” Formal Methods in System Design 23, no. 3 (2003): 303–27. https://doi.org/10.1023/A:1026228213080.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Control,” 2719:886–902. Springer, 2003. https://doi.org/10.1007/3-540-45061-0_69.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Shaz Qadeer. “Thread-Modular Abstraction Refinement,” 2725:262–74. Springer, 2003. https://doi.org/10.1007/978-3-540-45069-6_27.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Schedule-Carrying Code,” 2855:241–56. ACM, 2003. https://doi.org/10.1007/978-3-540-45212-6_16.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 4465
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto.” In Software-Enabled Control: Information Technology for Dynamical Systems, 123–46. Wiley-Blackwell, 2003. https://doi.org/10.1002/047172288X.ch8.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4466
Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus,” 2619:49–64. Springer, 2003. https://doi.org/10.1007/3-540-36577-X_5.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4467
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Software Verification with BLAST,” 2648:235–39. Springer, 2003. https://doi.org/10.1007/3-540-44829-2_17.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4468
Henzinger, Thomas A, Christoph Kirsch, Marco Sanvido, and Wolfgang Pree. “From Control Models to Real-Time Code Using Giotto.” IEEE Control Systems Magazine 23, no. 1 (2003): 50–64. https://doi.org/10.1109/MCS.2003.1172829.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4469
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming.” Proceedings of the IEEE 91, no. 1 (2003): 84–99. https://doi.org/10.1109/JPROC.2002.805825.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4561
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Mariëlle Stoelinga. “Resource Interfaces,” 2855:117–33. ACM, 2003. https://doi.org/10.1007/978-3-540-45212-6_9.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Discounting the Future in Systems Theory,” 2719:1022–37. Springer, 2003. https://doi.org/10.1007/3-540-45061-0_79.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4630
De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “The Element of Surprise in Timed Games,” 2761:144–58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003. https://doi.org/10.1007/978-3-540-45187-7_9.
View | DOI
 

Filters and Search Terms

year=2003

Search

Filter Publications