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.

6313 Publications


2001 | Conference Paper | IST-REx-ID: 4475
Henzinger TA, Preussig J, Wong Toi H. Some lessons from the HYTECH experience. In: Vol 3. IEEE; 2001:2887-2892. doi:10.1109/.2001.980714
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4477
Henzinger TA, Minea M, Prabhu V. Assume-guarantee reasoning for hierarchical hybrid systems. In: Vol 2034. Springer; 2001:275-290. doi:10.1007/3-540-45351-2_24
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Henzinger TA, Horowitz B, Kirsch C. Embedded control systems development with Giotto. In: ACM; 2001:64-72. doi:10.1145/384197.384208
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger TA, Horowitz B, Kirsch C. Giotto: A time-triggered language for embedded programming. In: Vol 2211. ACM; 2001:166-184. doi:1303
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
Brown T, Pasetti A, Pree W, Henzinger TA, Kirsch C. A reusable and platform-independent framework for distributed control systems. In: IEEE; 2001:1-11. doi:10.1109/DASC.2001.964169
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design. 2001;18(2):97-116. doi:10.1023/A:1008767206905
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2981 | OA
Molendijk A, Bischoff F, Rajendrakumar C, et al. Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth. EMBO Journal. 2001;20(11):2779-2788. doi:10.1093/emboj/20.11.2779
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2982
Gil P, Dewey E, Friml J, et al. BIG: A calossin-like protein required for polar auxin transport in Arabidopsis. Genes and Development. 2001;15(15):1985-1997. doi:10.1101/gad.905201
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2983
Geldner N, Friml J, Stierhof Y, Jürgens G, Palme K. Auxin transport inhibitors block PIN1 cycling and vesicle trafficking. Nature. 2001;413(6854):425-428. doi:10.1038/35096571
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2984
Swarup R, Friml J, Marchant A, et al. Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex. Genes and Development. 2001;15(20):2648-2653. doi:10.1101/gad.210501
View | DOI
 

Search

Filter Publications