| Model checker execution reports R Castaño, V Braberman, D Garbervetsky, S Uchitel 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 18 | 2017 |
| A finite state intersection approach to propositional satisfiability JM Castaño, R Castaño Theoretical Computer Science 450, 92-108, 2012 | 3 | 2012 |
| Variable and clause ordering in an FSA approach to propositional satisfiability JM Castaño, R Castaño Implementation and Application of Automata: 16th International Conference …, 2011 | 3 | 2011 |
| Verification coverage R Castaño, V Braberman, D Garbervetsky, S Uchitel arXiv preprint arXiv:1706.03796, 2017 | 2 | 2017 |
| Propositional Satisfiability (SAT) as a language problem R Castano, JM Castano XVII Congreso Argentino de Ciencias de la Computación, 2011 | 1 | 2011 |
| Análisis de ejecuciones parciales de Software Model Checkers R Castaño Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2018 | | 2018 |
| On Verifying Resource Contracts using Code Contracts R Castaño, JP Galeotti, D Garbervetsky, J Tapicer, E Zoppi EPTCS 139, 1-15, 2013 | | 2013 |
| Dedicado... A mis compañéros de cursada Rogelio, FP Mita, L Taravilse, K Borgna, ... | | |
