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.
10962 Publications
2006 | Published | Journal Article | IST-REx-ID: 3014
In situ hybridization for mRNA detection in Arabidopsis tissue sections
P. Brewer, M. Heisler, J. Hejátko, J. Friml, E. Benková, Nature Protocols 1 (2006) 1462–1467.
View
| DOI
P. Brewer, M. Heisler, J. Hejátko, J. Friml, E. Benková, Nature Protocols 1 (2006) 1462–1467.
2006 | Published | Journal Article | IST-REx-ID: 3015
Immunocytochemical techniques for whole mount in situ protein localization in plants
M. Sauer, T. Paciorek, E. Benková, J. Friml, Nature Protocols 1 (2006) 98–103.
View
| DOI
M. Sauer, T. Paciorek, E. Benková, J. Friml, Nature Protocols 1 (2006) 98–103.
2006 | Published | Journal Article | IST-REx-ID: 3016
Canalization of auxin flow by Aux/IAA-ARF-dependent feedback regulation of PIN polarity
M. Sauer, J. Balla, C. Luschnig, J. Wiśniewska, V. Reinöhl, J. Friml, E. Benková, Genes and Development 20 (2006) 2902–2911.
View
| Files available
| DOI
M. Sauer, J. Balla, C. Luschnig, J. Wiśniewska, V. Reinöhl, J. Friml, E. Benková, Genes and Development 20 (2006) 2902–2911.
2006 | Published | Journal Article | IST-REx-ID: 3017
Spatiotemporal asymmetric auxin distribution: A means to coordinate plant development
H. Tanaka, P. Dhonukshe, P. Brewer, J. Friml, Cellular and Molecular Life Sciences 63 (2006) 2738–2754.
View
| DOI
H. Tanaka, P. Dhonukshe, P. Brewer, J. Friml, Cellular and Molecular Life Sciences 63 (2006) 2738–2754.
2006 | Published | Journal Article | IST-REx-ID: 3018
Subcellular trafficking of the Arabidopsis auxin influx carrier AUX1 uses a novel pathway distinct from PIN1
J. Kleine Vehn, P. Dhonukshe, R. Swarup, M. Bennett, J. Friml, Plant Cell 18 (2006) 3171–3181.
View
| DOI
J. Kleine Vehn, P. Dhonukshe, R. Swarup, M. Bennett, J. Friml, Plant Cell 18 (2006) 3171–3181.
2006 | Published | Journal Article | IST-REx-ID: 3020
In situ hybridization technique for mRNA detection in whole mount Arabidopsis samples
J. Hejátko, I. Blilou, P. Brewer, J. Friml, B. Scheres, E. Benková, Nature Protocols 1 (2006) 1939–1946.
View
| DOI
J. Hejátko, I. Blilou, P. Brewer, J. Friml, B. Scheres, E. Benková, Nature Protocols 1 (2006) 1939–1946.
2006 | Published | Journal Article | IST-REx-ID: 4248
The Hill-Robertson effect and the evolution of recombination
D. Roze, N.H. Barton, Genetics 173 (2006) 1793–1811.
View
| DOI
D. Roze, N.H. Barton, Genetics 173 (2006) 1793–1811.
2006 | Published | Book Review | IST-REx-ID: 4250
Evolutionary Biology: How did the human species form?
N.H. Barton, Current Biology 16 (2006) 647–650.
View
| DOI
N.H. Barton, Current Biology 16 (2006) 647–650.
2006 | Published | Journal Article | IST-REx-ID: 4351
SIMMAP: stochastic character mapping of discrete traits on phylogenies
J.P. Bollback, BMC Bioinformatics 7 (2006).
View
| DOI
J.P. Bollback, BMC Bioinformatics 7 (2006).
2006 | Published | Journal Article | IST-REx-ID: 4352
Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil
J. Conn, J. Vineis, J.P. Bollback, D. Onyabe, R. Wilkerson, M. Povoa, The American Journal of Tropical Medicine and Hygiene 74 (2006) 798–806.
View
| Download (ext.)
J. Conn, J. Vineis, J.P. Bollback, D. Onyabe, R. Wilkerson, M. Povoa, The American Journal of Tropical Medicine and Hygiene 74 (2006) 798–806.
2006 | Published | Conference Paper | IST-REx-ID: 4406
Antichains: A new algorithm for checking universality of finite automata
M. De Wulf, L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2006, pp. 17–30.
View
| DOI
M. De Wulf, L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2006, pp. 17–30.
2006 | Published | Conference Paper | IST-REx-ID: 4431
The embedded systems design challenge
T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.
View
| DOI
T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.
2006 | Published | Conference Paper | IST-REx-ID: 4432
Timed alternating-time temporal logic
T.A. Henzinger, V. Prabhu, in:, Springer, 2006, pp. 1–17.
View
| DOI
T.A. Henzinger, V. Prabhu, in:, Springer, 2006, pp. 1–17.
2006 | Published | Conference Paper | IST-REx-ID: 4436
An interface algebra for real-time components
T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.
View
| DOI
T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.
2006 | Published | Conference Paper | IST-REx-ID: 4437
Solving games without determinization
T.A. Henzinger, N. Piterman, in:, Springer, 2006, pp. 395–410.
View
| DOI
T.A. Henzinger, N. Piterman, in:, Springer, 2006, pp. 395–410.
2006 | Published | Journal Article | IST-REx-ID: 4451
On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.
View
| DOI
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.
2006 | Published | Conference Paper | IST-REx-ID: 4523
Synergy: A new algorithm for property checking
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.
View
| DOI
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.
2006 | Published | Conference Paper | IST-REx-ID: 4526
A hierarchical coordination language for interacting real-time tasks
A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, A. Sangiovanni Vincentelli, in:, ACM, 2006, pp. 132–141.
View
| DOI
A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, A. Sangiovanni Vincentelli, in:, ACM, 2006, pp. 132–141.
2006 | Published | Conference Paper | IST-REx-ID: 4528
Executable biology
J. Fisher, T.A. Henzinger, in:, IEEE, 2006, pp. 1675–1682.
View
| DOI
J. Fisher, T.A. Henzinger, in:, IEEE, 2006, pp. 1675–1682.
2006 | Published | Conference Paper | IST-REx-ID: 4538
Strategy improvement and randomized subexponential algorithms for stochastic parity games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 512–523.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 512–523.