IsomNonisom.pdf Barbara Baumeister, Derek Holt, Georges Neaime and Sarah Rees, Isomorphism and non-isomorphism for interval groups of type D.
J. Algebra 629 (2023), 399-423.
RegularOrbit4.pdf Derek Holt and Yong Yang, Regular orbits of finite primitive solvable groups, the final classification.
J. Symbolic Computation 116 (2023), 139-145.
BS1k.pdf Andrew Duncan, Alex Evetts, Derek Holt and Sarah Rees, Using edt0l systems to solve some equations in the solvable Baumslag-Solitar groups.
J. Algebra 630 (2023), 434-456.
cwp_relhyp.pdf Derek Holt and Sarah Rees, The compressed word problem in relatively hyperbolic groups.
J. Algebra 607, Part B (2022), 305-343.
trans48.pdf Derek Holt, Gordon Royle and Gareth Tracey, The transitive groups of degree 48 and some applications.
J. Algebra 607, Part A (2022), 372-386
systolic_biaut.pdf Derek Holt and Sarah Rees, Biautomatic structures in systolic Artin groups.
Internat. J. Algebra Comput. 31, No. 3 (2021), 365-391.
automaticgog.pdf Susan Hermiller, Derek Holt, Sarah Rees and Tim Susse Automaticity for graphs of groups,
Groups, Geometry, and Dynamics 15, No. 2 (2021), 503-551.
pregroups.pdf Derek Holt, Stephen Linton, Max Neunh\"offer, Richard Parker, Markus Pfeiffer, and Colva Roney-Dougal, Polynomial-time proofs that groups are hyperbolic,
J. Symbolic Computation 104 (2021), 419-475.
comptreepoly.pdf D.F. Holt, C.R. Leedham-Green, and E. A. O'Brien, Constructing composition factors for a linear group in polynomial time.
J. Algebra 561, (2020), 215-236
equations.pdf Laura Ciobanu, Derek Holt and Sarah Rees, Equations in groups that are virtually direct products.
J. Algebra 545 (2020), 88-99.
trans47.pdf Derek Holt and Gordon Royle, A census of small transitive groups and vertex-transitive graphs.
J. Symbolic Computation 101 (2020), 51-60.
lmg_revised.pdf J.J. Cannon, D.F. Holt and W.R. Unger, The use of permutation representations in structural computations in large finite matrix groups.
J. Symbolic Computation 95 (2019), 26-38.
Dix.pdf Patrick Dehornoy, Derek Holt and Sarah Rees, Multifraction reduction IV: padding and Artin–Tits monoids of sufficiently large type.
J. Pure Appl. Algebra 222 (2018), 4082-4098.
gwphyp.pdf Laura Ciobanu, Derek Holt and Sarah Rees, The generalised word problem in hyperbolic and relatively hyperbolic groups.
J. Algebra 516 (2018) 149-171.
pcfin.pdf Derek Holt and Shavak Sinanan, Algorithms for polycyclic-by-finite groups.
J. Symbolic Computation 79 (2017), 269-284.
CApprox.pdf Derek Holt and Sarah Rees, Some closure results for ${\mathcal C}$-approximable groups.
Pacific J. Math. 287-2 (2017), 393-409.
conjlang.pdf Laura Ciobanu, Susan Hermiller, Derek Holt and Sarah Rees, Conjugacy languages in groups.
Israel J. Math. 211 (2016), 311-348.
RapidDecay.pdf Laura Ciobanu, Derek Holt and Sarah Rees, Rapid decay and Baum-Connes for large type Artin groups,
Trans. Amer. Math. Soc. 368 (2016), 6103-6129.
artconj.pdf Derek Holt and Sarah Rees, Conjugacy in Artin groups of extra-large type.
J. Algebra 434 (2015), 12-26.
comptree.pdf H. Bäärnhielm, C.R. Leedham-Green, E.A. O'Brien A practical model for computation with matrix groups,
J. Symbolic Computation 68 (2015), 27-60.
autostack.pdf Mark Brittenham, Susan Hermiller and Derek Holt, Algorithms and topology of Cayley graphs for groups.
J. Algebra 415, no 1 (2014), 112-136.
sofic.pdf Laura Ciobanu, Derek Holt and Sarah Rees, Sofic groups: graph products and graphs of groups.
Pacific J. Math. 271, no 1 (2014), 53-64.
artin2.pdf Derek Holt and Sarah Rees, Shortlex automaticity and geodesic regularity in Artin groups.
Groups Complex. Cryptol. 05 (2013), 1-23.
graphprodRD.pdf Laura Ciobanu, Derek Holt and Sarah Rees, Rapid decay is preserved by graph products.
J. Topol. Anal. 05 (2013), 225-237.
projindec.pdf J.J. Cannon and D.F. Holt, Computing projective indecomposable modules and higher cohomology groups
Experiment. Math. 22 (2013), 51-59.
conjugacy.pdf D.J. Buckley and D.F. Holt, The conjugacy problem in hyperbolic groups for finite lists of group elements.
Internat. J. Algebra Comput. 23 (2013), 1127-1150.
lingens.pdf D.F. Holt and C.M. Roney-Dougal, Minimal and random generation of permutation and matrix groups.
J. Algebra 387 (2013), 195-214.
solsubs.pdf Tara Brough and Derek Holt, Finitely generated soluble groups and their subgroups.
Comm. Algebra 41 (2013), 1790-1799.
graphprod.pdf Derek Holt and Sarah Rees, Generalising some results about right-angled Artin groups to graph products of groups.
J. Algebra 371 (2012), 94--104.
artin.pdf Derek Holt and Sarah Rees, Artin groups of large type are shortlex automatic with regular geodesics.
Proc. London Math. Soc. 104 (2012), 486-512.
csconj.pdf D. Holt, S. Rees and C. Röver, Groups with context-free conjugacy problems.
Internat. J. Algebra Comput. 21 (2011), 193-216.
fftp.pdf Derek Holt, Garside groups have the falsification by fellow-traveller property.
Groups Geom. Dyn. 4 (2010), 777-784.
coxpres.pdf G. Havas and D. Holt, On Coxeter's families of group presentations.
Journal of Algebra 324 (2010), 1076-1082.
symsubs.pdf Derek Holt, Enumerating subgroups of the symmetric group.
In Computational Group Theory and the Theory of Groups, II, edited by L-C Kappe, A. Magidin and R. Morse,
AMS Contemporary Mathematics book series vol 511 (2010), pp 33-37.
maxorth.pdf D.F. Holt and C.M. Roney-Dougal, Constructing maximal subgroups of orthogonal groups.
LMS J. Comput. Math. 13 (2010), 164-191.
psigmau.pdf J. N. Bray, D. F. Holt and C. M. Roney-Dougal, Certain classical groups are not well-defined.
J. Group Theory 12 (2009), 171-180.
growingcwsp.pdf D. Holt, S. Rees and M. Shapiro, Groups that do and do not have growing context-sensitive word problem.
Internat. J. Algebra Comput. 18 (2008), 1179-1191.
onecounter.pdf D.F. Holt, M.D. Owens and R.M. Thomas, Groups and semigroups with a one-counter word problem.
J. Australian Math. Soc. 85 (2008), 197-209.
csmatgp.pdf D.F. Holt and M.J. Stather, Computing a chief series and the soluble radical of a matrix group over a finite field.
LMS J. Comput. Math. 11 (2008), 223 - 251.
trans32.pdf J.J. Cannon and D.F. Holt, The transitive groups of degree 32.
Experiment. Math. 17 (2008), 307-314.
loctest.pdf Susan Hermiller, Derek Holt and Sarah Rees, Groups whose geodesics are locally testable.
Internat. J. Algebra Comput. 18 (2008), 911-923.
locexclud.pdf R.H. Gilman, S. Hermiller, D.F. Holt and S. Rees, A characterisation of virtually free groups.
Arch. Math. 89 (2007), 289-295.
starfree.pdf Susan Hermiller, Derek Holt and Sarah Rees, Star-free geodesic languages for groups.
Internat. J. Algebra Comput. 17 (2007), 329-345
matgps.pdf D.F. Holt and E.A. O'Brien, A computer assisted analysis of some matrix groups.
J. Algebra 300 (2006), 199-212
classes.pdf J.J. Cannon and D.F. Holt, Computing conjugacy class representatives in permutation groups.
J. Algebra 300 (2006), 213-222.
coindex.pdf D.F. Holt and C. Röver, Groups with co-indexed word problem.
Internat. J. Algebra Comput.}16 (2006), 985-1014.
hypconj.pdf D.B.A. Epstein and D.F. Holt, The linearity of the conjugacy problem in word hyperbolic groups.
Internat. J. Algebra Comput. 16 (2006), 287-305.
maxclassgps.pdf D.F. Holt and C.M. Roney-Dougal, Constructing maximal subgroups of classical groups.
LMS J. Comput. Math. 8 (2005), 46 -79.
lowindex.pdf J.J. Cannon, D.F. Holt, M. Slattery and A.K. Steel, Computing subgroups of bounded index in a finite group.
J. Symbolic Computation 40 (2005), 1013-1022.
coCF.pdf D.F. Holt, C. Röver, S. Rees and R.M. Thomas, Groups with context-free co-word problem.
J. London Math. Soc. 71 (2005), 643-657.
maxsub.pdf J.J. Cannon and D.F. Holt, Computing maximal subgroups of finite groups.
J. Symbolic Computation 37 (2004), 589-609.
qg.pdf Derek Holt and Sarah Rees, Regularity of quasigeodesics in a hyperbolic group.
Internat. J. Algebra Comput. 13 (2003), 585-596.
nilpdehn.pdf S. Gersten, D.F. Holt and T. Riley, Isometric inequalities for nilpotent groups.
Geometric And Functional Analysis 13 (2003), 795-814.
rtwp.pdf D.F. Holt and C. Röver, On real-time word problems.
J. London Math. Soc. 67 (2003), 289--01.
metab.pdf G. Baumslag, M.R. Bridson, D.F. Holt and C.F. Miller III, Finite presentation of fibre products of metabelian groups.
J. Pure Appl. Algebra 181 (2003), 15-22.
autgp.pdf J.J. Cannon and D.F. Holt, Automorphism group computation and isomorphism testing in finite groups.
J. Symbolic Computation 35 (2003), 241-267.
permquot2.pdf D.F. Holt and J. Walton, Representing the quotient groups of a finite permutation group.
J. Algebra 248, (2002), 307-333.
cp.pdf G. Havas, D.F. Holt and M.F. Newman, Certain cyclically presented groups are infinite.
Comm. Algebra 29 (2001), 5175-5178.
rtwp2.pdf Derek Holt and Sarah Rees, Solving the word problem in real time.
J. London Math. Soc. 63, (2001), 623-639.
subgps.pdf J.J. Cannon, B. Cox and D.F. Holt, Computing the subgroup lattice of a permutation group.
J. Symbolic Computation 31, 2001, 149-161.
ohio.pdf Derek Holt, Computing automorphism groups of finite groups.
In Proceedings of Conference ``Groups and Computation III'', W. M. Kantor & A.Seress (eds.), de Gruyter 2001, 201-208.
realtimewp.pdf Derek Holt, Word-hyperbolic groups have real-time word problem.
Internat. J. Algebra Comput. 10, 2000, 221-227.
ed_98.pdf D.B.A. Epstein and D.F. Holt, Efficient computation in word-hyperbolic groups.
In ``Computational and Geometric Aspects of Modern Algebra'', M. Atkinson, N. Gilbert, J. Howie, S. Linton \& E. Robertson (eds.), CUP 2000, 66-77.
hhkr.pdf G. Havas, D.F. Holt, P.E. Kenne and S. Rees, Some challenging group presentations,
J. Australian Math. Soc. 67 (1999), 206-213.
combings.pdf R.H. Gilman, D.F. Holt and S. Rees, Combing nilpotent and polycyclic groups.
Internat. J. Algebra Comput. 9 (1999), 135-155.
quotpic2.pdf Derek Holt and Sarah Rees, Computing with abelian sections of finitely presented groups.
J. Algebra 214, 1999, 714-728.
essen97.pdf Derek Holt, Decision problems in finitely presented groups.
In "Computational Methods for Representations of Groups and Algebras" (Essen, 1997), 259-265, Progr. Math., 173, Birkhäauser, Basel, 1999.
autcos.pdf D.F. Holt and D.F. Hurt, Computing automatic coset systems and subgroup presentations.
J. Symbolic Computation 27, 1999, 1-19.
epstein.pdf Derek Holt, Automatic groups, subgroups and cosets.
In "The Epstein Birthday Schrift", I. Rivin, C. Rourke and C. Series (eds.), Geometry and Topology Monographs, Volume 1, 249-260 (1998).
bham95.pdf The Meataxe as a tool in computational group theory.
In "The Atlas of Finite Groups: Ten Year On'', R. Curtis \& R. Wilson (eds.), CUP 1998, 74-81.