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.
11107 Publications
2008 | Published | Journal Article | IST-REx-ID: 3038
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
2008 | Published | Journal Article | IST-REx-ID: 3039
De Smet I, Vassileva V, De Rybel B, et al. Receptor-like kinase ACR4 restricts formative cell divisions in the Arabidopsis root. Science. 2008;322(5901):594-597. doi:10.1126/science.1160158
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3040
Kleine Vehn J, Łangowski Ł, Wiśniewska J, Dhonukshe P, Brewer P, Friml J. Cellular and molecular requirements for polar PIN targeting and transcytosis in plants. Molecular Plant. 2008;1(6):1056-1066. doi:10.1093/mp/ssn062
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3041
Santelia D, Henrichs S, Vincenzetti V, et al. Flavonoids redirect PIN mediated polar auxin fluxes during root gravitropic responses. Journal of Biological Chemistry. 2008;283(45):31218-31226. doi: 10.1074/jbc.M710122200
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3042
Kleine Vehn J, Leitner J, Zwiewka M, et al. Differential degradation of PIN2 auxin efflux carrier by retromer dependent vacuolar targeting. PNAS. 2008;105(46):17812-17817. doi:10.1073/pnas.0808073105
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3043
Kleine Vehn J, Friml J. Polar targeting and endocytic recycling in auxin-dependent plant development. Annual Review of Cell and Developmental Biology. 2008;24:447-473. doi: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, et al. Interaction of PIN and PGP transport mechanisms in auxin distribution-dependent development. Development. 2008;135(20):3345-3354. doi:10.1242/dev.021071
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3045
Dhonukshe P, Tanaka H, Goh T, et al. Generation of cell polarity in plants links endocytosis auxin distribution and cell fate decisions. Nature. 2008;456(7224):962-966. doi: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. Precision of the Dpp gradient. Development. 2008;135(6):1137-1146. doi:10.1242/dev.012062
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4244
Yang E, Barton NH, Arslan T, Erdogan A. A novel shifting balance theory-based approach to optimization of an energy-constrained modulation scheme for wireless sensor networks. In: IEEE; 2008:2749-2756. doi:10.1109/CEC.2008.4631167
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 4245
Pannebakker B, Halligan D, Reynolds KT, et al. Effects of spontaneous mutation accumulation on sex ratio traits. Evolution; International Journal of Organic Evolution. 2008;62(8):1921-1935. doi:10.1111/j.1558-5646.2008.00434.x
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4366
Podelski A, Rybalchenko A, Wies T. Heap Assumptions on Demand. In: Vol 5123. Springer; 2008:314-327. doi:10.1007/978-3-540-70545-1_31
View
| DOI
2008 | Published | Book Chapter | IST-REx-ID: 4371
Maler O, Nickovic D, Pnueli A. 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. Springer; 2008:475-505. doi:10.1007/978-3-540-78127-1_26
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4384 | 
Guerraoui R, Henzinger TA, Jobstmann B, Singh V. Model checking transactional memories. In: ACM; 2008:372-382. doi:10.1145/1375581.1375626
View
| Files available
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4386
Guerraoui R, Henzinger TA, Singh V. Permissiveness in transactional memories. In: Vol 5218. Springer; 2008:305-319. doi:10.1007/978-3-540-87779-0_21
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4387
Guerraoui R, Henzinger TA, Singh V. Completeness and nondeterminism in model checking transactional memories. In: Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:21-35. doi: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. CSIsat: Interpolation for LA+EUF. In: Springer; 2008:304-308.
View
2008 | Published | Thesis | IST-REx-ID: 4409 |
Prabhu V. Games for the verification of timed systems. 2008:1-137.
View
| Download None (ext.)
2008 | Published | Thesis | IST-REx-ID: 4415
Matic S. Compositionality in deterministic real-time embedded systems. 2008:1-148.
View
2008 | Published | Conference Paper | IST-REx-ID: 4452
Henzinger TA, Hottelier T, Kovács L. Valigator: A verification tool with bound and invariant generation. In: Vol 5330. Springer; 2008:333-342. doi:10.1007/978-3-540-89439-1_24
View
| DOI
| Download (ext.)