Journals

Resource provisioning strategies for BPMN processes: Specification and analysis using Maude

Francisco Durán, Camilo Rocha, Gwen Salaün. Journal of Logical and Algebraic Methods in Programming (JLAMP), 123. November 2021.

paper | pre-print | bibtex

Spectral Evolution with Approximated Eigenvalue Trajectories for Link Prediction

Miguel Romero, Jorge Finke, Camilo Rocha, Luis Tobón. Social Network Analysis and Mining (SNAM), 10:60. July 2020.

paper | pre-print | bibtex

Ground Confluence of Order-sorted Conditional Specifications Modulo Axioms

Francisco Durán, José Meseguer, Camilo Rocha. Journal of Logical and Algebraic Methods in Programming (JLAMP), 111. February 2020.

paper | pre-print | bibtex

A Rewriting Logic Approach to Resource Allocation Analysis in Business Process Models

Francisco Durán, Camilo Rocha, Gwen Salaün. Science of Computer Programming (SCP), 183. September 2019.

paper | pre-print | bibtex

Symbolic State Space Reduction with Guarded Terms for Rewriting Modulo SMT

Kyungmin Bae and Camilo Rocha. Science of Computer Programming (SCP), 178. June 2019.

paper | pre-print | bibtex

Estimating Formation Mechanisms and Degree Distributions in Mixed Attachment Networks

Jan Medina, Jorge Finke, Camilo Rocha. Journal of Physics A: Mathematical and Theoretical (JPhysA), 52 (9), February 2019.

paper | pre-print | bibtex

Stochastic Analysis of BPMN with Time in Rewriting Logic

Francisco Durán, Camilo Rocha, Gwen Salaün. Science of Computer Programming (SCP), 168, December 2018.

paper | pre-print | bibtex

Rewriting Modulo SMT and Open System Analysis

Camilo Rocha, José Meseguer, César Muñoz. Journal of Logical and Algebraic Methods in Programming (JLAMP), 86(1), January 2017.

paper | pre-print | bibtex

Double-spend Attack Models with Time Advantage for Bitcoin

Carlos Pinzón and Camilo Rocha. Electronic Notes in Theoretical Computer Science (ENTCS), 329C, December 2016.

paper | pre-print | bibtex

Order-sorted Equality Enrichments Modulo Axioms

Raúl Gutiérrez, José Meseguer, Camilo Rocha. Science of Computer Programming (SCP), 99(1), March 2015.

paper | pre-print | bibtex

Synchronous Set Relations in Rewriting Logic

Camilo Rocha and César Muñoz. Science of Computer Programming (SCP), 92(B), October 2014.

paper | pre-print | bibtex

Automatic Proof-Search Heuristics in the Maude Invariant Analyzer Tool

Camilo Rocha. Revista Colombiana de Computación (RCC), 14(2), December 2013.

paper | pre-print | bibtex

A Formal Library of Set Relations and its Application to Synchronous Languages

Camilo Rocha, César Muñoz, Gilles Dowek. Theoretical Computer Science (TCS), 412(37), August 2011.

paper | pre-print | bibtex

A Rewriting Decision Procedure for Dijkstra-Scholten’s Syllogistic Logic with Complements

Camilo Rocha and José Meseguer. Revista Colombiana de Computación (RCC), 8(2), December 2007.

paper | pre-print | bibtex