Silva PV. An application of first-order logic to the study of recognizable languages. Internat. J. Algebra Comput.. 2004;14:785-799.

Silva PV. On unique factorization semilattices. Discuss. Math. Gen. Algebra Appl.. 2000;20:97-120.

Silva MC, Estrada MF. 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

Silva PV. Conjugacy and transposition for inverse monoid presentations. Internat. J. Algebra Comput.. 1996;6:607-622.

[2009-10] Silva PV. Fixed points of endomorphisms over special confluent rewriting systems .

Silva PV. A note on pure and $p$-pure languages. Acta Inform.. 2003;39:579-595.

Silva PV. Trees associated to inverse monoid presentations. J. Pure Appl. Algebra. 2001;165:307-335.

Silva P., Weil P. On finite-index extensions of subgroups of free groups. J. Group Theory. 2010;13:365-381.Edit

Silva MC. The algebraic content of Bento Fernandes’s Tratado da arte de arismetica (1555). Historia Mathematica . 2008;35 :190-219.Edit

Silva MC, Malet A. A note on Pérez de Moya's Principios de Geometria (1584). Revue d'histoire des mathématiques . 2008;14 ( fascicule 1 ):113-133.Edit

Silva PV. Rational languages and inverse monoid presentations. Internat. J. Algebra Comput.. 1992;2:187-207.

Silva PV. The homomorphism problem for the free monoid. Discrete Math.. 2002;259:189-200.

Silva PV. Fixed points of endomorphisms of virtually free groups. Pacific J. Math.. 2013;263:207-240.

[2013-25] Silva PV. Teoria Geométrica de Grupos (notas de curso, Universidade Federal da Bahia) .

Silva PV, Soares F. Howson’s property for semidirect products of semilattices by groups. Comm. Algebra. 2016;44(6):2482-2494.Edit

Simões L, de Oliveira PM, Costa AP. Simulation and modelling of vehicule’s delay at semi-actuated signalized intersections. In: Compstat’2004 symposium.; 2004. 1. p. 1823-1830p. Edit

Simões L., Oliveira PM. Modeling and Simulation of Traffic Movements at Semi-Actuated Signalized Intersections. Journal of Transportation Engineering. 2010;136:554-564.Edit

Simões Md, Oliveira PM, Costa AP. Análise do desempenho de um cruzamento regulado por controlo semi-actuado 2006.Edit

Simões M., Costa A., Oliveira PM. 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

Simões Md, de Oliveira PM, Costa AP. Análise de filas de espera com pausas do servidor para controle de tráfego 2005.Edit

Simões Md, de Oliveira PM, Costa AP. Modelação do atraso dos veículos em tráfego urbano usando modelos de efeitos mistos 2003.Edit

Simões ML, Milheiro-Oliveira P. Modelação do atraso dos veículos em cruzamentos semaforizados .Edit

Simões Md, Oliveira PM, Costa AP. 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

Simões L, Costa AP, de Oliveira PM. 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

Simões Md, de Oliveira PM, Costa AP. Análise Probabilística do fluxo de tráfego num cruzamento semi-actuado 2002.Edit