Publications
On an algorithm to decide whether a free group is a free factor of another. Theor. Inform. Appl.. 2008;42:395-414.Edit
The homomorphism problem for trace monoids. Theoret. Comput. Sci.. 2003;307:199-215.
Finite automata for Schreier graphs of virtually free groups. J. Group Theory. 2016;19:25-54.Edit
Automorphic orbits in free groups: words versus subgroups. Internat. J. Algebra Comput.. 2010;20:561-590.Edit
Fixed points of endomorphisms of virtually free groups. Pacific J. Math.. 2013;263:207-240.
Recognizable subsets of a group: finite extensions and the abelian case. Bull. Eur. Assoc. Theor. Comput. Sci. EATCS. 2002:195-215.
Dicionário de Matemática Elementar, de Stella Baruk. Vol 2 Edições Afrontamento 2005.Edit
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
Normal-convex embeddings of inverse semigroups. Glasgow Math. J.. 1993;35:115-121.
Free group languages: rational versus recognizable. Theor. Inform. Appl.. 2004;38:49-67.
The algebraic content of Bento Fernandes’s Tratado da arte de arismetica (1555). Historia Mathematica . 2008;35 :190-219.Edit
Extensions and submonoids of automatic monoids. Theoret. Comput. Sci.. 2002;289:727-754.Edit
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
Queues with server vacations in urban traffic control. In: International Symposium on Applied Stochastic Models and Data Analysis (ASMDA 2005).; 2005. 1. p. 1181-1188p. Edit
Simulation and Modelling of Traffic Movements at Semi-Actuated Signalised Intersections. In: 10th International Conference on Computers in Urban Planning and Urban Management.; 2007. 1. 10.Edit
Modeling and Simulation of Traffic Movements at Semi-Actuated Signalized Intersections. Journal of Transportation Engineering. 2010;136:554-564.Edit
Simulation and modelling of vehicule’s delay at semi-actuated signalized intersections. In: Compstat’2004 symposium.; 2004. 1. p. 1823-1830p. Edit