Camilo Rocha
机构: Professor, Pontificia Universidad Javeriana Cali, ORCID: 0000-0003-4356-7704
主页: camilorocha.info
每年引用次数
引用次数
引用: 835
H-指数: 15
I10-指数 : 26
出版物: 102
Library Management for PVS
Miguel Romero , Hernán Camilo Rocha Niño
2016
Symbolic reachability analysis for rewrite theories
Hernan Camilo Rocha Nino
University of Illinois at Urbana-Champaign
2012
Five Isomorphic Boolean Theories and Four Equational Decision Procedures
José Meseguer , Camilo Rocha
5
2007
Rewriting Modulo SMT
Cesar A. Munoz , Jose Meseguer , Camilo Rocha
3
2013
Constructors, Sufficient Completeness and Deadlock Freedom of Generalized Rewrite Theories
José Meseguer , Camilo Rocha
2
2010
A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements
José Meseguer , Camilo Rocha
Revista Colombiana de Computación - RCC 8 ( 2) 101 -130
8
2007
Verification of the IBOS Browser Security Properties in Reachability Logic.
Stephen Skeirik , José Meseguer , Camilo Rocha
arXiv: Logic in Computer Science
3
2020
Estimating formation mechanisms and degree distributions in mixed attachment networks
Jorge Finke , Camilo Rocha , Jan A. Medina
Journal of Physics A 52 ( 9) 095001
1
2019
Constructors, sufficient completeness, and deadlock freedom of rewrite theories
Camilo Rocha , José Meseguer
international conference on logic programming 6397 594 -609
12
2010
Formal Semantics of OWL-S with Rewrite Logic
Ning Huang , Xiaojuan Wang , Camilo Rocha
Journal of Software Engineering and Applications 02 ( 1) 25 -33
5
2009
Simulation and verification of synchronous set relations in rewriting logic
Camilo Rocha , César Muñoz
formal methods 60 -75
1
2011
Towards a Maude formal environment
Francisco Durán , Camilo Rocha , José María Álvarez ,
Formal modeling 329 -351
18
2011
Extend OWL-S Dynamic Semantics with Rewrite Logic
Ning Huang , Yongyi Peng , Camilo Rocha
computer science and software engineering 2 346 -349
1
2008
Theorem Proving Modulo Based on Boolean Equational Procedures
Camilo Rocha , José Meseguer
Relations and Kleene Algebra in Computer Science 337 -351
11
2008
Rewriting Modulo SMT and Open System Analysis
Camilo Rocha , José Meseguer , César Muñoz
workshop on rewriting logic and its applications 8663 247 -262
19
2014
Order-Sorted equality enrichments modulo axioms
Raúl Gutiérrez , José Meseguer , Camilo Rocha
workshop on rewriting logic and its applications 162 -181
7
2012
Rewriting modulo SMT and open system analysis
Camilo Rocha , José Meseguer , César Muñoz
The Journal of Logic and Algebraic Programming 86 ( 1) 269 -297
33
2017
Ground confluence of order-sorted conditional specifications modulo axioms
Francisco Durán , José Meseguer , Camilo Rocha
The Journal of Logic and Algebraic Programming 111 100513
2
2020
Proving Safety Properties of Rewrite Theories
Camilo Rocha , José Meseguer
Algebra and Coalgebra in Computer Science 314 -328
25
2011
Tool Interoperability in the Maude Formal Environment
Francisco Durán , Camilo Rocha , José M Álvarez ,
Algebra and Coalgebra in Computer Science 400 -406
7
2011