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 | Book Chapter | IST-REx-ID: 3991
Cheng, Ho, and Herbert Edelsbrunner. “Area and Perimeter Derivatives of a Union of Disks.” Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, vol. 2598, Springer, 2003, pp. 88–97, doi:10.1007/3-540-36477-3_7.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3992
Edelsbrunner, Herbert, and Patrice Koehl. “The Weighted-Volume Derivative of a Space-Filling Diagram.” PNAS, vol. 100, no. 5, National Academy of Sciences, 2003, pp. 2203–08, doi:10.1073/pnas.0537830100.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3993
Edelsbrunner, Herbert, et al. “Hierarchical Morse-Smale Complexes for Piecewise Linear 2-Manifolds.” Discrete & Computational Geometry, vol. 30, no. 1, Springer, 2003, pp. 87–107, doi:10.1007/s00454-003-2926-5.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3994
Cheng, Ho, and Herbert Edelsbrunner. “Area, Perimeter and Derivatives of a Skin Curve.” Computational Geometry: Theory and Applications, vol. 26, no. 2, Elsevier, 2003, pp. 173–92, doi:10.1016/S0925-7721(02)00124-4.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3997
Bremer, Peer, et al. A Multi-Resolution Data Structure for Two-Dimensional Morse-Smale Functions. IEEE, 2003, pp. 139–46, doi:10.1109/VISUAL.2003.1250365.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3999
Edelsbrunner, Herbert, and Alper Üngör. Relaxed Scheduling in Dynamic Skin Triangulation. Vol. 2866, Springer, 2003, pp. 135–51, doi: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, 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 | 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
 

Filters and Search Terms

year=2003

Search

Filter Publications