A graph which is edge transitive but not arc transitive. - Derek F. Holt (J. Graph Theory, 1981)

The Mechanical Computation of First and Second Cohomology Groups. - Derek F. Holt (J. Symb. Comput., 1985)

A Graphics System for Displaying Finite Quotients of Finitely Presented Groups 113. - Derek F. Holt; Sarah Rees (Groups And Computation, 1991)

The Use of Knuth-Bendix Methods to Solve the Word Problem in Automatic Groups. - David B. A. Epstein; Derek F. Holt; Sarah Rees (J. Symb. Comput., 1991)

The Computation of Normalizers in Permutation Groups. - Derek F. Holt (J. Symb. Comput., 1991)

An Implementation of the Neumann-Praeger Algorithm for the Recognition of Special Linear Groups. - Derek F. Holt; Sarah Rees (Exp. Math., 1992)

The Warwick automatic groups software. - Derek F. Holt (Geometric and Computational Perspectives on Infinite Groups, 1994)

An Alternative Proof That the Fibonacci Group F(2, 9) is Infinite. - Derek F. Holt (Exp. Math., 1995)

Free Quotients of Finitely Presented Groups. - Derek F. Holt; Sarah Rees (Exp. Math., 1996)

Computing Sylow Subgroups in Permutation Groups. - John J. Cannon; Bruce C. Cox; Derek F. Holt (J. Symb. Comput., 1997)

Computing Chief Series, Composition Series and Socles in Large Permutation Groups. - John J. Cannon; Derek F. Holt (J. Symb. Comput., 1997)

Constructing a Representation of the Group. - Derek F. Holt; Wilhelm Plesken; Bernd Souvignier (J. Symb. Comput., 1997)

Combing Nilpotent and Polycyclic Groups. - Robert H. Gilman 001; Derek F. Holt; Sarah Rees (Int. J. Algebra Comput., 1999)

Computing Automatic Coset Systems and Subgroup Presentations. - Derek F. Holt; D. F. Hurt (J. Symb. Comput., 1999)

Computation in word-hyperbolic groups. - Derek F. Holt (ISSAC, 2000)

Word-Hyperbolic Groups Have Real-Time Word Problem. - Derek F. Holt (Int. J. Algebra Comput., 2000)

Computation in Word-Hyperbolic Groups. - David B. A. Epstein; Derek F. Holt (Int. J. Algebra Comput., 2001)

Computing the Subgroups of a Permutation Group. - John J. Cannon; Bruce C. Cox; Derek F. Holt (J. Symb. Comput., 2001)

Regularity of Quasigeodesics in a Hyperbolic Group. - Derek F. Holt; Sarah Rees (Int. J. Algebra Comput., 2003)

Automorphism group computation and isomorphism testing in finite groups. - John J. Cannon; Derek F. Holt (J. Symb. Comput., 2003)

Computing maximal subgroups of finite groups. - John J. Cannon; Derek F. Holt (J. Symb. Comput., 2004)

Computing subgroups of bounded index in a finite group. - John J. Cannon; Derek F. Holt; Michael C. Slattery; Allan K. Steel (J. Symb. Comput., 2005)

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

The Linearity of the Conjugacy Problem in Word-hyperbolic Groups. - David B. A. Epstein; Derek F. Holt (Int. J. Algebra Comput., 2006)

Groups with Indexed Co-word Problem. - Derek F. Holt; Claas E. Röver (Int. J. Algebra Comput., 2006)

Star-Free Geodesic Languages for Groups. - Susan M. Hermiller; Derek F. Holt; Sarah Rees (Int. J. Algebra Comput., 2007)

The Transitive Permutation Groups of Degree 32. - John J. Cannon; Derek F. Holt (Exp. Math., 2008)

Groups whose Geodesics are Locally Testable. - Susan M. Hermiller; Derek F. Holt; Sarah Rees (Int. J. Algebra Comput., 2008)

Groups that do and do not Have Growing Context-Sensitive Word Problem. - Derek F. Holt; Sarah Rees; Michael Shapiro (Int. J. Algebra Comput., 2008)

Computing a Chief Series and the Soluble Radical of a Matrix Group Over a Finite Field. - Derek F. Holt; Mark J. Stather (LMS J. Comput. Math., 2008)

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

Groups with Context-Free Conjugacy Problems. - Derek F. Holt; Sarah Rees; Claas E. Röver (Int. J. Algebra Comput., 2011)

Semigroups with a Context-Free Word Problem. - Michael Hoffmann 002; Derek F. Holt; Matthew D. Owens; Richard M. Thomas (Developments in Language Theory, 2012)

Computing Projective Indecomposable Modules and Higher Cohomology Groups. - John J. Cannon; Derek F. Holt (Exp. Math., 2013)

Shortlex automaticity and geodesic regularity in Artin groups. - Derek F. Holt; Sarah Rees (Groups Complex. Cryptol., 2013)

The Conjugacy Problem in hyperbolic Groups for Finite Lists of Group Elements. - D. J. Buckley; Derek F. Holt (Int. J. Algebra Comput., 2013)

A practical model for computation with matrix groups. - Henrik Bäärnhielm; Derek F. Holt; Charles R. Leedham-Green; Eamonn A. O'Brien (J. Symb. Comput., 2015)

Groups, Languages and Automata - Derek F. Holt; Sarah Rees; Claas E. Röver (Cambridge University Press, 2017)

Algorithms for polycyclic-by-finite groups. - Shavak K. Sinanan; Derek F. Holt (J. Symb. Comput., 2017)

Compressed Decision Problems in Hyperbolic Groups. - Derek F. Holt; Markus Lohrey; Saul Schleimer (STACS, 2019)

The use of permutation representations in structural computations in large finite matrix groups. - John J. Cannon; Derek F. Holt; William R. Unger (J. Symb. Comput., 2019)

A census of small transitive groups and vertex-transitive graphs. - Derek F. Holt; Gordon F. Royle (J. Symb. Comput., 2020)

Biautomatic structures in systolic Artin groups. - Derek F. Holt; Sarah Rees (Int. J. Algebra Comput., 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)