Derek F. Holt - RankMe

44 papers A 1B 1C 1Journal 38Unranked 2

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Biautomatic structures in systolic Artin groups. Int. J. Algebra Comput. Derek F. Holt, Sarah Rees
2021	J	`jnl`	Polynomial-time proofs that groups are hyperbolic. J. Symb. Comput. Derek F. Holt, Stephen A. Linton, Max Neunhöffer, Richard Parker, Markus Pfeiffer, Colva M. Roney-Dougal
2020	J	`jnl`	A census of small transitive groups and vertex-transitive graphs. J. Symb. Comput. Derek F. Holt, Gordon F. Royle
2019	A	`conf`	Compressed Decision Problems in Hyperbolic Groups. STACS Derek F. Holt, Markus Lohrey, Saul Schleimer
2019	J	`jnl`	The use of permutation representations in structural computations in large finite matrix groups. J. Symb. Comput. John J. Cannon, Derek F. Holt, William R. Unger
2017	J	`jnl`	Algorithms for polycyclic-by-finite groups. J. Symb. Comput. Shavak K. Sinanan, Derek F. Holt
2017	—	`book`	Groups, Languages and Automata Derek F. Holt, Sarah Rees, Claas E. Röver
2015	J	`jnl`	A practical model for computation with matrix groups. J. Symb. Comput. Henrik Bäärnhielm, Derek F. Holt, Charles R. Leedham-Green, Eamonn A. O'Brien
2013	J	`jnl`	Computing Projective Indecomposable Modules and Higher Cohomology Groups. Exp. Math. John J. Cannon, Derek F. Holt
2013	J	`jnl`	Shortlex automaticity and geodesic regularity in Artin groups. Groups Complex. Cryptol. Derek F. Holt, Sarah Rees
2013	J	`jnl`	The Conjugacy Problem in hyperbolic Groups for Finite Lists of Group Elements. Int. J. Algebra Comput. D. J. Buckley, Derek F. Holt
2012	C	`conf`	Semigroups with a Context-Free Word Problem. Developments in Language Theory Michael Hoffmann, Derek F. Holt, Matthew D. Owens, Richard M. Thomas
2011	J	`jnl`	Groups with Context-Free Conjugacy Problems. Int. J. Algebra Comput. Derek F. Holt, Sarah Rees, Claas E. Röver
2010	J	`jnl`	Constructing maximal subgroups of orthogonal groups. LMS J. Comput. Math. Derek F. Holt, Colva M. Roney-Dougal
2008	J	`jnl`	Computing a Chief Series and the Soluble Radical of a Matrix Group Over a Finite Field. LMS J. Comput. Math. Derek F. Holt, Mark J. Stather
2008	J	`jnl`	Groups that do and do not Have Growing Context-Sensitive Word Problem. Int. J. Algebra Comput. Derek F. Holt, Sarah Rees, Michael Shapiro
2008	J	`jnl`	Groups whose Geodesics are Locally Testable. Int. J. Algebra Comput. Susan M. Hermiller, Derek F. Holt, Sarah Rees
2008	J	`jnl`	The Transitive Permutation Groups of Degree 32. Exp. Math. John J. Cannon, Derek F. Holt
2007	J	`jnl`	Star-Free Geodesic Languages for Groups. Int. J. Algebra Comput. Susan M. Hermiller, Derek F. Holt, Sarah Rees
2006	J	`jnl`	Groups with Indexed Co-word Problem. Int. J. Algebra Comput. Derek F. Holt, Claas E. Röver
2006	J	`jnl`	The Linearity of the Conjugacy Problem in Word-hyperbolic Groups. Int. J. Algebra Comput. David B. A. Epstein, Derek F. Holt
2005	J	`jnl`	Computing subgroups of bounded index in a finite group. J. Symb. Comput. John J. Cannon, Derek F. Holt, Michael C. Slattery, Allan K. Steel
2005	J	`jnl`	Constructing Maximal Subgroups of Classical Groups. LMS J. Comput. Math. Derek F. Holt, Colva M. Roney-Dougal
2004	J	`jnl`	Computing maximal subgroups of finite groups. J. Symb. Comput. John J. Cannon, Derek F. Holt
2003	J	`jnl`	Automorphism group computation and isomorphism testing in finite groups. J. Symb. Comput. John J. Cannon, Derek F. Holt
2003	J	`jnl`	Regularity of Quasigeodesics in a Hyperbolic Group. Int. J. Algebra Comput. Derek F. Holt, Sarah Rees
2001	J	`jnl`	Computation in Word-Hyperbolic Groups. Int. J. Algebra Comput. David B. A. Epstein, Derek F. Holt
2001	J	`jnl`	Computing the Subgroups of a Permutation Group. J. Symb. Comput. John J. Cannon, Bruce C. Cox, Derek F. Holt
2000	B	`conf`	Computation in word-hyperbolic groups. ISSAC Derek F. Holt
2000	J	`jnl`	Word-Hyperbolic Groups Have Real-Time Word Problem. Int. J. Algebra Comput. Derek F. Holt
1999	J	`jnl`	Combing Nilpotent and Polycyclic Groups. Int. J. Algebra Comput. Robert H. Gilman, Derek F. Holt, Sarah Rees
1999	J	`jnl`	Computing Automatic Coset Systems and Subgroup Presentations. J. Symb. Comput. Derek F. Holt, D. F. Hurt
1997	J	`jnl`	Computing Chief Series, Composition Series and Socles in Large Permutation Groups. J. Symb. Comput. John J. Cannon, Derek F. Holt
1997	J	`jnl`	Computing Sylow Subgroups in Permutation Groups. J. Symb. Comput. John J. Cannon, Bruce C. Cox, Derek F. Holt
1997	J	`jnl`	Constructing a Representation of the Group. J. Symb. Comput. Derek F. Holt, Wilhelm Plesken, Bernd Souvignier
1996	J	`jnl`	Free Quotients of Finitely Presented Groups. Exp. Math. Derek F. Holt, Sarah Rees
1995	J	`jnl`	An Alternative Proof That the Fibonacci Group F(2, 9) is Infinite. Exp. Math. Derek F. Holt
1994	—	`conf`	The Warwick automatic groups software. Geometric and Computational Perspectives on Infinite Groups Derek F. Holt
1992	J	`jnl`	An Implementation of the Neumann-Praeger Algorithm for the Recognition of Special Linear Groups. Exp. Math. Derek F. Holt, Sarah Rees
1991	—	`conf`	A Graphics System for Displaying Finite Quotients of Finitely Presented Groups 113. Groups And Computation Derek F. Holt, Sarah Rees
1991	J	`jnl`	The Computation of Normalizers in Permutation Groups. J. Symb. Comput. Derek F. Holt
1991	J	`jnl`	The Use of Knuth-Bendix Methods to Solve the Word Problem in Automatic Groups. J. Symb. Comput. David B. A. Epstein, Derek F. Holt, Sarah Rees
1985	J	`jnl`	The Mechanical Computation of First and Second Cohomology Groups. J. Symb. Comput. Derek F. Holt
1981	J	`jnl`	A graph which is edge transitive but not arc transitive. J. Graph Theory Derek F. Holt