A unifying theory of control dependence and its application to arbitrary program structures.
Theor. Comput. Sci., 2011
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
The Character Table of a Maximal Subgroup of the Monster.
LMS J. Comput. Math., 2007
Conjugacy Class Representatives in the Monster Group.
LMS J. Comput. Math., 2005