Group Presentations, Formal Languages and Characterizations of One-Counter Groups. - Thomas Herbst; Richard M. Thomas (Theor. Comput. Sci., 1993)

Rewriting a Semigroup Presentation. - Colin M. Campbell; Edmund F. Robertson; Nikola Ruskuc; Richard M. Thomas (Int. J. Algebra Comput., 1995)

On Subsemigroups and ideals in Free Products of Semigroups. - Colin M. Campbell; Edmund F. Robertson; Nikola Ruskuc; Richard M. Thomas (Int. J. Algebra Comput., 1996)

Automatic semigroups. - Colin M. Campbell; Edmund F. Robertson; Nikola Ruskuc; Richard M. Thomas (Theor. Comput. Sci., 2001)

Automatic Semigroups with Subsemigroups of Finite Rees Index. - Michael Hoffmann 002; Richard M. Thomas; Nikola Ruskuc (Int. J. Algebra Comput., 2002)

Context-Sensitive Decision Problems in Groups. - Stephen R. Lakin; Richard M. Thomas (Developments in Language Theory, 2004)

Monoid presentations of groups by finite special string-rewriting systems. - Duncan W. Parkes; V. Yu. Shavrukov; Richard M. Thomas (RAIRO Theor. Informatics Appl., 2004)

Biautomatic Semigroups. - Michael Hoffmann 002; Richard M. Thomas (FCT, 2005)

Automatic Presentations for Finitely Generated Groups. - Graham P. Oliver; Richard M. Thomas (STACS, 2005)

A geometric characterization of automatic semigroups. - Michael Hoffmann 002; Richard M. Thomas (Theor. Comput. Sci., 2006)

Automatic Presentations for Cancellative Semigroups. - Alan J. Cain; Graham P. Oliver; Nikola Ruskuc; Richard M. Thomas (LATA, 2008)

Space Complexity and Word Problems of Groups. - Stephen R. Lakin; Richard M. Thomas (Groups Complex. Cryptol., 2009)

Automatic presentations for semigroups. - Alan J. Cain; Graham P. Oliver; Nikola Ruskuc; Richard M. Thomas (Inf. Comput., 2009)

Automatic Presentations and Semigroup Constructions. - Alan J. Cain; Graham P. Oliver; Nikola Ruskuc; Richard M. Thomas (Theory Comput. Syst., 2010)

Notions of hyperbolicity in monoids. - Michael Hoffmann 002; Richard M. Thomas (Theor. Comput. Sci., 2010)

Singular Artin Monoids of Finite Coxeter Type Are Automatic. - Ruth Corran; Michael Hoffmann 002; Dietrich Kuske; Richard M. Thomas (LATA, 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)

Unary FA-Presentable Semigroups. - Alan J. Cain; Nikola Ruskuc; Richard M. Thomas (Int. J. Algebra Comput., 2012)

Groups with a Recursively Enumerable Irreducible Word Problem. - Gabriela Asli Rino Nesin; Richard M. Thomas (FCT, 2013)

Formal Languages, Word Problems of Groups and Decidability. - Sam A. M. Jones; Richard M. Thomas (RP, 2013)

On the automaticity of singular Artin monoids of finite type. - Ruth Corran; Michael Hoffmann 002; Dietrich Kuske; Richard M. Thomas (Int. J. Comput. Math., 2013)

Groups Whose Word Problem is a Petri Net Language. - Gabriela Asli Rino Nesin; Richard M. Thomas (DCFS, 2015)

Characterizing Word Problems of Groups. - Sam A. M. Jones; Richard M. Thomas (RP, 2016)

Word problems of groups: Formal languages, characterizations and decidability. - Sam A. M. Jones; Richard M. Thomas (Theor. Comput. Sci., 2018)