Publications
On an algorithm to decide whether a free group is a free factor of another. Theor. Inform. Appl.. 2008;42:395-414.Edit
Francisco Gomes Teixeira. CIM Bulletin. 2004;16:21-23.Edit
On free inverse monoid languages. RAIRO Inform. Théor. Appl.. 1996;30:349-378.
Shared knowledge or shared affordances? insights from an ecological dynamics approach to team coordination in sports. Sports Medicine. 2013;43:765-772.Edit
The homomorphism problem for trace monoids. Theoret. Comput. Sci.. 2003;307:199-215.
Automorphic orbits in free groups: words versus subgroups. Internat. J. Algebra Comput.. 2010;20:561-590.Edit
Recognizable subsets of a group: finite extensions and the abelian case. Bull. Eur. Assoc. Theor. Comput. Sci. EATCS. 2002:195-215.
Normal-convex embeddings of inverse semigroups. Glasgow Math. J.. 1993;35:115-121.
Dicionário de Matemática Elementar, de Stella Baruk. Vol 2 Edições Afrontamento 2005.Edit
Finite automata for Schreier graphs of virtually free groups. J. Group Theory. 2016;19:25-54.Edit
[2010-14] Finite idempotent inverse monoid presentations .
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
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
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