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.

84 Publications


2001 | Journal Article | IST-REx-ID: 4002
Cheng, Siu, Herbert Edelsbrunner, Ping Fu, and Ka Lam. “Design and Analysis of Planar Shape Deformation.” Computational Geometry: Theory and Applications 19, no. 2–3 (2001): 205–18. https://doi.org/10.1016/S0925-7721(01)00020-7.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4005
Cheng, Ho, Tamal Dey, Herbert Edelsbrunner, and John Sullivan. “Dynamic Skin Triangulation,” 47–56. SIAM, 2001.
View
 

2001 | Journal Article | IST-REx-ID: 4006
Edelsbrunner, Herbert. “180 Wrapped Tubes.” Journal of Universal Computer Science 7, no. 5 (2001): 379–99. https://doi.org/10.3217/jucs-007-05-0379.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4007
Cheng, Ho, Tamal Dey, Herbert Edelsbrunner, and John Sullivan. “Dynamic Skin Triangulation.” Discrete & Computational Geometry 25, no. 4 (2001): 525–68. https://doi.org/10.1007/s00454-001-0007-1.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4229
Bollback, Jonathan P, and John Huelsenbeck. “Phylogeny, Genome Evolution, and Host Specificity of Single-Stranded RNA Bacteriophage (Family Leviviridae).” Journal of Molecular Evolution 52, no. 2 (2001): 117–28. https://doi.org/10.1007/s002390010140.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4264
Turelli, Michael, Nicholas H Barton, and Jerry Coyne. “Theory and Speciation.” Trends in Ecology and Evolution 16, no. 7 (2001): 330–43. https://doi.org/10.1016/S0169-5347(01)02177-2.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4265
Otto, Sarah, and Nicholas H Barton. “Selection for Recombination in Small Populations.” Evolution; International Journal of Organic Evolution 55, no. 10 (2001): 1921–31. https://doi.org/10.1111/j.0014-3820.2001.tb01310.x.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4266
Barton, Nicholas H. “The Role of Hybridisation in Evolution.” Molecular Ecology 10, no. 3 (2001): 551–68. https://doi.org/10.1046/j.1365-294X.2001.01216.x.
View | DOI
 

2001 | Book Chapter | IST-REx-ID: 4267
Barton, Nicholas H. “Adaptation at the Edge of a Species’ Range.” In Integrating Ecology and Evolution in a Spatial Context, 365–92. Cambridge University Press, 2001.
View
 

2001 | Book Chapter | IST-REx-ID: 4278
Barton, Nicholas H. “The Evolutionary Consequences of Gene Flow and Local Adaptation: Future Approaches.” In Dispersal. Oxford University Press, 2001.
View
 

2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger, Thomas A, and Christoph Kirsch. EMSOFT: Embedded Software. EMSOFT: Embedded Software . Vol. 2211. ACM, 2001. https://doi.org/10.1007/3-540-45449-7.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
Henzinger, Thomas A, Joerg Preussig, and Howard Wong Toi. “Some Lessons from the HYTECH Experience,” 3:2887–92. IEEE, 2001. https://doi.org/10.1109/.2001.980714.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4477
Henzinger, Thomas A, Marius Minea, and Vinayak Prabhu. “Assume-Guarantee Reasoning for Hierarchical Hybrid Systems,” 2034:275–90. Springer, 2001. https://doi.org/10.1007/3-540-45351-2_24.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto,” 64–72. ACM, 2001. https://doi.org/10.1145/384197.384208.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming,” 2211:166–84. ACM, 2001. https://doi.org/1303.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
Brown, Timothy, Alessandro Pasetti, Wolfgang Pree, Thomas A Henzinger, and Christoph Kirsch. “A Reusable and Platform-Independent Framework for Distributed Control Systems,” 1–11. IEEE, 2001. https://doi.org/10.1109/DASC.2001.964169.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
Alur, Rajeev, Robert Brayton, Thomas A Henzinger, Shaz Qadeer, and Sriram Rajamani. “Partial-Order Reduction in Symbolic State-Space Exploration.” Formal Methods in System Design 18, no. 2 (2001): 97–116. https://doi.org/10.1023/A:1008767206905.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4600
Alur, Rajeev, Luca De Alfaro, Radu Grosu, Thomas A Henzinger, Myong Kang, Christoph Kirsch, Ritankar Majumdar, Freddy Mang, and Bow Wang. “JMocha: A Model-Checking Tool That Exploits Design Structure,” 835–36. IEEE, 2001. https://doi.org/10.1109/ICSE.2001.919196.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro, Luca, and Thomas A Henzinger. “Interface Automata,” 109–20. ACM, 2001. https://doi.org/10.1145/503209.503226.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro, Luca, and Thomas A Henzinger. “Interface Theories for Component-Based Design,” 2211:148–65. ACM, 2001. https://doi.org/10.1007/3-540-45449-7_11.
View | DOI
 

Filters and Search Terms

year=2001

Search

Filter Publications