"Confluence in Probabilistic Rewriting" (2018) Díaz-Caro, A.; Martínez, G. Electronic Notes in Theoretical Computer Science. 338:115-131

"Axiomatizations for downward XPath on data trees" (2017) Abriola, S.; Descotte, M.E.; Fervari, R.; Figueira, S. Journal of Computer and System Sciences. 89:209-245

"Axiomatizations for downward XPath on data trees" (2017) Abriola, S.; Descotte, M.E.; Fervari, R.; Figueira, S. Journal of Computer and System Sciences. 89:209-245

"A normal form for stateful connectors" (2015) Bruni, R.;Melgratti, H.;Montanari, U. (...)Marti-Oliet N. Conference on Logic, Rewriting and Concurrency dedicated to Jose Meseguer on the Occasion of his 65th Birthday, 2015. 9200:205-227

"Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)" (2010) Areces, C.; Gorín, D. Journal of Applied Logic. 8(4):305-318

"Low-dimensional dynamical model for the diversity of pressure patterns used in canary song" (2009) Alonso, L.M.; Alliende, J.A.; Goller, F.; Mindlin, G.B. Physical Review E - Statistical, Nonlinear, and Soft Matter Physics. 79(4)