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

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

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

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

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

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

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

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

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

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