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

António Malheiro

dblp:43/6420 · DBLP profile ↗
← Back
6ranked-venue papers
1as first author
0since 2021 · last 2018
0000-0003-1186-6216ORCID · verified

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

Theory of computation · 6 · 1 first-author

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
2 papers
Automata and formal languages · 71% Logic in computer science · 29%

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

TopicWeightPapersLastEvidence papers
Automata and formal languages › semigroup theory
monoids		 0.422017
On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids · Inf. Comput. 2017
On properties not inherited by monoids from their Schützenberger groups · Inf. Comput. 2011
Automata and formal languages › string rewriting
complete rewriting systems		 0.312017
On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids · Inf. Comput. 2017
Logic in computer science
rewriting systems		 0.312017
On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids · Inf. Comput. 2017
YearPublicationVenuePosition
2018 Decidability and independence of conjugacy problems in finitely presented monoids
João Araújo 0002, Michael K. Kinyon, Janusz Konieczny, António Malheiro
 Theor. Comput. Sci.4
2017 On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids
Alan J. Cain, Robert D. Gray, António Malheiro
 Inf. Comput.3
2013 Homotopy bases and finite derivation type for Schützenberger groups of monoids
Robert D. Gray, António Malheiro, Stephen J. Pride
 J. Symb. Comput.2
2011 On properties not inherited by monoids from their Schützenberger groups
Robert D. Gray, António Malheiro, Stephen J. Pride
 Inf. Comput.2
2011 Finite complete rewriting systems for regular semigroups
Robert D. Gray, António Malheiro
 Theor. Comput. Sci.2
2006 Finite derivation type for Rees matrix semigroups
António Malheiro
 Theor. Comput. Sci.1