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.

230 Publications


2006 | Published | Journal Article | IST-REx-ID: 3011
Wiśniewska J, Xu J, Seifertová D, Brewer P, Růžička K, Blilou I, Rouquié D, Benková E, Scheres B, Friml J. 2006. Polar PIN localization directs auxin flow in plants. Science. 312(5775).
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 3012
Petrášek J, Mravec J, Bouchard R, Blakeslee J, Abas MF, Seifertová D, Wiśniewska J, Tadele Z, Kubeš M, Čovanová M, Dhonukshe P, Skůpa P, Benková E, Perry L, Křeček P, Lee O, Fink G, Geisler M, Murphy A, Luschnig C, Zažímalová E, Friml J. 2006. PIN proteins perform a rate-limiting function in cellular auxin efflux. Science. 312(5775), 914–918.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 3013
Paciorek T, Sauer M, Balla J, Wiśniewska J, Friml J. 2006. Immunocytochemical technique for protein localization in sections of plant tissues. Nature Protocols. 1(1), 104–107.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 3014
Brewer P, Heisler M, Hejátko J, Friml J, Benková E. 2006. In situ hybridization for mRNA detection in Arabidopsis tissue sections. Nature Protocols. 1(3), 1462–1467.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 3015
Sauer M, Paciorek T, Benková E, Friml J. 2006. Immunocytochemical techniques for whole mount in situ protein localization in plants. Nature Protocols. 1(1), 98–103.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 3016
Sauer M, Balla J, Luschnig C, Wiśniewska J, Reinöhl V, Friml J, Benková E. 2006. Canalization of auxin flow by Aux/IAA-ARF-dependent feedback regulation of PIN polarity. Genes and Development. 20(20), 2902–2911.
View | Files available | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 3017
Tanaka H, Dhonukshe P, Brewer P, Friml J. 2006. Spatiotemporal asymmetric auxin distribution: A means to coordinate plant development. Cellular and Molecular Life Sciences. 63(23), 2738–2754.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 3018
Kleine Vehn J, Dhonukshe P, Swarup R, Bennett M, Friml J. 2006. Subcellular trafficking of the Arabidopsis auxin influx carrier AUX1 uses a novel pathway distinct from PIN1. Plant Cell. 18(11), 3171–3181.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 3020
Hejátko J, Blilou I, Brewer P, Friml J, Scheres B, Benková E. 2006. In situ hybridization technique for mRNA detection in whole mount Arabidopsis samples. Nature Protocols. 1(4), 1939–1946.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4248
Roze D, Barton NH. 2006. The Hill-Robertson effect and the evolution of recombination. Genetics. 173(3), 1793–1811.
View | DOI
 

2006 | Published | Book Review | IST-REx-ID: 4250
Barton NH. 2006. Evolutionary Biology: How did the human species form? Current Biology. 16(16), 647–650.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4351
Bollback JP. 2006. SIMMAP: stochastic character mapping of discrete traits on phylogenies. BMC Bioinformatics. 7.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4352
Conn J, Vineis J, Bollback JP, Onyabe D, Wilkerson R, Povoa M. 2006. Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil. The American Journal of Tropical Medicine and Hygiene. 74(5), 798–806.
View | Download (ext.)
 

2006 | Published | Conference Paper | IST-REx-ID: 4406
De Wulf M, Doyen L, Henzinger TA, Raskin J. 2006. Antichains: A new algorithm for checking universality of finite automata. CAV: Computer Aided Verification, LNCS, vol. 4144, 17–30.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4431
Henzinger TA, Sifakis J. 2006. The embedded systems design challenge. FM: Formal Methods, LNCS, vol. 4085, 1–15.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4432
Henzinger TA, Prabhu V. 2006. Timed alternating-time temporal logic. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4202, 1–17.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4436
Henzinger TA, Matic S. 2006. An interface algebra for real-time components. RTAS: Real-time and Embedded Technology and Applications Symposium, 253–266.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4437
Henzinger TA, Piterman N. 2006. Solving games without determinization. CSL: Computer Science Logic, LNCS, vol. 4207, 395–410.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4451
Henzinger TA, Kupferman O, Majumdar R. 2006. On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. 354(2), 173–186.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4523
Gulavani B, Henzinger TA, Kannan Y, Nori A, Rajamani S. 2006. Synergy: A new algorithm for property checking. FSE: Foundations of Software Engineering, 117–127.
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed