Holt, Derek F. and Rees, Sarah. (2012) Artin groups of large type are shortlex automatic with regular geodesics. Proceedings of the London Mathematical Society, Vol.104 (No.3). pp. 486-512. ISSN 0024-6115

Holt, Derek F. and Rees, Sarah. (2012) Generalising some results about right-angled Artin groups to graph products of groups. Journal of Algebra, Vol.371 . pp. 94-104. ISSN 00218693

Holt, Derek F., Rees, Sarah and Röver, Claas E.. (2011) Groups with context-free conjugacy problems. International Journal of Algebra and Computation, Vol.21 (No.1-2). pp. 193-216. ISSN 0218-1967

Havas, George and Holt, Derek F.. (2010) On Coxeter's families of group presentations. Journal of Algebra, Vol.324 (No.5). pp. 1076-1082. ISSN 0021-8693

Holt, Derek F. and Roney-Dougal, Colva M.. (2010) Constructing maximal subgroups of orthogonal groups. LMS Journal of Computation and Mathematics, Vol.13 . pp. 164-191. ISSN 1461-1570

Holt, Derek F. (2010) Enumerating subgroups of the symmetric group. In: AMS Special Session on Computational Group Theory, Western Michigan Univ, Kalamazoo, MI, October 17-19, 2008. Published in: Contemporary Mathematics, Vol.511 pp. 33-37.

Holt, Derek F.. (2010) Garside groups have the falsification by fellow-traveller property. Groups, Geometry, and Dynamics, Vol.4 (No.4). pp. 777-784. ISSN 1661-7207

Bray, John N., Holt, Derek F. and Roney-Dougal, Colva M.. (2009) Certain classical groups are not well-defined. Journal of Group Theory, Vol.12 (No.2). pp. 171-180. ISSN 1433-5883

Holt, Derek F., Rees, Sarah and Shapiro, Michael. (2008) Groups that do and do not have growing context-sensitive word problem. International Journal of Algebra and Computation, Vol.18 (No.7). pp. 1179-1191. ISSN 0218-1967

Holt, Derek F., Owens, Matthew D. and Thomas, R. M. (Richard Monro), 1952-. (2008) Groups and semigroups with a one-counter word problem. Journal of the Australian Mathematical Society, Vol.85 (No.2). pp. 197-209. ISSN 1446-7887

Hermiller, Susan, Holt, Derek F. and Rees, Sarah. (2008) Groups whose geodesics are locally testable. International Journal of Algebra and Computation, Volume 18 (Number 5). pp. 911-923. ISSN 0218-1967

Holt, Derek F. and Stather, Mark J.. (2008) Computing a chief series and the soluble radical of a matrix group over a finite field. LMS Journal of Computation and Mathematics, Vol.11 . pp. 223-251. ISSN 1461-1570

Cannon, John J. and Holt, Derek F.. (2008) The Transitive permutation groups of degree 32. Experimental Mathematics, Vol.17 (No.3). pp. 307-314. ISSN 1058-6458

Gilman, Robert H., Hermiller, Susan, Holt, Derek F. and Rees, Sarah. (2007) A characterisation of virtually free groups. Archiv der Mathematik, Vol.89 (No.4). pp. 289-295. ISSN 0003-889X

Hermiller, Susan, Holt, Derek F. and Rees, Sarah. (2007) Star-free geodesic languages for groups. International Journal of Algebra and Computation, Vol.17 (No.2). pp. 329-345. ISSN 0218-1967

Cannon, John J. and Holt, Derek F.. (2006) Computing conjugacy class representatives in permutation groups. Journal of Algebra, Vol.300 (No.1). pp. 213-222. ISSN 0021-8693

Holt, Derek F. and O'Brien, E.A.. (2006) A computer-assisted analysis of some matrix groups. Journal of Algebra, Vol.300 (No.1). pp. 199-212. ISSN 0021-8693

Holt, Derek F., Rees, Sarah, Röver, Claas E. and Thomas, Richard M.. (2005) Groups with context-free co-word problem. Journal of the London Mathematical Society, Vol.71 (No.3). pp. 643-657. ISSN 0024-6107

Holt, Derek F. and Röver, Claas E.. (2003) On real-time word problems. Journal of the London Mathematical Society, Vol.67 (No.2). pp. 289-301. ISSN 0024-6107

Holt, Derek F. and Rees, Sarah. (2001) Solving the word problem in real time. Journal of the London Mathematical Society, Vol.63 (No.3). pp. 623-639. ISSN 0024-6107

Holt, Derek F. and Roney-Dougal, Colva M.. Minimal and Random Generation of Permutation and Matrix Groups. Journal of the American Mathematical Society . ISSN 1088-6834