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

[2010-22] M. Riva D, Yakubovich SB. On a Riemann-Liouville fractional analog of the Laplace operator with positive energy .Edit

M. Riva D, Yakubovich SB. On a Riemann-Liouville fractional analog of the Laplace operator with positive energy. Integral Transforms Spec. Funct.. 2012;23:277-295.Edit

Rocha J. Rigidity of centralizers of real analytic diffeomorphisms. Ergodic Theory Dynam. Systems. 1993;13:175-197.

Rocha J.. Rigidity of the $C^1$-centralizer of bidimensional diffeomorphisms. In: Dynamical systems ({S}antiago, 1990). Vol 285. Longman Sci. Tech., Harlow; 1993. 2. p. 211-229p. Edit

Bonatti C, Díaz LJ, Pujals ER, Rocha J. Robustly transitive sets and heterodimensional cycles. Astérisque. 2003:xix, 187-222.Edit

The Role of Theory in Computer Science: Essays Dedicated to Janusz Brzozowski. Konstantinidis S, Moreira N, Reis R, Shallit J, editors World Scientific 2017.Edit

Rosales J., García-Sánchez PA, García-García JI, Branco MB. Saturated numerical semigroups. Houston J. Math.. 2004;30:321-330 (electronic).Edit

Leite A, Silva M, Rocha AP. Scaling Exponents in Heart Rate Variability. J. L. da Silva, F. Caeiro, I. Natário, and C. Braumann, eds ed. Springer 2013.

[2011-4] Krausshar R., Rodrigues M., Vieira N. The Schrödinger semigroup on some flat and non flat manifolds .Edit

Dias AP, Rodrigues A. Secondary Bifurcations in Systems with All-to-All Coupling. Part II. Dynamical Systems. 2006;21:439-463.Edit

[2016-7] Rhodes J, Schilling A, Silva PV. The semaphore codes attached to a Turing machine via resets and their various limits .Edit

Rhodes J, Schilling A, Silva PV. The semaphore codes attached to a Turing machine via resets and their various limits. Internat. J. Algebra Comput.. 2016;26(4):675-704.Edit

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

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

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

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

Carvalho M, Rodrigues F, Varandas P. Semigroup actions of expanding maps. Journal of Statistical Physics. 2017;166(1):114-136.Edit

Almeida J, Rodaro E. Semisimple synchronizing automata and the Wedderburn-Artin theory. Internat. J. Foundat. Comput. Sci.. 2016;27(2):127-145.Edit

Almeida J, Rodaro E. Semisimple Synchronizing Automata and the Wedderburn-Artin Theory. In: Development in Language Theory, DLT 2014. Vol LNCS, 8633.; 2014. 4. p. 49-60p. Edit

Almeida J, Rodaro E. Semisimple synchronizing automata and the Wedderburn-Artin theory. In: Developments in Language Theory, 2014. Vol Developments in Language Theory. Russia, Ekaterinburg: Springer; 2014. 4. p. 49-60p. Edit

Rocha J, Varandas P. On sensitivity to initial conditions and uniqueness of conjugacies for structurally stable diffeomorphisms. Nonlinearity. 2018;31:293-313.Edit

Neto E, Alves CJ, Sousa D., Alencastre IS, Lourenço A., Leitão L., et al. Sensory neurons and osteoblasts: Close partners in a microfluidic platform. Integrative Biology (United Kingdom). 2014;6:586-595.Edit

Rebelo JC, Reis H. Separatrices for C^2 actions on 3-manifolds. Commentarii Mathematici Helvetici. 2013;88(3):677-714.Edit

Rebelo JC, Reis H. Separatrices for C^2 actions on 3-manifolds. Commentarii Mathematici Helvetici. 2013;88(3):677-714.Edit