2011
A unifying theory of control dependence and its application to arbitrary program structures.
Theor. Comput. Sci., 2011

2010
A trajectory-based strict semantics for program slicing.
Theor. Comput. Sci., 2010

The character table of a group of shape (2×2.G): 2.
LMS J. Comput. Math., 2010

2007
The Character Table of a Maximal Subgroup of the Monster.
LMS J. Comput. Math., 2007

2005
Conjugacy Class Representatives in the Monster Group.
LMS J. Comput. Math., 2005