# António Malheiro

## Assistant Professor, Mathematical Department

Faculdade de Ciências e Tecnologia UNL, Monte da Caparica, 2829-516 Caparica, Tel: (+351) 212948388 ext. 10832 (email)

Faculdade de Ciências e Tecnologia UNL, Monte da Caparica, 2829-516 Caparica, Tel: (+351) 212948388 ext. 10832 (email)

Complete rewriting systems for codified submonoids." *Int. J. Algebra Comput.*. 15 (2005): 207-216. AbstractWebsite

"Finite derivation type for Rees matrix semigroups." *Theor. Comput. Sci.*. 355 (2006): 274-290. AbstractWebsite

"On Finite Semigroup Cross-Sections and Complete Rewriting Systems." *International Conference on Theoretical and Mathematical Foundations of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008*. 2008. 59-63. Abstract

" "

Finite complete rewriting systems for regular semigroups." *Theor. Comput. Sci.*. 412 (2011): 654-661. AbstractWebsite

"On finite complete presentations and exact decompositions of semigroups." *Commun. Algebra*. 39 (2011): 3866-3878. AbstractWebsite

"On properties not inherited by monoids from their Schützenberger groups." *Inf. Comput.*. 209 (2011): 1120-1134. AbstractWebsite

"Finite derivation type for semilattices of semigroups." *Semigroup Forum*. 84 (2012): 515-526. AbstractWebsite

"A characterization of adequate semigroups by forbidden subsemigroups." *Proc. R. Soc. Edinb., Sect. A, Math.*. 143 (2013): 1115-1122. AbstractWebsite

"Homotopy bases and finite derivation type for Schützenberger groups of monoids." *J. Symb. Comput.*. 50 (2013): 50-78. AbstractWebsite

" "

Homotopy bases and finite derivation type for subgroups of monoids." *J. Algebra*. 410 (2014): 53-84. AbstractWebsite

"Deciding conjugacy in sylvester monoids and other homogeneous monoids." *Int. J. Algebra Comput.*. 25 (2015): 899-915. AbstractWebsite

"Finite Gröbner-Shirshov bases for plactic algebras and biautomatic structures for plactic monoids." *J. Algebra*. 423 (2015): 37-53. AbstractWebsite

"Rewriting systems and biautomatic structures for Chinese, hypoplactic, and sylvester monoids." *Int. J. Algebra Comput.*. 25 (2015): 51-80. AbstractWebsite

" "Combinatorics of Cyclic Shifts in Plactic, Hypoplactic, Sylvester, and Related Monoids." *Combinatorics on Words: 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings*. Eds. Srečko Brlek, Francesco Dolce, Christophe Reutenauer, and Élise Vandomme. Cham: Springer International Publishing, 2017. 190-202. Abstract

Crystallizing the hypoplactic monoid: from quasi-Kashiwara operators to the Robinson--Schensted-type correspondence for quasi-ribbon tableaux." *Journal of Algebraic Combinatorics*. 45.2 (2017): 475-524. AbstractWebsite

"Four notions of conjugacy for abstract semigroups." *Proceedings of the Royal Society of Edinburgh: Section A Mathematics*. 147 (2017): 1169-1214. AbstractWebsite

"On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids." *Information and Computation*. 255 (2017): 68-93. AbstractWebsite

"Crystals and trees: Quasi-Kashiwara operators, monoids of binary trees, and Robinson–Schensted-type correspondences." *Journal of Algebra*. 502 (2018): 347-381. AbstractWebsite

"Decidability and Independence of Conjugacy Problems in Finitely Presented Monoids." *Theoretical Computer Science*. 731 (2018): 88-98. AbstractWebsite

"