Cellular and molecular requirements for polar PIN targeting and transcytosis in plants
J. Kleine Vehn, . angowski, J. Wibniewska, P. Dhonukshe, P. Brewer, J. Friml, Molecular Plant 1 (2008) 1056–1066.

Flavonoids redirect PIN mediated polar auxin fluxes during root gravitropic responses
D. Santelia, S. Henrichs, V. Vincenzetti, M. Sauer, L. Bigler, M. Klein, A. Bailly, Y. Lee, J. Friml, M. Geisler, E. Martinoia, Journal of Biological Chemistry 283 (2008) 31218–31226.

Differential degradation of PIN2 auxin efflux carrier by retromer dependent vacuolar targeting
J. Kleine Vehn, J. Leitner, M. Zwiewka, M. Sauer, L. Abas, C. Luschnig, J. Friml, PNAS 105 (2008) 17812–17817.

Polar targeting and endocytic recycling in auxin-dependent plant development
J. Kleine Vehn, J. Friml, Annual Review of Cell and Developmental Biology 24 (2008) 447–473.

Interaction of PIN and PGP transport mechanisms in auxin distribution-dependent development
J. Mravec, M. Kubes, A. Bielach, V. Gaykova, J. Petrásek, P. Skfpa, S. Chand, E. Benková, E. Zaeímalová, J. Friml, Development 135 (2008) 3345–3354.

Generation of cell polarity in plants links endocytosis auxin distribution and cell fate decisions
P. Dhonukshe, H. Tanaka, T. Goh, K. Ebine, A. Mähönen, K. Prasad, I. Blilou, N. Geldner, J. Xu, T. Uemura, J. Chory, T. Ueda, A. Nakano, B. Scheres, J. Friml, Nature 456 (2008) 962–966.

Precision of the Dpp gradient
T. Bollenbach, P. Pantazis, A. Kicheva, C. Bokel, M. González Gaitán, F. Julicher, Development 135 (2008) 1137–1146.

A novel shifting balance theory-based approach to optimization of an energy-constrained modulation scheme for wireless sensor networks
E. Yang, N.H. Barton, T. Arslan, A. Erdogan, in:, IEEE, 2008, pp. 2749–2756.

Effects of spontaneous mutation accumulation on sex ratio traits
B. Pannebakker, D. Halligan, K.T. Reynolds, G. Ballantyne, D. Shuker, N.H. Barton, S. West, Evolution; International Journal of Organic Evolution 62 (2008) 1921–1935.

Heap Assumptions on Demand
A. Podelski, A. Rybalchenko, T. Wies, in:, Springer, 2008, pp. 314–327.

Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
O. Maler, D. Nickovic, A. Pnueli, in:, Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505.

Model checking transactional memories
R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp. 372–382.

Permissiveness in transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.

Completeness and nondeterminism in model checking transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35.

CSIsat: Interpolation for LA+EUF
D. Beyer, D. Zufferey, R. Majumdar, in:, Springer, 2008, pp. 304–308.

Games for the verification of timed systems
V. Prabhu, Games for the Verification of Timed Systems, University of California, Berkeley, 2008.

Compositionality in deterministic real-time embedded systems
S. Matic, Compositionality in Deterministic Real-Time Embedded Systems, University of California, Berkeley, 2008.

Valigator: A verification tool with bound and invariant generation
T.A. Henzinger, T. Hottelier, L. Kovács, in:, Springer, 2008, pp. 333–342.

Two challenges in embedded systems design: Predictability and robustness
T.A. Henzinger, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences 366 (2008) 3727–3736.

Proving non-termination
A. Gupta, T.A. Henzinger, R. Majumdar, A. Rybalchenko, R. Xu, in:, ACM, 2008, pp. 147–158.