Richard M. Thomas

Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.

? Tutorial for this page

Demo Data from EDBT 2026 / reviewers in the wild / expert

dblp:00/6434 · DBLP profile ↗

← Back

15ranked-venue papers

0as first author

0since 2021 · last 2018

0000-0003-1207-793XORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 15

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science

1 paper

Automata and formal languages · 67% Logic in computer science · 33%

Topics — the 3 heaviest of 3, each with the papers that count most for it

Topic	Weight	Papers	Last	Evidence papers
Automata and formal languages › semigroup theory automatic presentation	0.1	1	2009	Automatic presentations for semigroups · Inf. Comput. 2009
Logic in computer science › model theory automatic structures	0.1	1	2009	Automatic presentations for semigroups · Inf. Comput. 2009
Automata and formal languages semigroup theory	0.1	1	2009	Automatic presentations for semigroups · Inf. Comput. 2009

Year	Publication	Venue	Position
2018	Word problems of groups: Formal languages, characterizations and decidability Sam A. M. Jones, Richard M. Thomas	Theor. Comput. Sci.	2
2013	Groups with a Recursively Enumerable Irreducible Word Problem Gabriela Asli Rino Nesin, Richard M. Thomas	FCT	2
2012	Semigroups with a Context-Free Word Problem Michael Hoffmann 0002, Derek F. Holt, Matthew D. Owens, Richard M. Thomas	Developments in Language Theory	4
2011	Singular Artin Monoids of Finite Coxeter Type Are Automatic Ruth Corran, Michael Hoffmann 0002, Dietrich Kuske, Richard M. Thomas	LATA	4
2010	Automatic Presentations and Semigroup Constructions Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas	Theory Comput. Syst.	4
2010	Notions of hyperbolicity in monoids Michael Hoffmann 0002, Richard M. Thomas	Theor. Comput. Sci.	2
2009	Automatic presentations for semigroups Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas	Inf. Comput.	4
2008	Automatic Presentations for Cancellative Semigroups Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas	LATA	4
2007	Notions of Hyperbolicity in Monoids Michael Hoffmann 0002, Richard M. Thomas	FCT	2
2006	A geometric characterization of automatic semigroups Michael Hoffmann 0002, Richard M. Thomas	Theor. Comput. Sci.	2
2005	Biautomatic Semigroups Michael Hoffmann 0002, Richard M. Thomas	FCT	2
2005	Automatic Presentations for Finitely Generated Groups Graham P. Oliver, Richard M. Thomas	STACS	2
2004	Context-Sensitive Decision Problems in Groups Stephen R. Lakin, Richard M. Thomas	Developments in Language Theory	2
2001	Automatic semigroups Colin M. Campbell, Edmund F. Robertson, Nikola Ruskuc, Richard M. Thomas	Theor. Comput. Sci.	4
1993	Group Presentations, Formal Languages and Characterizations of One-Counter Groups Thomas Herbst, Richard M. Thomas	Theor. Comput. Sci.	2