Sousa M., Szucs P., Lima D., Aguiar P. The pronociceptive dorsal reticular nucleus contains mostly tonic neurons and shows a high prevalence of spontaneous activity in block preparation. Journal of Neurophysiology. 2014;111:1507-1518.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

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

[2004-33] Smirnov GV. On the existence in a problem of the calculus of variations without convexity assumptions .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 ML, Milheiro-Oliveira P. Modelação do atraso dos veículos em cruzamentos semaforizados .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 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

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

Silva PV. Fixed points of endomorphisms over special confluent rewriting systems. Monatsh. Math.. 2010;161:417-447.

[2015-25] Silva MC. On the circulation of algebraic knowledge in the Iberian península: the sources of Pérez de Moya's Tratado de Arithmetica (1573) .Edit

Silva PV. Rational subsets of partially reversible monoids. Theoret. Comput. Sci.. 2008;409:537-548.

Silva PV, Steinberg B. Extensions and submonoids of automatic monoids. Theoret. Comput. Sci.. 2002;289:727-754.Edit

[2010-15] Silva PV. Fixed points of endomorphisms of certain free products .

Silva P., Travassos B, Vilar L, Aguiar P, Davids K, Araújo D, et al. Numerical relations and skill level constrain co-adaptive behaviors of agents in sports teams. PloS one. 2014;9:e107112.Edit

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

Silva MC, Duarte AL, de Sá CC. Francisco Gomes Teixeira. CIM Bulletin. 2004;16:21-23.Edit