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.
7353 Publications
2008 | Published | Journal Article | IST-REx-ID: 3038
The auxin influx carrier LAX3 promotes lateral root emergence
Swarup K, Benková E, Swarup R, Casimiro I, Péret B, Yang Y, Parry G, Nielsen E, De Smet I, Vanneste S, Levesque M, Carrier D, James N, Calvo V, Ljung K, Kramer E, Roberts R, Graham N, Marillonnet S, Patel K, Jones J, Taylor C, Schachtman D, May S, Sandberg G, Benfey P, Friml J, Kerr I, Beeckman T, Laplaze L, Bennett M. 2008. The auxin influx carrier LAX3 promotes lateral root emergence. Nature Cell Biology. 10(8), 946–954.
View
| DOI
Swarup K, Benková E, Swarup R, Casimiro I, Péret B, Yang Y, Parry G, Nielsen E, De Smet I, Vanneste S, Levesque M, Carrier D, James N, Calvo V, Ljung K, Kramer E, Roberts R, Graham N, Marillonnet S, Patel K, Jones J, Taylor C, Schachtman D, May S, Sandberg G, Benfey P, Friml J, Kerr I, Beeckman T, Laplaze L, Bennett M. 2008. The auxin influx carrier LAX3 promotes lateral root emergence. Nature Cell Biology. 10(8), 946–954.
2008 | Published | Journal Article | IST-REx-ID: 3039
Receptor-like kinase ACR4 restricts formative cell divisions in the Arabidopsis root
I. De Smet, V. Vassileva, B. De Rybel, M. Levesque, W. Grunewald, D. Van Damme, G. Van Noorden, M. Naudts, G. Van Isterdael, R. De Clercq, J. Wang, N. Meuli, S. Vanneste, J. Friml, P. Hilson, G. Jürgens, G. Ingram, D. Inzé, P. Benfey, T. Beeckman, Science 322 (2008) 594–597.
View
| DOI
I. De Smet, V. Vassileva, B. De Rybel, M. Levesque, W. Grunewald, D. Van Damme, G. Van Noorden, M. Naudts, G. Van Isterdael, R. De Clercq, J. Wang, N. Meuli, S. Vanneste, J. Friml, P. Hilson, G. Jürgens, G. Ingram, D. Inzé, P. Benfey, T. Beeckman, Science 322 (2008) 594–597.
2008 | Published | Journal Article | IST-REx-ID: 3040
Cellular and molecular requirements for polar PIN targeting and transcytosis in plants
J. Kleine Vehn, Ł. Łangowski, J. Wiśniewska, P. Dhonukshe, P. Brewer, J. Friml, Molecular Plant 1 (2008) 1056–1066.
View
| DOI
J. Kleine Vehn, Ł. Łangowski, J. Wiśniewska, P. Dhonukshe, P. Brewer, J. Friml, Molecular Plant 1 (2008) 1056–1066.
2008 | Published | Journal Article | IST-REx-ID: 3041
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.
View
| DOI
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.
2008 | Published | Journal Article | IST-REx-ID: 3042
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.
View
| DOI
J. Kleine Vehn, J. Leitner, M. Zwiewka, M. Sauer, L. Abas, C. Luschnig, J. Friml, PNAS 105 (2008) 17812–17817.
2008 | Published | Journal Article | IST-REx-ID: 3043
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.
View
| DOI
| PubMed | Europe PMC
J. Kleine Vehn, J. Friml, Annual Review of Cell and Developmental Biology 24 (2008) 447–473.
2008 | Published | Journal Article | IST-REx-ID: 3044
Interaction of PIN and PGP transport mechanisms in auxin distribution-dependent development
J. Mravec, M. Kubeš, A. Bielach, V. Gaykova, J. Petrášek, P. Skůpa, S. Chand, E. Benková, E. Zažímalová, J. Friml, Development 135 (2008) 3345–3354.
View
| DOI
J. Mravec, M. Kubeš, A. Bielach, V. Gaykova, J. Petrášek, P. Skůpa, S. Chand, E. Benková, E. Zažímalová, J. Friml, Development 135 (2008) 3345–3354.
2008 | Published | Journal Article | IST-REx-ID: 3045
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.
View
| DOI
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.
2008 | Published | Journal Article | IST-REx-ID: 4227
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.
View
| DOI
T. Bollenbach, P. Pantazis, A. Kicheva, C. Bokel, M. González Gaitán, F. Julicher, Development 135 (2008) 1137–1146.
2008 | Published | Conference Paper | IST-REx-ID: 4244
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.
View
| DOI
E. Yang, N.H. Barton, T. Arslan, A. Erdogan, in:, IEEE, 2008, pp. 2749–2756.
2008 | Published | Journal Article | IST-REx-ID: 4245
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.
View
| DOI
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.
2008 | Published | Conference Paper | IST-REx-ID: 4366
Heap Assumptions on Demand
A. Podelski, A. Rybalchenko, T. Wies, in:, Springer, 2008, pp. 314–327.
View
| DOI
A. Podelski, A. Rybalchenko, T. Wies, in:, Springer, 2008, pp. 314–327.
2008 | Published | Book Chapter | IST-REx-ID: 4371
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.
View
| DOI
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.
2008 | Published | Conference Paper | IST-REx-ID: 4384 | 
Model checking transactional memories
R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp. 372–382.
View
| Files available
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp. 372–382.
2008 | Published | Conference Paper | IST-REx-ID: 4386
Permissiveness in transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.
View
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.
2008 | Published | Conference Paper | IST-REx-ID: 4387
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.
View
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35.
2008 | Published | Conference Paper | IST-REx-ID: 4397
CSIsat: Interpolation for LA+EUF
D. Beyer, D. Zufferey, R. Majumdar, in:, Springer, 2008, pp. 304–308.
View
D. Beyer, D. Zufferey, R. Majumdar, in:, Springer, 2008, pp. 304–308.
2008 | Published | Thesis | IST-REx-ID: 4409 |
Games for the verification of timed systems
V. Prabhu, Games for the Verification of Timed Systems, University of California, Berkeley, 2008.
View
| Download None (ext.)
V. Prabhu, Games for the Verification of Timed Systems, University of California, Berkeley, 2008.
2008 | Published | Thesis | IST-REx-ID: 4415
Compositionality in deterministic real-time embedded systems
S. Matic, Compositionality in Deterministic Real-Time Embedded Systems, University of California, Berkeley, 2008.
View
S. Matic, Compositionality in Deterministic Real-Time Embedded Systems, University of California, Berkeley, 2008.
2008 | Published | Conference Paper | IST-REx-ID: 4452
Valigator: A verification tool with bound and invariant generation
T.A. Henzinger, T. Hottelier, L. Kovács, in:, Springer, 2008, pp. 333–342.
View
| DOI
| Download (ext.)
T.A. Henzinger, T. Hottelier, L. Kovács, in:, Springer, 2008, pp. 333–342.