JournalsA Library of Set Relations and its Application to Synchronous Languages.Camilo Rocha, César Muñoz, and Gilles Dowek. Theoretical Computer Science (TCS), 412(37), August 2011.
   A Rewriting Decision Procedure for Dijkstra-Scholten’s Syllogistic Logic with Complements.Camilo Rocha and José Meseguer. Colombian Journal of Computing (RCC). 8(2), December 2007.
Conferences and Workshops (Refereed)Towards a Maude Formal Environment.Francisco Durán, Camilo Rocha and José M. Álvarez. Talcott Festschrift. Menlo Park, November 2011. (Accepted)
 Simulation and Verification of Synchronous Set Relations in Rewriting Logic.Camilo Rocha and César Muñoz. 14th Brazilian Symposium on Formal Methods (SBMF2011). São Paulo, September 2011.
 Proving Safety Properties of Rewrite Theories.Camilo Rocha and José Meseguer. 4th Conference on Algebra and Coalgebra in Computer Science (CALCO2011). Winchester, August 2010.
Tool Interoperability in the Maude Formal Environment.Francisco Durán, Camilo Rocha, and José M. Álvarez. 4th Conference on Algebra and Coalgebra in Computer Science (CALCO-Tools2011). Winchester, August 2010.
Constructors, Sufficient Completeness and Deadlock Freedom of Rewrite Theories.Camilo Rocha and José Meseguer. 17th International Conference on Logic Programming, Artificial Intelligence and Reasoning (LPAR17). Yogyakarta, October 2010.
Rewriting Logic Semantics of a Plan Execution Language.Gilles Dowek, César Muñoz and Camilo Rocha. Sixth Workshop on Structural Operational Semantics (SOS09). Bologna, August 2009.
A Graphical Environment for the Semantic Validation of a Plan Execution Language.Camilo Rocha, César Muñoz and Héctor Cadavid. Third International Conference on Space Mission Challenges for Information Technology (SMC-IT). Pasadena, July 2009.
Theorem Proving Based on Boolean Equational Procedures.Camilo Rocha and José Meseguer. Tenth International Conference on Relational Methods in Computer Science/Fifth International Conference on Applications of Kleene Algebra (RelMiCS10/AKA5). Frauenwörth, April 2008.
Assisted Calculational Proofs and Proof Checking Based on Partial Orders.Jaime Bohórquez and Camilo Rocha. Formal Methods in Computer Science Education 2008 (FORMED). Budapest, March 2008.
A Rewriting Decision Procedure for Dijkstra-Scholten’s Syllogistic Logic with Complements.Camilo Rocha and José Meseguer. Segundo Congreso Colombiano de Computación (2CCC). Bogotá, April 2007.
Una Semántica de Ensamblaje y Composición de Servicios y Componentes.Camilo Rocha, Rafael García and Rubby Casallas. IX Conferencia Iberoamericana de Software Engineering (CIbSE 2006) La Plata, April 2006.
Towards the Effective Use of Formal Logic in the Teaching of Discrete Mathematics.Jaime Bohórquez and Camilo Rocha. Sixth International Conference on Information Technology Based Higher Education and Training (ITHET). Santo Domingo, July 2005.
Technical ReportsOrder-sorted Equality Enrichments Modulo AxiomsRaúl Gutiérrez, José Meseguer, and Camilo Rocha. Technical Report, Department of Computer Science in the University of Illinois at Urbana-Champaign. Urbana, December 2011.
Proving Safety Properties of Rewrite Theories.Camilo Rocha and José Meseguer. Technical Report, Department of Computer Science in the University of Illinois at Urbana-Champaign. Urbana, November 2010.
Constructors, Sufficient Completeness and Deadlock Freedom of Generalized Rewrite Theories.Camilo Rocha and José Meseguer. Technical Report, Department of Computer Science in the University of Illinois at Urbana-Champaign. Urbana, May 2010.
Rewriting Logic Semantics of a Plan Execution Language.Gilles Dowek, César Muñoz and Camilo Rocha. Technical Memorandum, NASA TM-2009-215770. Langley, June 2009.
Theorem Proving Modulo Based on Boolean Procedures.Camilo Rocha and José Meseguer. Technical Report TR-2007-2922, Department of Computer Science in the University of Illinois at Urbana-Champaign. Urbana, December 2007.
A Rewriting Decision Procedure for Dijkstra-Scholten’s Syllogistic Logic with Complements.Camilo Rocha and José Meseguer. Technical Report TR-2007-2921, Department of Computer Science in the University of Illinois at Urbana-Champaign. Urbana, December 2007.
Five Isomorphic Boolean Theories and Four Decision Procedures.Camilo Rocha and José Meseguer. Technical Report TR-2007-2818, Department of Computer Science in the University of Illinois at Urbana-Champaign. Urbana, March 2007.
|