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.

An assume-guarantee rule for checking simulation
T.A. Henzinger, S. Qadeer, S. Rajamani, S. Tasiran, ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (2002) 51–64.

Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, Information and Computation 173 (2002) 64–81.

Lazy abstraction
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 2002, pp. 58–70.

Synchronous and bidirectional component interfaces
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 414–427.