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., Łangowski, Ł., Wiśniewska, J., Dhonukshe, P., Brewer, P., & Friml, J. (2008). Cellular and molecular requirements for polar PIN targeting and transcytosis in plants. Molecular Plant. Oxford University Press. https://doi.org/10.1093/mp/ssn062
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3041
Santelia, D., Henrichs, S., Vincenzetti, V., Sauer, M., Bigler, L., Klein, M., … Martinoia, E. (2008). Flavonoids redirect PIN mediated polar auxin fluxes during root gravitropic responses. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/ 10.1074/jbc.M710122200
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3042
Kleine Vehn, J., Leitner, J., Zwiewka, M., Sauer, M., Abas, L., Luschnig, C., & Friml, J. (2008). Differential degradation of PIN2 auxin efflux carrier by retromer dependent vacuolar targeting. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0808073105
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3043
Kleine Vehn, J., & Friml, J. (2008). Polar targeting and endocytic recycling in auxin-dependent plant development. Annual Review of Cell and Developmental Biology. Annual Reviews. https://doi.org/10.1146/annurev.cellbio.24.110707.175254
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 3044
Mravec, J., Kubeš, M., Bielach, A., Gaykova, V., Petrášek, J., Skůpa, P., … Friml, J. (2008). Interaction of PIN and PGP transport mechanisms in auxin distribution-dependent development. Development. Company of Biologists. https://doi.org/10.1242/dev.021071
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3045
Dhonukshe, P., Tanaka, H., Goh, T., Ebine, K., Mähönen, A., Prasad, K., … Friml, J. (2008). Generation of cell polarity in plants links endocytosis auxin distribution and cell fate decisions. Nature. Nature Publishing Group. https://doi.org/10.1038/nature07409
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 4227
Bollenbach, T., Pantazis, P., Kicheva, A., Bokel, C., González Gaitán, M., & Julicher, F. (2008). Precision of the Dpp gradient. Development. Company of Biologists. https://doi.org/10.1242/dev.012062
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4244
Yang, E., Barton, N. H., Arslan, T., & Erdogan, A. (2008). A novel shifting balance theory-based approach to optimization of an energy-constrained modulation scheme for wireless sensor networks (pp. 2749–2756). Presented at the WCCI: IEEE World Congress on Computational Intelligence, IEEE. https://doi.org/10.1109/CEC.2008.4631167
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 4245
Pannebakker, B., Halligan, D., Reynolds, K. T., Ballantyne, G., Shuker, D., Barton, N. H., & West, S. (2008). Effects of spontaneous mutation accumulation on sex ratio traits. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.2008.00434.x
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4366
Podelski, A., Rybalchenko, A., & Wies, T. (2008). Heap Assumptions on Demand (Vol. 5123, pp. 314–327). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-70545-1_31
View
| DOI
2008 | Published | Book Chapter | IST-REx-ID: 4371
Maler, O., Nickovic, D., & Pnueli, A. (2008). Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. In Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (pp. 475–505). Springer. https://doi.org/10.1007/978-3-540-78127-1_26
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4384 | 
Guerraoui, R., Henzinger, T. A., Jobstmann, B., & Singh, V. (2008). Model checking transactional memories (pp. 372–382). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/1375581.1375626
View
| Files available
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4386
Guerraoui, R., Henzinger, T. A., & Singh, V. (2008). Permissiveness in transactional memories (Vol. 5218, pp. 305–319). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-540-87779-0_21
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4387
Guerraoui, R., Henzinger, T. A., & Singh, V. (2008). Completeness and nondeterminism in model checking transactional memories (Vol. 5201, pp. 21–35). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-85361-9_6
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4397
Beyer, D., Zufferey, D., & Majumdar, R. (2008). CSIsat: Interpolation for LA+EUF (pp. 304–308). Presented at the CAV: Computer Aided Verification, Springer.
View
2008 | Published | Thesis | IST-REx-ID: 4409 |
Prabhu, V. (2008). Games for the verification of timed systems. University of California, Berkeley.
View
| Download None (ext.)
2008 | Published | Thesis | IST-REx-ID: 4415
Matic, S. (2008). Compositionality in deterministic real-time embedded systems. University of California, Berkeley.
View
2008 | Published | Conference Paper | IST-REx-ID: 4452
Henzinger, T. A., Hottelier, T., & Kovács, L. (2008). Valigator: A verification tool with bound and invariant generation (Vol. 5330, pp. 333–342). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Springer. https://doi.org/10.1007/978-3-540-89439-1_24
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 4509
Henzinger, T. A. (2008). Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. Royal Society of London. https://doi.org/10.1098/rsta.2008.0141
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4521
Gupta, A., Henzinger, T. A., Majumdar, R., Rybalchenko, A., & Xu, R. (2008). Proving non-termination (pp. 147–158). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/1328438.1328459
View
| DOI
| Download (ext.)