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.

6306 Publications


2001 | Book Chapter | IST-REx-ID: 4267
Barton NH. 2001.Adaptation at the edge of a species’ range. In: Integrating ecology and evolution in a spatial context. , 365–392.
View
 

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

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

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

2001 | Conference Paper | IST-REx-ID: 4477
Henzinger TA, Minea M, Prabhu V. 2001. Assume-guarantee reasoning for hierarchical 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. 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. EMSOFT: Embedded Software , LNCS, vol. 2211, 166–184.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
Brown T, Pasetti A, Pree W, Henzinger TA, Kirsch C. 2001. A reusable and platform-independent framework for distributed control systems. DASC: Digital Avionics Systems Conference, 1–11.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 2981 | OA
Molendijk A, Bischoff F, Rajendrakumar C, Friml J, Braun M, Gilroy S, Palme K. 2001. Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth. EMBO Journal. 20(11), 2779–2788.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2982
Gil P, Dewey E, Friml J, Zhao Y, Snowden K, Putterill J, Palme K, Estelle M, Chory J. 2001. BIG: A calossin-like protein required for polar auxin transport in Arabidopsis. Genes and Development. 15(15), 1985–1997.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 2984
Swarup R, Friml J, Marchant A, Ljung K, Sandberg G, Palme K, Bennett M. 2001. Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex. Genes and Development. 15(20), 2648–2653.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2985
Trnková L, Friml J, Dračka O. 2001. Elimination voltammetry of adenine and cytosine mixtures. Bioelectrochemistry. 54(2), 131–136.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 3169
Kolmogorov V, Zabih R. 2001. Computing visual correspondence with occlusions using graph cuts. ICCV: International Conference on Computer Vision vol. 2, 508–515.
View | DOI | Download (ext.)
 

2001 | Book Chapter | IST-REx-ID: 3434
Huelsenbeck J, Bollback JP. 2001.Application of the likelihood function in phylogenetic analysis. In: Handbook of Statistical Genetics. , 415–439.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3438
Huelsenbeck J, Ronquist F, Nielsen R, Bollback JP. 2001. Bayesian inference of phylogeny and its impact on evolutionary biology. Science. 294(5550), 2310–2314.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3439
Conn J, Bollback JP, Onyabe D, Robinson T, Wilkerson R, Povoa M. 2001. Isolation of polymorphic microsatellite markers from the malaria vector Anopheles darlingi. Molecular Ecology Notes. 1(4), 223–225.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3440
Huelsenbeck J, Bollback JP. 2001. Empirical and hierarchical Bayesian estimation of ancestral states. Systematic Biology. 50(3), 351–366.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 3447
Chatterjee K, Dasgupta P, Chakrabarti P. 2001. Weighted quantified computation tree logic. CIT: Conference on Information Technology.
View
 

Search

Filter Publications