The affine primitive permutation groups of degree less than 1000. - Colva M. Roney-Dougal; William R. Unger (J. Symb. Comput., 2003)

New Developments in Symmetry Breaking in Search Using Computational Group Theory. - Tom W. Kelsey; Steve Linton; Colva M. Roney-Dougal (AISC, 2004)

Tractable Symmetry Breaking Using Restricted Search Trees. - Colva M. Roney-Dougal; Ian P. Gent; Tom W. Kelsey; Steve Linton (ECAI, 2004)

Conjugacy of Subgroups of the General Linear Group. - Colva M. Roney-Dougal (Exp. Math., 2004)

Symmetry and Consistency. - Ian P. Gent; Tom W. Kelsey; Steve Linton; Colva M. Roney-Dougal (CP, 2005)

Constructing Maximal Subgroups of Classical Groups. - Derek F. Holt; Colva M. Roney-Dougal (LMS J. Comput. Math., 2005)

Groupoids and Conditional Symmetry. - Ian P. Gent; Tom W. Kelsey; Stephen A. Linton; J. Pearson; Colva M. Roney-Dougal (CP, 2007)

Snake Lex: An Alternative to Double Lex. - Andrew Grayland; Ian Miguel; Colva M. Roney-Dougal (CP, 2009)

Confluence of Reduction Rules for Lexicographic Ordering Constraints. - Andrew Grayland; Ian Miguel; Colva M. Roney-Dougal (SARA, 2009)

In Search of a Better Method to Break Row and Column Symmetries. - Andrew Grayland; Ian Miguel; Colva M. Roney-Dougal (SARA, 2009)

Minimal ordering constraints for some families of variable symmetries. - Andrew Grayland; Christopher Jefferson; Ian Miguel; Colva M. Roney-Dougal (Ann. Math. Artif. Intell., 2009)

Constructing maximal subgroups of orthogonal groups. - Derek F. Holt; Colva M. Roney-Dougal (LMS J. Comput. Math., 2010)

Constructive homomorphisms for classical groups. - Scott H. Murray; Colva M. Roney-Dougal (J. Symb. Comput., 2011)

Normalisers of primitive permutation groups in quasipolynomial time. - Colva M. Roney-Dougal; Sergio Siccha (CoRR, 2020)

Maximal subgroups of finite simple groups: classifications and applications. - Colva M. Roney-Dougal (BCC, 2021)

The Non-Commuting, Non-Generating Graph of a Nilpotent Group. - Peter J. Cameron; Saul D. Freedman; Colva M. Roney-Dougal (Electron. J. Comb., 2021)

Polynomial-time proofs that groups are hyperbolic. - Derek F. Holt; Stephen A. Linton; Max Neunhöffer; Richard Parker; Markus Pfeiffer; Colva M. Roney-Dougal (J. Symb. Comput., 2021)

Maximal cocliques in the generating graphs of the alternating and symmetric groups. - Veronica Kelsey; Colva M. Roney-Dougal (Comb. Theory, 2022)

Finite groups satisfying the independence property. - Saul D. Freedman; Andrea Lucchini; Daniele Nemmi; Colva M. Roney-Dougal (Int. J. Algebra Comput., 2023)