Publications
An application of first-order logic to the study of recognizable languages. Internat. J. Algebra Comput.. 2004;14:785-799.
Equações no «Libro de Algebra» de Pedro Nunes. Vol 68 APM 2002.Edit
Finite automata for Schreier graphs of virtually free groups. J. Group Theory. 2016;19:25-54.Edit
On unique factorization semilattices. Discuss. Math. Gen. Algebra Appl.. 2000;20:97-120.
Conjugacy and transposition for inverse monoid presentations. Internat. J. Algebra Comput.. 1996;6:607-622.
Field dimension and skill level constrain team tactical behaviours in small-sided and conditioned games in football. Journal of sports sciences. 2014;32:1888-1896.Edit
A note on pure and $p$-pure languages. Acta Inform.. 2003;39:579-595.
Trees associated to inverse monoid presentations. J. Pure Appl. Algebra. 2001;165:307-335.
On finite-index extensions of subgroups of free groups. J. Group Theory. 2010;13:365-381.Edit
Contribuição para o estudo do manuscrito Arte de Marear de Juan Pérez de Moya. LLULL. 2012;35(76):351-379.Edit
Fixed points of endomorphisms of virtually free groups. Pacific J. Math.. 2013;263:207-240.
Rational languages and inverse monoid presentations. Internat. J. Algebra Comput.. 1992;2:187-207.
Francisco Gomes Teixeira. CIM Bulletin. 2004;16:21-23.Edit
The homomorphism problem for the free monoid. Discrete Math.. 2002;259:189-200.
On free inverse monoid languages. RAIRO Inform. Théor. Appl.. 1996;30:349-378.
On an algorithm to decide whether a free group is a free factor of another. Theor. Inform. Appl.. 2008;42:395-414.Edit
[2010-14] Finite idempotent inverse monoid presentations .
Dicionário de Matemática Elementar, de Stella Baruk. Vol 2 Edições Afrontamento 2005.Edit
The homomorphism problem for trace monoids. Theoret. Comput. Sci.. 2003;307:199-215.