# António Malheiro

## Assistant Professor w/ habilitation, Mathematics 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)

Combinatorics of patience sorting monoids." (Submitted). Abstract

"Conjugacy in Patience Sorting monoids." (Submitted). Abstract

"Crystal monoids & crystal bases: Rewriting systems and biautomatic structures for plactic monoids of types An, Bn, Cn, Dn, and G2." *Journal of Combinatorial Theory, Series A*. 162 (2019): 406-466. AbstractWebsite

"Identification of proofs via syzygies." *Philosophical Transactions of the Royal Society A*. 377.2140 (2019). AbstractWebsite

"The monoids of the patience sorting algorithm." *International Journal of Algebra and Computation*. 29.01 (2019): 85-125. 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

"Identities in plactic, hypoplactic, sylvester, Baxter, and related monoids." *The Electronic Journal of Combinatorics*. 25.3 (2018): P3.30 (19 pages). 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

"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

" "

Homotopy bases and finite derivation type for subgroups of monoids." *J. Algebra*. 410 (2014): 53-84. 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

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

"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

"