Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability. - José M. Castaño; Rodrigo Castaño (CIAA, 2011)

A finite state intersection approach to propositional satisfiability. - José M. Castaño; Rodrigo Castaño (Theor. Comput. Sci., 2012)

On Verifying Resource Contracts using Code Contracts. - Rodrigo Castaño; Juan Pablo Galeotti; Diego Garbervetsky; Jonathan Tapicer; Edgardo Zoppi (LAFM, 2013)

Model checker execution reports. - Rodrigo Castaño; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (ASE, 2017)

Verification Coverage. - Rodrigo Castaño; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (CoRR, 2017)