Derek F. Holt

2008
19	EE	Susan M. Hermiller, Derek F. Holt, Sarah Rees: Groups whose Geodesics are Locally Testable. IJAC 18(5): 911-923 (2008)
18	EE	Derek F. Holt, Sarah Rees, Michael Shapiro: Groups that do and do not Have Growing Context-Sensitive Word Problem. IJAC 18(7): 1179-1191 (2008)
2007
17	EE	Susan M. Hermiller, Derek F. Holt, Sarah Rees: Star-Free Geodesic Languages for Groups. IJAC 17(2): 329-345 (2007)
2006
16	EE	Derek F. Holt, Claas E. Röver: Groups with Indexed Co-word Problem. IJAC 16(5): 985-1014 (2006)
2005
15	EE	John J. Cannon, Derek F. Holt, Michael C. Slattery, Allan K. Steel: Computing subgroups of bounded index in a finite group. J. Symb. Comput. 40(2): 1013-1022 (2005)
2004
14	EE	John J. Cannon, Derek F. Holt: Computing maximal subgroups of finite groups. J. Symb. Comput. 37(5): 589-609 (2004)
2003
13	EE	Derek F. Holt, Sarah Rees: Regularity of Quasigeodesics in a Hyperbolic Group. IJAC 13(5): 585-596 (2003)
12	EE	John J. Cannon, Derek F. Holt: Automorphism group computation and isomorphism testing in finite groups. J. Symb. Comput. 35(3): 241-267 (2003)
2001
11	EE	David Bernard Alper Epstein, Derek F. Holt: Computation in Word-Hyperbolic Groups. IJAC 11(4): 467-488 (2001)
10		John J. Cannon, Bruce C. Cox, Derek F. Holt: Computing the Subgroups of a Permutation Group. J. Symb. Comput. 31(1/2): 149-161 (2001)
2000
9	EE	Derek F. Holt: Computation in word-hyperbolic groups. ISSAC 2000
8	EE	Derek F. Holt: Word-Hyperbolic Groups Have Real-Time Word Problem. IJAC 10(2): 221-228 (2000)
1999
7		Derek F. Holt, D. F. Hurt: Computing Automatic Coset Systems and Subgroup Presentations. J. Symb. Comput. 27(1): 1-19 (1999)
1997
6		John J. Cannon, Derek F. Holt: Computing Chief Series, Composition Series and Socles in Large Permutation Groups. J. Symb. Comput. 24(3/4): 285-301 (1997)
5		John J. Cannon, Bruce C. Cox, Derek F. Holt: Computing Sylow Subgroups in Permutation Groups. J. Symb. Comput. 24(3/4): 303-316 (1997)
4		Derek F. Holt, W. Plesken, Bernd Souvignier: Constructing a Representation of the Group. J. Symb. Comput. 24(3/4): 489-492 (1997)
1991
3		David Bernard Alper Epstein, Derek F. Holt, Sarah Rees: The Use of Knuth-Bendix Methods to Solve the Word Problem in Automatic Groups. J. Symb. Comput. 12(4/5): 397-414 (1991)
2		Derek F. Holt: The Computation of Normalizers in Permutation Groups. J. Symb. Comput. 12(4/5): 499-516 (1991)
1985
1		Derek F. Holt: The Mechanical Computation of First and Second Cohomology Groups. J. Symb. Comput. 1(4): 351-361 (1985)

Coauthor Index

1	John J. Cannon	[5] [6] [10] [12] [14] [15]
2	Bruce C. Cox	[5] [10]
3	David Bernard Alper Epstein	[3] [11]
4	Susan M. Hermiller	[17] [19]
5	D. F. Hurt	[7]
6	W. Plesken	[4]
7	Sarah Rees	[3] [13] [17] [18] [19]
8	Claas E. Röver	[16]
9	Michael Shapiro	[18]
10	Michael C. Slattery	[15]
11	Bernd Souvignier	[4]
12	Allan K. Steel	[15]

Colors in the list of coauthors