Please note that ISTA 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.

89 Publications


2001 | Conference Paper | IST-REx-ID: 4477
T. A. Henzinger, M. Minea, and V. Prabhu, “Assume-guarantee reasoning for hierarchical hybrid systems,” in Proceedings of the 4th International Workshop on Hybrid Systems, Rome, Italy, 2001, vol. 2034, pp. 275–290.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” in Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems, New York, NY, United States, 2001, pp. 64–72.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” in Proceedings of the 1st International Workshop on Embedded Software, Tahoe City, CA, USA, 2001, vol. 2211, pp. 166–184.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
T. A. Henzinger, J. Preussig, and H. Wong Toi, “Some lessons from the HYTECH experience,” in Proceedings of the 40th IEEE Conference on Decision and Control, Orlando, FL, USA, 2001, vol. 3, pp. 2887–2892.
View | DOI
 

2001 | Conference (Editor) | IST-REx-ID: 4449
T. A. Henzinger, Ed., EMSOFT: Embedded Software, vol. 2211. ACM, 2001.
View | DOI
 

2001 | Book Chapter | IST-REx-ID: 4278
N. H. Barton, “The evolutionary consequences of gene flow and local adaptation: Future approaches,” in Dispersal, Oxford University Press, 2001.
View | Download None (ext.)
 

2001 | Journal Article | IST-REx-ID: 4200 | OA
C.-P. J. Heisenberg et al., “A mutation in the Gsk3-binding domain of zebrafish Masterblind/Axin1 leads to a fate transformation of telencephalon and eyes to diencephalon,” Genes and Development, vol. 15, no. 11. Cold Spring Harbor Laboratory Press, pp. 1427–1434, 2001.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 4266
N. H. Barton, “The role of hybridization in evolution,” Molecular Ecology, vol. 10, no. 3. Wiley-Blackwell, pp. 551–568, 2001.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 4265
S. Otto and N. H. Barton, “Selection for recombination in small populations,” Evolution; International Journal of Organic Evolution, vol. 55, no. 10. Wiley-Blackwell, pp. 1921–1931, 2001.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 4229
J. P. Bollback and J. Huelsenbeck, “Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae),” Journal of Molecular Evolution, vol. 52, no. 2. Springer, pp. 117–128, 2001.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=2001

Search

Filter Publications