The effects of epistasis on the structure of hybrid zones
N.H. Barton, M. Shpak, Genetical Research 75 (2000) 179–198.

The stability of symmetrical solutions to polygenic models
N.H. Barton, M. Shpak, Theoretical Population Biology 57 (2000) 249–263.

Limits to natural selection
N.H. Barton, L. Partridge, BioEssays 22 (2000) 1075–1084.

Genetic hitchhiking
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 355 (2000) 1553–1562.

Differentiation
N.H. Barton, in:, Encyclopedia of Biodiversity, Academic Press, 2000, pp. 85–94.

Population genetics of multiple loci
N.H. Barton, Genetics Research 75 (2000) 371–373.

Fair bisimulation
T.A. Henzinger, S. Rajamani, in:, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2000, pp. 299–314.

Robust undecidability of timed and hybrid systems
T.A. Henzinger, J. Raskin, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 145–159.

Symbolic model checking for rectangular hybrid systems
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2000, pp. 142–156.

A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, Springer, 2000, pp. 13–34.

Beyond HyTech: Hybrid systems analysis using interval numerical methods
T.A. Henzinger, B. Horowitz, R. Majumdar, H. Wong Toi, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 130–144.

Abstract interpretation of game properties
T.A. Henzinger, R. Majumdar, F. Mang, J. Raskin, in:, Proceedings of the 7th International Symposium on Static Analysis, Springer, 2000, pp. 220–239.

Decomposing refinement proofs using assume-guarantee reasoning
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 2000 International Conference on Computer-Aided Design, IEEE, 2000, pp. 245–252.

Masaccio: A formal model for embedded components
T.A. Henzinger, in:, Proceedings of the 1st International Conference on Theoretical Computer Science , Springer, 2000, pp. 549–563.

The theory of hybrid automata
T.A. Henzinger, in:, M. Inan, R. Kurshan (Eds.), Verification of Digital and Hybrid Systems, Springer, 2000, pp. 265–292.

Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology
M. Henzinger, V. King, T. Warnow, Algorithmica 24 (1999) 1–13.

Finding related pages in the world wide Web
J. Dean, M. Henzinger, Computer Networks 31 (1999) 1467–1479.

Measuring index quality using random walks on the web
M. Henzinger, A. Heydon, M. Mitzenmacher, M. Najork, Computer Networks 31 (1999) 1291–1303.

Scheduling data transfers in a network and the set scheduling problem
A. Goel, M. Henzinger, S. Plotkin, E. Tardos, in:, Proceedings of the 31st Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 1999, pp. 189–197.

Randomized fully dynamic graph algorithms with polylogarithmic time per operation
M. Henzinger, V. King, Journal of the ACM 46 (1999) 502–516.