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, Łukasz Łangowski, Justyna Wiśniewska, Pankaj Dhonukshe, Philip Brewer, and Jiří Friml. “Cellular and Molecular Requirements for Polar PIN Targeting and Transcytosis in Plants.” Molecular Plant. Oxford University Press, 2008. https://doi.org/10.1093/mp/ssn062.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3041
Santelia, Diana, Sina Henrichs, Vincent Vincenzetti, Michael Sauer, Laurent Bigler, Markus Klein, Aurélien Bailly, et al. “Flavonoids Redirect PIN Mediated Polar Auxin Fluxes during Root Gravitropic Responses.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2008. https://doi.org/ 10.1074/jbc.M710122200.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3042
Kleine Vehn, Jürgen, Johannes Leitner, Marta Zwiewka, Michael Sauer, Lindy Abas, Christian Luschnig, and Jiří Friml. “Differential Degradation of PIN2 Auxin Efflux Carrier by Retromer Dependent Vacuolar Targeting.” PNAS. National Academy of Sciences, 2008. https://doi.org/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. Annual Reviews, 2008. https://doi.org/10.1146/annurev.cellbio.24.110707.175254.
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 3044
Mravec, Jozef, Martin Kubeš, Agnieszka Bielach, Vassilena Gaykova, Jan Petrášek, Petr Skůpa, Suresh Chand, Eva Benková, Eva Zažímalová, and Jiří Friml. “Interaction of PIN and PGP Transport Mechanisms in Auxin Distribution-Dependent Development.” Development. Company of Biologists, 2008. https://doi.org/10.1242/dev.021071.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3045
Dhonukshe, Pankaj, Hirokazu Tanaka, Tatsuaki Goh, Kazuo Ebine, Ari Mähönen, Kalika Prasad, Ikram Blilou, et al. “Generation of Cell Polarity in Plants Links Endocytosis Auxin Distribution and Cell Fate Decisions.” Nature. Nature Publishing Group, 2008. https://doi.org/10.1038/nature07409.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 4227
Bollenbach, Tobias, Periklis Pantazis, Anna Kicheva, Christian Bokel, Marcos González Gaitán, and Frank Julicher. “Precision of the Dpp Gradient.” Development. Company of Biologists, 2008. https://doi.org/10.1242/dev.012062.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4244
Yang, Erfu, Nicholas H Barton, Tughrul Arslan, and Ahmet Erdogan. “A Novel Shifting Balance Theory-Based Approach to Optimization of an Energy-Constrained Modulation Scheme for Wireless Sensor Networks,” 2749–56. IEEE, 2008. https://doi.org/10.1109/CEC.2008.4631167.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 4245
Pannebakker, Bart, Daniel Halligan, K Tracy Reynolds, Gavin Ballantyne, David Shuker, Nicholas H Barton, and Stuart West. “Effects of Spontaneous Mutation Accumulation on Sex Ratio Traits.” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2008. https://doi.org/10.1111/j.1558-5646.2008.00434.x.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4366
Podelski, Andreas, Andrey Rybalchenko, and Thomas Wies. “Heap Assumptions on Demand,” 5123:314–27. Springer, 2008. https://doi.org/10.1007/978-3-540-70545-1_31.
View
| DOI
2008 | Published | Book Chapter | IST-REx-ID: 4371
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “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, 475–505. Springer, 2008. https://doi.org/10.1007/978-3-540-78127-1_26.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4384 | 
Guerraoui, Rachid, Thomas A Henzinger, Barbara Jobstmann, and Vasu Singh. “Model Checking Transactional Memories,” 372–82. ACM, 2008. https://doi.org/10.1145/1375581.1375626.
View
| Files available
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4386
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Permissiveness in Transactional Memories,” 5218:305–19. Springer, 2008. https://doi.org/10.1007/978-3-540-87779-0_21.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4387
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Completeness and Nondeterminism in Model Checking Transactional Memories,” 5201:21–35. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008. https://doi.org/10.1007/978-3-540-85361-9_6.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4397
Beyer, Dirk, Damien Zufferey, and Ritankar Majumdar. “CSIsat: Interpolation for LA+EUF,” 304–8. Springer, 2008.
View
2008 | Published | Thesis | IST-REx-ID: 4409 |
Prabhu, Vinayak. “Games for the Verification of Timed Systems.” University of California, Berkeley, 2008.
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.
View
2008 | Published | Conference Paper | IST-REx-ID: 4452
Henzinger, Thomas A, Thibaud Hottelier, and Laura Kovács. “Valigator: A Verification Tool with Bound and Invariant Generation,” 5330:333–42. Springer, 2008. https://doi.org/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. Royal Society of London, 2008. https://doi.org/10.1098/rsta.2008.0141.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4521
Gupta, Ashutosh, Thomas A Henzinger, Ritankar Majumdar, Andrey Rybalchenko, and Ru Xu. “Proving Non-Termination,” 147–58. ACM, 2008. https://doi.org/10.1145/1328438.1328459.
View
| DOI
| Download (ext.)