Camilo Rocha

Cited by

	All	Since 2019
Citations	893	568
h-index	16	12
i10-index	28	17

140

105

2007200820092010201120122013201420152016201720182019202020212022202320243 9 4 3 12 36 26 27 47 18 57 74 89 81 54 134 96 113

Public access

View all

10 articles

1 article

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 uma.es
Jorge FinkeUniversidad JaverianaVerified email at ieee.org
Cesar MunozNASAVerified email at nasa.gov
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ónPh.D. in informatics and mathematicsVerified email at lix.polytechnique.fr
Carlos OlarteAssociate Professor at Université Sorbonne Paris NordVerified email at lipn.univ-paris13.fr
Héctor Fabio Cadavid Rengifo, PhD.NLeSC - Netherlands eScience CenterVerified email at esciencecenter.nl
Luis E. TobónTitular Professor at Pontificia Universidad Javeriana CaliVerified email at javerianacali.edu.co
Kyungmin BaePOSTECHVerified email at postech.ac.kr
Mauricio QuimbayaProfesor, Pontificia Universidad Javeriana Cali, ORCID 0000-0003-2631-270XVerified email at javerianacali.edu.co
Raúl GutiérrezUniversidad Politécnica de MadridVerified email at upm.es
Jaime BohorquezProfessor of Computer Science, Escuela Colombiana de IngenieriaVerified email at escuelaing.edu.co
Frank D. ValenciaCNRS, École Polytechnique de ParisVerified email at lix.polytechnique.fr
Sergio RamírezAssistant Professor, Universidad EAFIT, ORCID 0000-0003-2879-831XVerified email at eafit.edu.co
Elaine PimentelUniversity College LondonVerified email at ucl.ac.uk
Alexander Pérez RuizEscuela Colombiana de Ingeniería Julio Garavito, Bogotá D.C.Verified email at escuelaing.edu.co
Jan Medina-LópezPh.D in Engineering and Applied SciencesVerified email at javerianacali.edu.co
Rubby CasallasUniversidad de los Andes, ColombiaVerified email at uniandes.edu.co

Camilo Rocha

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


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	140	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	83	2017
Proving safety properties of rewrite theories C Rocha, J Meseguer International Conference on Algebra and Coalgebra in Computer Science, 314-328, 2011	43	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	36	2014
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	34	2018
Towards a Maude formal environment F Durán, C Rocha, JM Álvarez Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated …, 2011	34	2011
Symbolic reachability analysis for rewrite theories C Rocha University of Illinois at Urbana-Champaign, 2013	26	2013
Rewriting logic semantics of a plan execution language G Dowek, C Munoz, C Rocha arXiv preprint arXiv:1002.2872, 2010	26	2010
Theorem proving modulo based on boolean equational procedures C Rocha, J Meseguer International Conference on Relational Methods in Computer Science, 337-351, 2008	26	2008
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	21	2019
Symbolic state space reduction with guarded terms for rewriting modulo SMT K Bae, C Rocha Science of Computer Programming 178, 20-42, 2019	19	2019
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	19	2012
Tool interoperability in the Maude formal environment F Durán, C Rocha, JM Álvarez International Conference on Algebra and Coalgebra in Computer Science, 400-406, 2011	19	2011
A top-down supervised learning approach to hierarchical multi-label classification in networks M Romero, J Finke, C Rocha Applied Network Science 7 (1), 8, 2022	17	2022
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	16	2020
Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT F Durán, C Rocha, G Salaün International Workshop on Rewriting Logic and its Applications, 76-97, 2018	16	2018
Guarded terms for rewriting modulo SMT K Bae, C Rocha Formal Aspects of Component Software: 14th International Conference, FACS …, 2017	15	2017
Constructors, sufficient completeness, and deadlock freedom of rewrite theories C Rocha, J Meseguer International Conference on Logic for Programming Artificial Intelligence …, 2010	15	2010
Order-sorted equality enrichments modulo axioms R Gutiérrez, J Meseguer, C Rocha Science of Computer Programming 99, 235-261, 2015	14	2015
Order-sorted equality enrichments modulo axioms R Gutiérrez, J Meseguer, C Rocha International Workshop on Rewriting Logic and its Applications, 162-181, 2012	13	2012

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