[2009-6] Rebelo JC, Reis H. Separatrizes for $\mathbbC^2$-actions on 3-manifolds .Edit

Rebelo JC, Reis H. Cyclic stabilizers and infinitely many hyperbolic orbits for pseudogroups on (C,0). J. Inst. Math. Jussieu. 2014;13(2):413-446.Edit

Rebelo JC, Reis H. 2-dimensional Lie algebras and separatrices for vector fields on (C^3,0). Journal de Mathématiques Pures et Appliquées. 2016;105(2):248-264.Edit

[2007-11] Rêgo EF. O Teorema de Banach-Tarski: Paradoxo ou Ilusão? O Axioma da Escolha: status quo, defesa e crítica. .Edit

[2005-42] Rêgo EF. Shrinking Complexity:Some Heuristics for Contractible Spaces .Edit

[2007-12] Rêgo EF. Intuicionismo e Teoria de Categorias/Topos. Tempo Linguagens e Limites Cognitivos em Matemática. .Edit

Reina S, Silva C, Gaio A., Correia A., Duarte R. HIV screening in tuberculosis patients, in the Northern Region of Portugal. The International Journal of Tuberculosis and Lung Disease. 2015;19(12).Edit

[2005-22] Reis H. Equivalence and semi-completude of foliations .

Reis R, Rodaro E. Regular Ideal Languages and Synchronizing Automata. In: Combinatorics on Words, WORDS 2013. Vol LNCS, 8079.; 2013. 2. p. 205-216p.

Reis H. Semi-complete vector fields of saddle-node type in C^n. Trans. Amer. Math. Soc.. 2008;360(12):6611-6630.

[2005-6] Reis H. Semi-complete Foliations associated to Hamiltonian Vector Fields .

Reis R, Rodaro E. Regular Ideal Languages and Synchronizing Automata. Karhumäki J, Zamboni L, editors 2013.Edit

Reis R, Rodaro E. Ideal regular languages and strongly connected synchronizing automata. Theoretical Computer Science. 2016;653:97-107.

Reis R, Rodaro E. The Language of Initially Connected Deterministic Finite Automata (Extended Abstract). In: Proceedings of 14th Italian Conference on Theoretical Computer Science.; 2013. 1. p. 179-184p.

Reis R, Rodaro E. Reset Regular Decomposition Complexity of Regular Ideal Languages (extended Abstract). In: Proceedings of 14th Italian Conference on Theoretical Computer Science.; 2013. 3. p. 30-35p.

Reis H. Equivalence and semi-completude of foliations. Nonlinear Analysis. Theory, Methods & Applications. 2006;64(8):1654-1665.

[2004-29] Reis H. Semi-complete vector fields of saddle-node type in C^n .

Reis H. Semi-complete foliations associated to Hamiltonian vector fields in dimension 2. J. Math. Anal. Appl.. 2007;328(2):813-820.

Restivo A, Silva PV. On the lattice of prefix codes. Theoret. Comput. Sci.. 2002;289:755-782.Edit

Restivo A, Silva PV. Periodicity vectors for labelled trees. Discrete Appl. Math.. 2003;126:241-260.Edit

Rhodes J, Silva PV. Further results on monoids acting on trees. Internat. J. Algebra Comput.. 2012;22:1250034, 69.Edit

Rhodes J, Schilling A, Silva PV. Random walks on semaphore codes and delay de Bruijn semigroups. Internat. J. Algebra Comput.. 2016;26(4):635-673.Edit

[2012-8] Rhodes J, Silva PV. A new notion of vertex independence and rank for .Edit

[2006-46] Rhodes J, Silva PV. An algebraic analysis of Turing machines and Cook’s Theorem leading to a profinite fractal different .Edit

Rhodes J, Silva PV. Boolean Representations of Simplicial Complexes and Matroids. Vol Springer Monographs in Mathematics Springer 2015.Edit