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
Henzinger TA, Minea M, Prabhu V. 2001. Assume-guarantee reasoning for hierarchical hybrid systems. Proceedings of the 4th International Workshop on Hybrid Systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2034, 275–290.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Henzinger TA, Horowitz B, Kirsch C. 2001. Embedded control systems development with Giotto. Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems. LCTES: Languages, Compilers, and Tools for Embedded Systems, 64–72.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger TA, Horowitz B, Kirsch C. 2001. Giotto: A time-triggered language for embedded programming. Proceedings of the 1st International Workshop on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2211, 166–184.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
Henzinger TA, Preussig J, Wong Toi H. 2001. Some lessons from the HYTECH experience. Proceedings of the 40th IEEE Conference on Decision and Control. CDC: Decision and Control vol. 3, 2887–2892.
View | DOI
 

2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger TA ed. 2001. EMSOFT: Embedded Software, ACM,p.
View | DOI
 

2001 | Book Chapter | IST-REx-ID: 4278
Barton NH. 2001.The evolutionary consequences of gene flow and local adaptation: Future approaches. In: Dispersal. .
View | Download None (ext.)
 

2001 | Journal Article | IST-REx-ID: 4200 | OA
Heisenberg C-PJ, Houart C, Take Uchi M, Rauch G, Young N, Coutinho P, Masai I, Caneparo L, Concha M, Geisler R, Dale T, Wilson S, Stemple D. 2001. 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. 15(11), 1427–1434.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 4266
Barton NH. 2001. The role of hybridization in evolution. Molecular Ecology. 10(3), 551–568.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 4265
Otto S, Barton NH. 2001. Selection for recombination in small populations. Evolution; International Journal of Organic Evolution. 55(10), 1921–1931.
View | DOI | PubMed | Europe PMC
 

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

Filters and Search Terms

year=2001

Search

Filter Publications