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.
10945 Publications
2008 | Published | Journal Article | IST-REx-ID: 3040
Kleine Vehn, Jürgen, et al. “Cellular and Molecular Requirements for Polar PIN Targeting and Transcytosis in Plants.” Molecular Plant, vol. 1, no. 6, Oxford University Press, 2008, pp. 1056–66, doi:10.1093/mp/ssn062.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3041
Santelia, Diana, et al. “Flavonoids Redirect PIN Mediated Polar Auxin Fluxes during Root Gravitropic Responses.” Journal of Biological Chemistry, vol. 283, no. 45, American Society for Biochemistry and Molecular Biology, 2008, pp. 31218–26, doi: 10.1074/jbc.M710122200.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3042
Kleine Vehn, Jürgen, et al. “Differential Degradation of PIN2 Auxin Efflux Carrier by Retromer Dependent Vacuolar Targeting.” PNAS, vol. 105, no. 46, National Academy of Sciences, 2008, pp. 17812–17, doi:10.1073/pnas.0808073105.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3043
Kleine Vehn, Jürgen, and Jiří Friml. “Polar Targeting and Endocytic Recycling in Auxin-Dependent Plant Development.” Annual Review of Cell and Developmental Biology, vol. 24, Annual Reviews, 2008, pp. 447–73, doi:10.1146/annurev.cellbio.24.110707.175254.
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 3044
Mravec, Jozef, et al. “Interaction of PIN and PGP Transport Mechanisms in Auxin Distribution-Dependent Development.” Development, vol. 135, no. 20, Company of Biologists, 2008, pp. 3345–54, doi:10.1242/dev.021071.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3045
Dhonukshe, Pankaj, et al. “Generation of Cell Polarity in Plants Links Endocytosis Auxin Distribution and Cell Fate Decisions.” Nature, vol. 456, no. 7224, Nature Publishing Group, 2008, pp. 962–66, doi:10.1038/nature07409.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 4227
Bollenbach, Tobias, et al. “Precision of the Dpp Gradient.” Development, vol. 135, no. 6, Company of Biologists, 2008, pp. 1137–46, doi:10.1242/dev.012062.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4244
Yang, Erfu, et al. A Novel Shifting Balance Theory-Based Approach to Optimization of an Energy-Constrained Modulation Scheme for Wireless Sensor Networks. IEEE, 2008, pp. 2749–56, doi:10.1109/CEC.2008.4631167.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 4245
Pannebakker, Bart, et al. “Effects of Spontaneous Mutation Accumulation on Sex Ratio Traits.” Evolution; International Journal of Organic Evolution, vol. 62, no. 8, Wiley-Blackwell, 2008, pp. 1921–35, doi:10.1111/j.1558-5646.2008.00434.x.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4366
Podelski, Andreas, et al. Heap Assumptions on Demand. Vol. 5123, Springer, 2008, pp. 314–27, doi:10.1007/978-3-540-70545-1_31.
View
| DOI
2008 | Published | Book Chapter | IST-REx-ID: 4371
Maler, Oded, et al. “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.” Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505, doi:10.1007/978-3-540-78127-1_26.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4384 | 
Guerraoui, Rachid, et al. Model Checking Transactional Memories. ACM, 2008, pp. 372–82, doi:10.1145/1375581.1375626.
View
| Files available
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4386
Guerraoui, Rachid, et al. Permissiveness in Transactional Memories. Vol. 5218, Springer, 2008, pp. 305–19, doi:10.1007/978-3-540-87779-0_21.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4387
Guerraoui, Rachid, et al. Completeness and Nondeterminism in Model Checking Transactional Memories. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35, doi:10.1007/978-3-540-85361-9_6.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4397
Beyer, Dirk, et al. CSIsat: Interpolation for LA+EUF. Springer, 2008, pp. 304–08.
View
2008 | Published | Thesis | IST-REx-ID: 4409 |
Prabhu, Vinayak. Games for the Verification of Timed Systems. University of California, Berkeley, 2008, pp. 1–137.
View
| Download None (ext.)
2008 | Published | Thesis | IST-REx-ID: 4415
Matic, Slobodan. Compositionality in Deterministic Real-Time Embedded Systems. University of California, Berkeley, 2008, pp. 1–148.
View
2008 | Published | Conference Paper | IST-REx-ID: 4452
Henzinger, Thomas A., et al. Valigator: A Verification Tool with Bound and Invariant Generation. Vol. 5330, Springer, 2008, pp. 333–42, doi:10.1007/978-3-540-89439-1_24.
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 4509
Henzinger, Thomas A. “Two Challenges in Embedded Systems Design: Predictability and Robustness.” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, vol. 366, no. 1881, Royal Society of London, 2008, pp. 3727–36, doi:10.1098/rsta.2008.0141.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4521
Gupta, Ashutosh, et al. Proving Non-Termination. ACM, 2008, pp. 147–58, doi:10.1145/1328438.1328459.
View
| DOI
| Download (ext.)