"Finite-state independence and normal sequences" (2019) Álvarez, N.; Becher, V.; Carton, O. Journal of Computer and System Sciences. 103:1-17

"Finite-State Independence" (2018) Becher, V.; Carton, O.; Heiber, P.A. Theory of Computing Systems. 62(7):1555-1572

"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

"A finite state intersection approach to propositional satisfiability" (2012) Castaño, J.M.; Castaño, R. Theoretical Computer Science. 450:92-108

"Contractor.NET: Inferring typestate properties to enrich code contracts" (2011) Zoppi, E.;Braberman, V.;De Caso, G. (...)Uchitel, S. 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Co-located with ICSE 2011:44-47

"Variable and clause ordering in an FSA approach to propositional satisfiability" (2011) Castaño, J.M.; Castaño, R. 16th International Conference on Implementation and Application of Automata, CIAA 2011. 6807 LNCS:76-87