Silva PV, Weil P. On an algorithm to decide whether a free group is a free factor of another. Theor. Inform. Appl.. 2008;42:395-414.Edit

Aramayona J, Diekert V, Leininger CJ, Silva PV, Weiss A. Algorithmic and Geometric Topics Around Free Groups and Automorphisms. Vol Advanced Courses in Mathematics, CRM Barcelona Birkhäuser 2017.Edit

[2005-33] Pin J-, Silva PV. The algorithmic potential of continuous transductions .Edit

Assi A, García-Sánchez PA. Algorithms for curves with one place at infinity. J. Symbolic Comput.. 2016;74:475-492.Edit

de Oliveira PM, Ferreira M.. Algumas experiências de Ensino das Probabilidades e Estatística com Recursos à Simulação 2000.Edit

[2008-18] Lomp C, van den Berg J. All hereditary torsion theories are differential .Edit

Lomp C, van den Berg J. All hereditary torsion theories are differential. J. Pure Appl. Algebra. 2009;213:476-478.Edit

Da Costa JP, Sousa R, Cardoso JS. an all-at-once unimodal svm approach for ordinal classification. proceedings - 9th international conference on machine learning and applications, icmla 2010. 2010:59-64.Edit

Costa JP, Da Costa JP, Sousa R, Cardoso JS. An all-at-once unimodal SVM approach for ordinal classification. In: Proceedings - 9th International Conference on Machine Learning and Applications, ICMLA 2010.; 2010. Edit

Breveglieri L, Cherubini A, Nuccio C, Rodaro E. Alphabetical satisfiability problem for trace equations. Acta Cybernetica. 2009;19(2):479-497.Edit

Lucchini A, Marion C. Alternating and symmetric groups with Eulerian generating graph. Forum of Mathematics, Sigma. 2017;5:30.Edit

Mano VM, Vieira L. Alternating Schur series and necessary conditions for the existence of strongly regular graphs. International Journal of Mathematical Models and Methods in Applied Sciences. 2014;8:256-261.Edit

Ramos A, Ledford A. An alternative point process framework for modeling multivariate extreme values. Comm. Statist. Theory Methods. 2011;40:2205-2224.Edit

Cherubini A, Nuccio C, Rodaro E. Amalgams of finite inverse semigroups and deterministic context-free languages. Semigroup Forum. 2012;85(1):129-146.Edit

Cherubini A, Nuccio C, Rodaro E. Amalgams of finite inverse semigroups and deterministic context-free languages. Semigroup Forum. 2012;85(1):129-146.Edit

[2011-9] Rodaro E, Silva PV. Amalgams of inverse semigroups and reversible two-counter machines .

Rodaro E, Silva PV. Amalgams of inverse semigroups and reversible two-counter machines. J. Pure Appl. Algebra. 2013;217:585-597.

Rodaro E, Silva PV. Amalgams of inverse semigroups and reversible two-counter machines. Journal of Pure and Applied Algebra. 2013;217(4):585-597.

Cherubini A, Rodaro E. Amalgams vs Yamamura’s HNN-extensions of inverse semigroups. Algebra Colloquium. 2011;18(4):647-657.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. Análise do desempenho de um cruzamento regulado por controlo semi-actuado 2006.Edit

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

Yakubovich SB, Daher R. An analog of Morgan's theorem for the Kontorovich-Lebedev transform. Adv. Pure Appl. Math.. 2010;1:159-162.Edit

[2004-10] Yakubovich SB. An analog of the Hausdorff-Young theorem for the Lebedev integral .

Yakubovich SB. Analog of the Hausdorff-Young theorem for the Lebedev integral. Integral Transforms Spec. Funct.. 2005;16:597-607.