Publications
Simulation Based Design of Optimal Phasing Plans for an Intersection with Semi-Actuated Signals. In: Proceedings of the Twelfth International Conference on Civil, Structural and Environmental Engineering Computing.; 2009. 2. 246.Edit
Fixed points of endomorphisms over special confluent rewriting systems. Monatsh. Math.. 2010;161:417-447.
José Anastácio da Cunha e a Álgebra do seu tempo. CMUM ed. Portugal, Braga: Universidade do Minho. Centro de Matemática (CMAT) 2005.Edit
The algebraic content of Bento Fernandes’s Tratado da arte de arismetica (1555). Historia Mathematica . 2008;35 :190-219.Edit
The word problem for nilpotent inverse monoids. Semigroup Forum. 1995;51:285-293.
Fixed points of endomorphisms of certain free products. RAIRO Theor. Inform. Appl.. 2012;46:165-179.
[2015-41] On the circulation of algebraic knowledge in the Iberian península:the sources of Pérez de Moya's Tratado de Arithmetica (1573) .Edit
On the circulation of algebraic knowledge in the Iberian península: the sources of Pérez de Moya's Tratado de Arithmetica (1573). Revue d'histoire des mathématiques . 2016;2:145-184.Edit
A note on primeness of semigroup rings. Proc. Roy. Soc. Edinburgh Sect. A. 1992;120:191-197.
An application of first-order logic to the study of recognizable languages. Internat. J. Algebra Comput.. 2004;14:785-799.
Numerical relations and skill level constrain co-adaptive behaviors of agents in sports teams. PloS one. 2014;9:e107112.Edit
On unique factorization semilattices. Discuss. Math. Gen. Algebra Appl.. 2000;20:97-120.
Renaissance sources of Juan Pérez de Moya’s geometries. Asclepio. Revista de Historia de la Medicina y de la Ciencia. 2013;65 (2)(julio-diciembre ):1-18.Edit
Conjugacy and transposition for inverse monoid presentations. Internat. J. Algebra Comput.. 1996;6:607-622.
A note on pure and $p$-pure languages. Acta Inform.. 2003;39:579-595.