Camilo Rocha

Cited by

	All	Since 2018
Citations	691	456
h-index	13	10
i10-index	20	11

140

105

200720082009201020112012201320142015201620172018201920202021202220233 8 3 3 12 33 21 30 47 17 50 73 87 83 55 123 34

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Francisco DuránUniversity of MálagaVerified email at lcc.uma.es
Jorge FinkeUniversidad JaverianaVerified email at ieee.org
Miguel Angel Romero GonzalezPhD in Engineering and Applied Sciences, Pontificia Universidad JaverianaVerified email at javerianacali.edu.co
Gwen SalaünUniversité Grenoble Alpes, LIG, InriaVerified email at inria.fr
Carlos Antonio PinzónPhD studentVerified email at lix.polytechnique.fr
Héctor Fabio Cadavid RengifoBernoulli Institute for Mathematics, Computer Science and Artificial Intelligence. RUGVerified email at rug.nl
Carlos OlarteAssociate Professor at Université Sorbonne Paris NordVerified email at lipn.univ-paris13.fr
Jaime BohorquezProfessor of Computer Science, Escuela Colombiana de IngenieriaVerified email at escuelaing.edu.co
Elaine PimentelUniversity College LondonVerified email at ucl.ac.uk
Kyungmin BaePOSTECHVerified email at postech.ac.kr
Sergio RamírezAssistant Professor, Universidad EAFIT, ORCID 0000-0003-2879-831XVerified email at eafit.edu.co
Raúl GutiérrezUniversidad Politécnica de MadridVerified email at upm.es
Mauricio QuimbayaProfesor, Pontificia Universidad Javeriana Cali, ORCID 0000-0003-2631-270XVerified email at javerianacali.edu.co
Alexander Pérez RuizEscuela Colombiana de Ingeniería Julio Garavito, Bogotá D.C.Verified email at escuelaing.edu.co
Luis E. TobónTitular Professor at Pontificia Universidad Javeriana CaliVerified email at javerianacali.edu.co
Frank D. ValenciaCNRS, École Polytechnique de ParisVerified email at lix.polytechnique.fr
Jan Medina-LópezPh.D Candidate in Engineering and Applied SciencesVerified email at javerianacali.edu.co
Rubby CasallasUniversidad de los Andes, ColombiaVerified email at uniandes.edu.co
Swee BalachandranNational Institute of AerospaceVerified email at nianet.org

Camilo Rocha

Associate Professor, Pontificia Universidad Javeriana Cali, ORCID: 0000-0003-4356-7704

Verified email at javerianacali.edu.co - Homepage

formal methods rewriting logic computational logic software verification algebraic specifications


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Double-spend attack models with time advantange for bitcoin C Pinzón, C Rocha Electronic Notes in Theoretical Computer Science 329, 79-103, 2016	121	2016
Rewriting modulo SMT and open system analysis C Rocha, J Meseguer, C Muñoz Journal of Logical and Algebraic Methods in Programming 86 (1), 269-297, 2017	65	2017
Proving safety properties of rewrite theories C Rocha, J Meseguer Algebra and Coalgebra in Computer Science: 4th International Conference …, 2011	41	2011
Rewriting modulo SMT and open system analysis C Rocha, J Meseguer, C Muñoz Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014 …, 2014	35	2014
Towards a Maude formal environment F Durán, C Rocha, JM Álvarez Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated …, 2011	28	2011
Stochastic analysis of BPMN with time in rewriting logic F Durán, C Rocha, G Salaün Science of Computer Programming 168, 1-17, 2018	26	2018
Symbolic reachability analysis for rewrite theories C Rocha	25	2013
Rewriting logic semantics of a plan execution language G Dowek, C Munoz, C Rocha arXiv preprint arXiv:1002.2872, 2010	24	2010
Theorem proving modulo based on boolean equational procedures C Rocha, J Meseguer Relations and Kleene Algebra in Computer Science: 10th International …, 2008	24	2008
Order-sorted equality enrichments modulo axioms R Gutiérrez, J Meseguer, C Rocha Science of Computer Programming 99, 235-261, 2015	22	2015
A formal interactive verification environment for the plan execution interchange language C Rocha, H Cadavid, C Munoz, R Siminiceanu Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa …, 2012	15	2012
Constructors, sufficient completeness, and deadlock freedom of rewrite theories C Rocha, J Meseguer Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010	14	2010
Tool interoperability in the Maude formal environment F Durán, C Rocha, JM Álvarez Algebra and Coalgebra in Computer Science: 4th International Conference …, 2011	13	2011
A rewriting decision procedure for Dijkstra-Scholten's syllogistic logic with complements C Rocha, J Meseguer	13	2007
A rewriting logic approach to resource allocation analysis in business process models F Durán, C Rocha, G Salaün Science of Computer Programming 183, 102303, 2019	12	2019
Formal semantics of owl-s with rewrite logic N Huang, X Wang, C Rocha Journal of Software Engineering and Applications 2 (01), 25, 2009	12	2009
Ground confluence of order-sorted conditional specifications modulo axioms F Durán, J Meseguer, C Rocha Journal of Logical and Algebraic Methods in Programming 111, 100513, 2020	11	2020
Symbolic state space reduction with guarded terms for rewriting modulo SMT K Bae, C Rocha Science of Computer Programming 178, 20-42, 2019	11	2019
Guarded terms for rewriting modulo SMT K Bae, C Rocha Formal Aspects of Component Software: 14th International Conference, FACS …, 2017	10	2017
Towards the effective use of formal logic in the teaching of discrete math J Bohórquez, C Rocha 2005 6th International Conference on Information Technology Based Higher …, 2005	10	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors