Publications
Reducibility of pointlike problems. Semigroup Forum. 2017;94(2):325-335.Edit
Revisiting concurrent separation logic. J. Log. Algebr. Methods Program.. 2017;89:41-66.Edit
Ring theoretical properties of affine cellular algebras. Journal of Algebra. 2017;476:494-518.Edit
The role of synaptic transmission in a HIV model with memory. Appl. Math. Comput.. 2017;292:76-95.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
Semigroup actions of expanding maps. Journal of Statistical Physics. 2017;166(1):114-136.Edit
[2017-11] On the semigroup rank of a group .Edit
Solving Integro-Differential Equations with Spectral Methods. In: 3rd International Conference on Numerical and Symbolic Computation. Universidade do Minho ed. APMTAC; 2017. 2. p. 221-230p. Edit
Spectral Lanczos’ tau method for systems of nonlinear integro-differential equations. Vol Integral Methods in Science and Engineering Springer 2017.Edit
SRB measures for partially hyperbolic systems whose central direction is weakly expanding. J. Eur. Math. Soc. (JEMS). 2017;19:2911-2946.Edit
[2017-24] Stability of a heteroclinic network and its cycles: a case study from Boussinesq convection .Edit
Stability of quasi-simple heteroclinic cycles. arXiv:1606.02592. 2017.
Statistical stability for multidimensional piecewise expanding maps. Proceedings of the American Mathematical Society. 2017;145:3057-3068.Edit
Stone Duality and the Substitution Principle. In: Computer Science Logic.; 2017. 1. 13:p. 1-13p. :20.Edit
Stratifications on the moduli space of Higgs bundles. Portugaliae Mathematica. 2017;74(2):127-148.Edit
A surface with canonical map of degree 24. International Journal of Mathematics. 2017;28(6).Edit
A surface with $q=2$ and canonical map of degree $16$. Michigan Mathematical Journal. 2017;66(1):99-105.
A Survey on Operational State Complexity. Journal of Automata, Languages and Combinatorics. 2017;21:251-310.Edit
Synchrony branching lemma for regular networks. SIAM J. Appl. Dyn. Syst.. 2017;16:1869-1892.Edit