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.
120 Publications
2002 | Published | Journal Article | IST-REx-ID: 2987 | 
Hydra mutants of Arabidopsis are defective in sterol profiles and auxin and ethylene signaling
M. Souter, J. Topping, M. Pullen, J. Friml, K. Palme, R. Hackett, D. Grierson, K. Lindsey, Plant Cell 14 (2002) 1017–1031.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
M. Souter, J. Topping, M. Pullen, J. Friml, K. Palme, R. Hackett, D. Grierson, K. Lindsey, Plant Cell 14 (2002) 1017–1031.
2002 | Published | Journal Article | IST-REx-ID: 2988
Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway
M. Grebe, J. Friml, R. Swarup, K. Ljung, G. Sandberg, M. Terlou, K. Palme, M. Bennett, B. Scheres, Current Biology 12 (2002) 329–334.
View
| DOI
| PubMed | Europe PMC
M. Grebe, J. Friml, R. Swarup, K. Ljung, G. Sandberg, M. Terlou, K. Palme, M. Bennett, B. Scheres, Current Biology 12 (2002) 329–334.
2002 | Published | Journal Article | IST-REx-ID: 2989
AtPIN4 mediates sink-driven auxin gradients and root patterning in Arabidopsis
J. Friml, E. Benková, I. Blilou, J. Wiśniewska, T. Hamann, K. Ljung, S. Woody, G. Sandberg, B. Scheres, G. Jürgens, K. Palme, Cell 108 (2002) 661–673.
View
| DOI
| PubMed | Europe PMC
J. Friml, E. Benková, I. Blilou, J. Wiśniewska, T. Hamann, K. Ljung, S. Woody, G. Sandberg, B. Scheres, G. Jürgens, K. Palme, Cell 108 (2002) 661–673.
2002 | Published | Journal Article | IST-REx-ID: 2991
Polar auxin transport - Old questions and new concepts?
J. Friml, K. Palme, Plant Molecular Biology 49 (2002) 273–284.
View
| DOI
J. Friml, K. Palme, Plant Molecular Biology 49 (2002) 273–284.
2002 | Published | Journal Article | IST-REx-ID: 4258 |
The effects of multilocus balancing selection on neutral variability
A. Navarro, N.H. Barton, Genetics 161 (2002) 849–863.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Navarro, N.H. Barton, Genetics 161 (2002) 849–863.
2002 | Published | Journal Article | IST-REx-ID: 4259 |
Associations between cytoplasmic and nuclear loci in hybridizing populations
M. Orive, N.H. Barton, Genetics 162 (2002) 1469–1485.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Orive, N.H. Barton, Genetics 162 (2002) 1469–1485.
2002 | Published | Journal Article | IST-REx-ID: 4260 |
The effect of deleterious alleles on adaptation in asexual populations
T. Johnson, N.H. Barton, Genetics 162 (2002) 395–411.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
T. Johnson, N.H. Barton, Genetics 162 (2002) 395–411.
2002 | Published | Journal Article | IST-REx-ID: 4261
Understanding quantitative genetic variation
N.H. Barton, P. Keightley, Nature Reviews Genetics 3 (2002) 11–21.
View
| DOI
| PubMed | Europe PMC
N.H. Barton, P. Keightley, Nature Reviews Genetics 3 (2002) 11–21.
2002 | Published | Journal Article | IST-REx-ID: 4262
Extending the coalescent to multilocus systems: the case of balancing selection
N.H. Barton, A. Navarro, Genetical Research 79 (2002) 129–139.
View
| DOI
| PubMed | Europe PMC
N.H. Barton, A. Navarro, Genetical Research 79 (2002) 129–139.
2002 | Published | Journal Article | IST-REx-ID: 4263
Neutral evolution in spatially continuous populations
N.H. Barton, F. Depaulis, A. Etheridge, Theoretical Population Biology 61 (2002) 31–48.
View
| DOI
| PubMed | Europe PMC
N.H. Barton, F. Depaulis, A. Etheridge, Theoretical Population Biology 61 (2002) 31–48.
2002 | Published | Journal Article | IST-REx-ID: 4347
Inferring the root of a phylogenetic tree
J. Huelsenbeck, J.P. Bollback, A. Levine, Systematic Biology 51 (2002) 32–43.
View
| DOI
| PubMed | Europe PMC
J. Huelsenbeck, J.P. Bollback, A. Levine, Systematic Biology 51 (2002) 32–43.
2002 | Published | Journal Article | IST-REx-ID: 4349
Bayesian model adequacy and choice in phylogenetics
J.P. Bollback, Molecular Biology and Evolution 19 (2002) 1171–80.
View
| DOI
| PubMed | Europe PMC
J.P. Bollback, Molecular Biology and Evolution 19 (2002) 1171–80.
2002 | Published | Journal Article | IST-REx-ID: 4407
Axioms for real-time logics
J. Raskin, P. Schobbens, T.A. Henzinger, Theoretical Computer Science 274 (2002) 151–182.
View
| DOI
J. Raskin, P. Schobbens, T.A. Henzinger, Theoretical Computer Science 274 (2002) 151–182.
2002 | Published | Conference Paper | IST-REx-ID: 4413
Convertibility verification and converter synthesis: Two faces of the same coin
R. Passerone, L. De Alfaro, T.A. Henzinger, A. Sangiovanni Vincentelli, in:, Proceedings of the 11th IEEE/ACM International Conference on Computer-Aided Design, IEEE, 2002, pp. 132–139.
View
| DOI
R. Passerone, L. De Alfaro, T.A. Henzinger, A. Sangiovanni Vincentelli, in:, Proceedings of the 11th IEEE/ACM International Conference on Computer-Aided Design, IEEE, 2002, pp. 132–139.
2002 | Published | Thesis | IST-REx-ID: 4414
Games in open systems verification and synthesis
F. Mang, Games in Open Systems Verification and Synthesis, University of California, Berkeley, 2002.
View
F. Mang, Games in Open Systems Verification and Synthesis, University of California, Berkeley, 2002.
2002 | Published | Conference Paper | IST-REx-ID: 4421
A Giotto-based helicopter control system
C. Kirsch, M. Sanvido, T.A. Henzinger, W. Pree, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 46–60.
View
| DOI
C. Kirsch, M. Sanvido, T.A. Henzinger, W. Pree, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 46–60.
2002 | Published | Conference Paper | IST-REx-ID: 4422
Trading probability for fairness
M. Jurdziński, O. Kupferman, T.A. Henzinger, in:, Proceedings of the 16th International Workshop on Computer Science Logic, Springer, 2002, pp. 292–305.
View
| DOI
M. Jurdziński, O. Kupferman, T.A. Henzinger, in:, Proceedings of the 16th International Workshop on Computer Science Logic, Springer, 2002, pp. 292–305.
2002 | Published | Conference Paper | IST-REx-ID: 4423
Embedded software design and system integration for rotorcraft UAV using platforms
B. Horowitz, J. Liebman, C. Ma, T.J. Koo, T.A. Henzinger, A. Sangiovanni Vincentelli, S. Sastry, in:, Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, Elsevier, 2002.
View
| DOI
B. Horowitz, J. Liebman, C. Ma, T.J. Koo, T.A. Henzinger, A. Sangiovanni Vincentelli, S. Sastry, in:, Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, Elsevier, 2002.
2002 | Published | Conference Paper | IST-REx-ID: 4444
The embedded machine: predictable, portable real-time code
T.A. Henzinger, C. Kirsch, in:, Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, ACM, 2002, pp. 315–326.
View
| DOI
T.A. Henzinger, C. Kirsch, in:, Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, ACM, 2002, pp. 315–326.
2002 | Published | Conference Paper | IST-REx-ID: 4470
Time-safety checking for embedded programs
T.A. Henzinger, C. Kirsch, R. Majumdar, S. Matic, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 76–92.
View
| DOI
T.A. Henzinger, C. Kirsch, R. Majumdar, S. Matic, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 76–92.