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. 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.)
2008 | Published | Journal Article | IST-REx-ID: 4509
Henzinger TA. Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. 2008;366(1881):3727-3736. doi:10.1098/rsta.2008.0141
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4521
Gupta A, Henzinger TA, Majumdar R, Rybalchenko A, Xu R. Proving non-termination. In: ACM; 2008:147-158. doi:10.1145/1328438.1328459
View
| DOI
| Download (ext.)