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.
11038 Publications
2006 | Published | Journal Article | IST-REx-ID: 3013
Paciorek, Tomasz, et al. “Immunocytochemical Technique for Protein Localization in Sections of Plant Tissues.” Nature Protocols, vol. 1, no. 1, Nature Publishing Group, 2006, pp. 104–07, doi:10.1038/nprot.2006.16.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 3014
Brewer, Philip, et al. “In Situ Hybridization for MRNA Detection in Arabidopsis Tissue Sections.” Nature Protocols, vol. 1, no. 3, Nature Publishing Group, 2006, pp. 1462–67, doi:10.1038/nprot.2006.226.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 3015
Sauer, Michael, et al. “Immunocytochemical Techniques for Whole Mount in Situ Protein Localization in Plants.” Nature Protocols, vol. 1, no. 1, Nature Publishing Group, 2006, pp. 98–103, doi:10.1038/nprot.2006.15.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 3016
Sauer, Michael, et al. “Canalization of Auxin Flow by Aux/IAA-ARF-Dependent Feedback Regulation of PIN Polarity.” Genes and Development, vol. 20, no. 20, Cold Spring Harbor Laboratory Press, 2006, pp. 2902–11, doi:10.1101/gad.390806.
View
| Files available
| DOI
2006 | Published | Journal Article | IST-REx-ID: 3017
Tanaka, Hirokazu, et al. “Spatiotemporal Asymmetric Auxin Distribution: A Means to Coordinate Plant Development.” Cellular and Molecular Life Sciences, vol. 63, no. 23, Birkhäuser, 2006, pp. 2738–54, doi:10.1007/s00018-006-6116-5.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 3018
Kleine Vehn, Jürgen, et al. “Subcellular Trafficking of the Arabidopsis Auxin Influx Carrier AUX1 Uses a Novel Pathway Distinct from PIN1.” Plant Cell, vol. 18, no. 11, American Society of Plant Biologists, 2006, pp. 3171–81, doi:10.1105/tpc.106.042770.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 3020
Hejátko, Jan, et al. “In Situ Hybridization Technique for MRNA Detection in Whole Mount Arabidopsis Samples.” Nature Protocols, vol. 1, no. 4, Nature Publishing Group, 2006, pp. 1939–46, doi:10.1038/nprot.2006.333.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 4248
Roze, Denis, and Nicholas H. Barton. “The Hill-Robertson Effect and the Evolution of Recombination.” Genetics, vol. 173, no. 3, Genetics Society of America, 2006, pp. 1793–811, doi:10.1534/genetics.106.058586 .
View
| DOI
2006 | Published | Book Review | IST-REx-ID: 4250
Barton, Nicholas H. “Evolutionary Biology: How Did the Human Species Form?” Current Biology, vol. 16, no. 16, Cell Press, 2006, pp. 647–50, doi:10.1016/j.cub.2006.07.032.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 4351
Bollback, Jonathan P. “SIMMAP: Stochastic Character Mapping of Discrete Traits on Phylogenies.” BMC Bioinformatics, vol. 7, BioMed Central, 2006, doi:10.1186/1471-2105-7-88.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 4352
Conn, Jan, et al. “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, vol. 74, no. 5, American Society of Tropical Medicine and Hygiene, 2006, pp. 798–806.
View
| Download (ext.)
2006 | Published | Conference Paper | IST-REx-ID: 4406
De Wulf, Martin, et al. Antichains: A New Algorithm for Checking Universality of Finite Automata. Vol. 4144, Springer, 2006, pp. 17–30, doi:10.1007/11817963_5.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4431
Henzinger, Thomas A., and Joseph Sifakis. The Embedded Systems Design Challenge. Vol. 4085, Springer, 2006, pp. 1–15, doi:10.1007/11813040_1.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4432
Henzinger, Thomas A., and Vinayak Prabhu. Timed Alternating-Time Temporal Logic. Vol. 4202, Springer, 2006, pp. 1–17, doi:10.1007/11867340_1.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4436
Henzinger, Thomas A., and Slobodan Matic. An Interface Algebra for Real-Time Components. IEEE, 2006, pp. 253–66, doi:10.1109/RTAS.2006.11.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4437
Henzinger, Thomas A., and Nir Piterman. Solving Games without Determinization. Vol. 4207, Springer, 2006, pp. 395–410, doi:10.1007/11874683_26.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 4451
Henzinger, Thomas A., et al. “On the Universal and Existential Fragments of the Mu-Calculus.” Theoretical Computer Science, vol. 354, no. 2, Elsevier, 2006, pp. 173–86, doi:10.1016/j.tcs.2005.11.015.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4523
Gulavani, Bhargav, et al. Synergy: A New Algorithm for Property Checking. ACM, 2006, pp. 117–27, doi:10.1145/1181775.1181790.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4526
Ghosal, Arkadeb, et al. A Hierarchical Coordination Language for Interacting Real-Time Tasks. ACM, 2006, pp. 132–41, doi:10.1145/1176887.1176907.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4528
Fisher, Jasmin, and Thomas A. Henzinger. Executable Biology. IEEE, 2006, pp. 1675–82, doi:10.1109/WSC.2006.322942.
View
| DOI