Wnt signalling: Refocusing on Strabismus
C.-P.J. Heisenberg, Current Biology 12 (2002) 7–9.

Planar cell polarization requires Widerborst, a B regulatory subunit of protein phosphatase 2A
M. Hannus, F. Feiguin, C.-P.J. Heisenberg, S. Eaton, Development 129 (2002) 3493–3503.

The effects of multilocus balancing selection on neutral variability
A. Navarro, N.H. Barton, Genetics 161 (2002) 849–863.

Associations between cytoplasmic and nuclear loci in hybridizing populations
M. Orive, N.H. Barton, Genetics 162 (2002) 1469–1485.

The effect of deleterious alleles on adaptation in asexual populations
T. Johnson, N.H. Barton, Genetics 162 (2002) 395–411.

Understanding quantitative genetic variation
N.H. Barton, P. Keightley, Nature Reviews Genetics 3 (2002) 11–21.

Extending the coalescent to multilocus systems: the case of balancing selection
N.H. Barton, A. Navarro, Genetical Research 79 (2002) 129–139.

Neutral evolution in spatially continuous populations
N.H. Barton, F. Depaulis, A. Etheridge, Theoretical Population Biology 61 (2002) 31–48.

Inferring the root of a phylogenetic tree
J. Huelsenbeck, J.P. Bollback, A. Levine, Systematic Biology 51 (2002) 32–43.

Bayesian model adequacy and choice in phylogenetics
J.P. Bollback, Molecular Biology and Evolution 19 (2002) 1171–80.

Axioms for real-time logics
J. Raskin, P. Schobbens, T.A. Henzinger, Theoretical Computer Science 274 (2002) 151–182.

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.

Games in open systems verification and synthesis
F. Mang, Games in Open Systems Verification and Synthesis, University of California, Berkeley, 2002.

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.

Trading probability for fairness
M. Jurdziski, O. Kupferman, T.A. Henzinger, in:, Proceedings of the 16th International Workshop on Computer Science Logic, Springer, 2002, pp. 292–305.

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.

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.

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.

Synthesis of uninitialized systems
T.A. Henzinger, S. Krishnan, O. Kupferman, F. Mang, in:, Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Springer, 2002, pp. 644–656.

Temporal safety proofs for systems code
T.A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, W. Weimer, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 526–538.