Complete Rewriting Systems For Codified Submonoids. - António Malheiro (Int. J. Algebra Comput., 2005)

Finite derivation type for Rees matrix semigroups. - António Malheiro (Theor. Comput. Sci., 2006)

On Finite Semigroup Cross-Sections and Complete Rewriting Systems. - António Malheiro (TMFCS, 2008)

On properties not inherited by monoids from their Schützenberger groups. - Robert D. Gray; António Malheiro; Stephen J. Pride (Inf. Comput., 2011)

Finite complete rewriting systems for regular semigroups. - Robert D. Gray; António Malheiro (Theor. Comput. Sci., 2011)

Homotopy bases and finite derivation type for Schützenberger groups of monoids. - Robert D. Gray; António Malheiro; Stephen J. Pride (J. Symb. Comput., 2013)

Crystal bases, finite complete rewriting systems, and biautomatic structures for Plactic monoids of types $A_n$, $B_n$, $C_n$, $D_n$, and $G_2$. - Alan J. Cain; Robert D. Gray; António Malheiro (CoRR, 2014)

Rewriting systems and biautomatic structures for Chinese, hypoplactic, and sylvester monoids. - Alan J. Cain; Robert D. Gray; António Malheiro (Int. J. Algebra Comput., 2015)

Deciding conjugacy in sylvester monoids and other homogeneous monoids. - Alan J. Cain; António Malheiro (Int. J. Algebra Comput., 2015)

Combinatorics of Cyclic Shifts in Plactic, Hypoplactic, Sylvester, and Related Monoids. - Alan J. Cain; António Malheiro (WORDS, 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., 2017)

Identities in Plactic, Hypoplactic, Sylvester, Baxter, and Related Monoids. - Alan J. Cain; António Malheiro (Electron. J. Comb., 2018)

Decidability and independence of conjugacy problems in finitely presented monoids. - João Araújo 002; Michael K. Kinyon; Janusz Konieczny; António Malheiro (Theor. Comput. Sci., 2018)

A Note on a Unifying Proof of the Undecidability of Several Diagrammatic Properties of Term Rewriting Systems. - António Malheiro; Paulo Guilherme Santos (CoRR, 2019)

Combinatorics of patience sorting monoids. - Alan J. Cain; António Malheiro; Fábio M. Silva (Discret. Math., 2019)

The monoids of the patience sorting algorithm. - Alan J. Cain; António Malheiro; Fábio M. Silva (Int. J. Algebra Comput., 2019)

Crystal monoids & crystal bases: Rewriting systems and biautomatic structures for plactic monoids of types An, Bn, Cn, Dn, and G2. - Alan J. Cain; Robert D. Gray; António Malheiro (J. Comb. Theory A, 2019)

Subsets of groups in public-key cryptography. - André Carvalho; António Malheiro (Adv. Math. Commun., 2025)

A local characterization of quasi-crystal graphs. - Alan J. Cain; António Malheiro; Fátima Rodrigues 003; Inês Rodrigues (Eur. J. Comb., 2025)