Computing 3-dimensional groups: Crossed squares and cat\(^2\)-groups - Z. Arvasi; A. Odabas; Christopher D. Wensley (J. Symb. Comput., 2023)

Automorphisms and Homotopies of Groupoids and Crossed Modules - Murat Alp; Christopher D. Wensley (Appl. Categorical Struct., 2010)

Graphs of Morphisms of Graphs - Ronald Brown; Ifor Morris; J. Shrimpton; Christopher D. Wensley (Electron. J. Comb., 2008)

Complete involutive rewriting systems - Gareth Alun Evans; Christopher D. Wensley (J. Symb. Comput., 2007)

String rewriting for double coset systems - Ronald Brown; Neil Ghani; Anne Heyworth; Christopher D. Wensley (J. Symb. Comput., 2006)

Computation and homotopical applications of induced crossed modules - Ronald Brown; Christopher D. Wensley (J. Symb. Comput., 2003)

Enumeration of Cat\(_1\)-Groups of Low Order - Murat Alp; Christopher D. Wensley (Int. J. Algebra Comput., 2000)

Enumeration by Stabilizer Class of Patterns with Local Restrictions - Ifor Morris; Christopher D. Wensley (Electron. J. Comb., 1996)

Cycle indices and subgroup lattices - Ifor Morris; Christopher D. Wensley (Discret. Math., 1993)

Adams operations and lambda-operations in beta-rings - Ifor Morris; Christopher D. Wensley (Discret. Math., 1984)