Sousa R, Yakubovich S. The spectral expansion approach to index transforms and connections with the theory of diffusion processes. Commun. Pure Appl. Anal.. 2018;17:2351-2378.Edit

Soares P, Ravara A, de Sousa SM. Revisiting concurrent separation logic. J. Log. Algebr. Methods Program.. 2017;89:41-66.Edit

Soares P. Synchrony branching lemma for regular networks. SIAM J. Appl. Dyn. Syst.. 2017;16:1869-1892.Edit

Soares C., Brazdil P., Costa JP. Measures to evaluate rankings of classification algorithms. In: Kiers H.AL, Rasson J.P, Gronen P.JF, Schader M., editors. Data Analysis, Classification, and Related Methods.; 2000. 1. p. 119-124p. (Studies in Classification, Data Analysis, and Knowledge Organization).Edit

Soares C, Brazdil P., Costa JP. measures to evaluate rankings of classification algorithms. data analysis, classification, and related methods. 2000:119-124.Edit

[2017-20] Soares P. The Lifting Bifurcation Problem on Feed-Forward Networks .Edit

[2004-33] Smirnov GV. On the existence in a problem of the calculus of variations without convexity assumptions .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 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 de filas de espera com pausas do servidor para controle de tráfego 2005.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 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 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 ML, Milheiro-Oliveira P. Modelação do atraso dos veículos em cruzamentos semaforizados .Edit

Simões Md, de Oliveira PM, Costa AP. Análise Probabilística do fluxo de tráfego num cruzamento semi-actuado 2002.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

Silva MC. Contribuição para o estudo do manuscrito Arte de Marear de Juan Pérez de Moya. LLULL. 2012;35(76):351-379.Edit

[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 MC. The algebraic content of Bento Fernandes’s Tratado da arte de arismetica (1555). Historia Mathematica . 2008;35 :190-219.Edit

Silva P., Garganta J, Araújo D, Davids K., Aguiar P. Shared knowledge or shared affordances? insights from an ecological dynamics approach to team coordination in sports. Sports Medicine. 2013;43:765-772.Edit

Silva PV. On the semilattice of idempotents of a free inverse monoid. Proc. Edinburgh Math. Soc. (2). 1993;36:349-360.

Silva PV. Groups and automata: a perfect match. J. Automata Lang. Combin.. 2012;17(2-4):277-292.

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