Una Semántica de Ensamblaje y Composición de Servicios y Componentes. - Camilo Rocha; Rafael García; Rubby Casallas (CIbSE, 2006)

A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements. - Camilo Rocha; José Meseguer 001 (Rev. Colomb. de Computación, 2007)

Theorem Proving Modulo Based on Boolean Equational Procedures. - Camilo Rocha; José Meseguer 001 (RelMiCS, 2008)

Extend OWL-S Dynamic Semantics with Rewrite Logic. - Ning Huang; Yongyi Peng; Camilo Rocha (CSSE (2), 2008)

Rewriting Logic Semantics of a Plan Execution Language - Gilles Dowek; César A. Muñoz; Camilo Rocha (SOS, 2009)

Formal Semantics of OWL-S with Rewrite Logic. - Ning Huang; Xiaojuan Wang; Camilo Rocha (J. Softw. Eng. Appl., 2009)

Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories. - Camilo Rocha; José Meseguer 001 (LPAR (Yogyakarta), 2010)

Towards a Maude Formal Environment. - Francisco Durán 001; Camilo Rocha; José María Álvarez 002 (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Tool Interoperability in the Maude Formal Environment. - Francisco Durán 001; Camilo Rocha; José María Álvarez 002 (CALCO, 2011)

Proving Safety Properties of Rewrite Theories. - Camilo Rocha; José Meseguer 001 (CALCO, 2011)

Simulation and Verification of Synchronous Set Relations in Rewriting Logic. - Camilo Rocha; César A. Muñoz (SBMF, 2011)

A formal library of set relations and its application to synchronous languages. - Camilo Rocha; César A. Muñoz; Gilles Dowek (Theor. Comput. Sci., 2011)

A Formal Interactive Verification Environment for the Plan Execution Interchange Language. - Camilo Rocha; Héctor Cadavid; César A. Muñoz; Radu Siminiceanu (IFM, 2012)

Symbolic reachability analysis for rewrite theories - Camilo Rocha (2012)

Automatic Proof-Search Heuristics in the Maude Invariant Analyzer Tool. - Camilo Rocha (Rev. Colomb. de Computación, 2013)

Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool. - Camilo Rocha; José Meseguer 001 (Specification, Algebra, and Software, 2014)

Synchronous set relations in rewriting logic. - Camilo Rocha; César A. Muñoz (Sci. Comput. Program., 2014)

The Formal System of Dijkstra and Scholten. - Camilo Rocha (Logic, Rewriting, and Concurrency, 2015)

Order-sorted equality enrichments modulo axioms. - Raúl Gutiérrez; José Meseguer 001; Camilo Rocha (Sci. Comput. Program., 2015)

Double-spend Attack Models with Time Advantange for Bitcoin. - Carlos Pinzón; Camilo Rocha (CLEI Selected Papers, 2016)

Guarded Terms for Rewriting Modulo SMT. - Kyungmin Bae; Camilo Rocha (FACS, 2017)

Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study. - Marco A. Feliú; Camilo Rocha; Swee Balachandran (SPIN, 2017)

Rewriting modulo SMT and open system analysis. - Camilo Rocha; José Meseguer 001; César A. Muñoz (J. Log. Algebraic Methods Program., 2017)

Symbolic Execution and Reachability Analysis Using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with Extrusion. - Miguel Romero 005; Camilo Rocha (NFM, 2018)

Computing the Parallelism Degree of Timed BPMN Processes. - Francisco Durán 001; Camilo Rocha; Gwen Salaün (STAF Workshops, 2018)

Proving Ground Confluence of Equational Specifications Modulo Axioms. - Francisco Durán 001; José Meseguer 001; Camilo Rocha (WRLA@ETAPS, 2018)

Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT. - Francisco Durán 001; Camilo Rocha; Gwen Salaün (WRLA@ETAPS, 2018)

Proving Structural Properties of Sequent Systems in Rewriting Logic. - Carlos Olarte; Elaine Pimentel; Camilo Rocha (WRLA@ETAPS, 2018)

Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming. - Sergio Ramírez; Miguel Romero 005; Camilo Rocha; Frank Valencia (WRLA@ETAPS, 2018)

Reachability Analysis for Spatial Concurrent Constraint Systems with Extrusion. - Miguel Romero 005; Camilo Rocha (CoRR, 2018)

Estimating Formation Mechanisms and Degree Distributions in Mixed Attachment Networks. - Jan Medina; Jorge Finke; Camilo Rocha (CoRR, 2018)

Stochastic analysis of BPMN with time in rewriting logic. - Francisco Durán 001; Camilo Rocha; Gwen Salaün (Sci. Comput. Program., 2018)

In-silico Gene Annotation Prediction Using the Co-expression Network Structure. - Miguel Romero 005; Jorge Finke; Mauricio A. Quimbaya; Camilo Rocha (COMPLEX NETWORKS (2), 2019)

Spectral Evolution of Twitter Mention Networks. - Miguel Romero 005; Camilo Rocha; Jorge Finke (COMPLEX NETWORKS (1), 2019)

Analysis of Resource Allocation of BPMN Processes. - Francisco Durán 001; Camilo Rocha; Gwen Salaün (ICSOC, 2019)

A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification. - Miguel Romero 005; Sergio Ramírez; Camilo Rocha; Frank Valencia (CoRR, 2019)

A Random Network Model for the Analysis of Blockchain Designs with Communication Delay. - Carlos Pinzón; Camilo Rocha; Jorge Finke (CoRR, 2019)

Symbolic state space reduction with guarded terms for rewriting modulo SMT. - Kyungmin Bae; Camilo Rocha (Sci. Comput. Program., 2019)

A rewriting logic approach to resource allocation analysis in business process models. - Francisco Durán 001; Camilo Rocha; Gwen Salaün (Sci. Comput. Program., 2019)

Algorithmic Analysis of Blockchain Efficiency with Communication Delay. - Carlos Pinzón; Camilo Rocha; Jorge Finke (FASE, 2020)

Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude. - Francisco Durán 001; Camilo Rocha; Gwen Salaün (WRLA@ETAPS, 2020)

Verification of the IBOS Browser Security Properties in Reachability Logic. - Stephen Skeirik; José Meseguer 001; Camilo Rocha (WRLA@ETAPS, 2020)

Using Overlapping Communities and Network Structure for Identifying Reduced Groups of Stress Responsive Genes. - Camila Riccio; Jorge Finke; Camilo Rocha (CoRR, 2020)

Ground confluence of order-sorted conditional specifications modulo axioms. - Francisco Durán 001; José Meseguer 001; Camilo Rocha (J. Log. Algebraic Methods Program., 2020)

Spectral evolution with approximated eigenvalue trajectories for link prediction. - Miguel Romero 005; Jorge Finke; Camilo Rocha; Luis E. Tobón (Soc. Netw. Anal. Min., 2020)

Supervised Gene Function Prediction Using Spectral Clustering on Gene Co-expression Networks. - Miguel Romero 005; Oscar Ramirez; Jorge Finke; Camilo Rocha (COMPLEX NETWORKS, 2021)

Identifying stress responsive genes using overlapping communities in co-expression networks. - Camila Riccio-Rengifo; Jorge Finke; Camilo Rocha (BMC Bioinform., 2021)

Resource provisioning strategies for BPMN processes: Specification and analysis using Maude. - Francisco Durán 001; Camilo Rocha; Gwen Salaün (J. Log. Algebraic Methods Program., 2021)

A Network-based Approach for Inferring Thresholds in Co-expression Networks. - Nicolás López-Rozo; Miguel Romero 005; Jorge Finke; Camilo Rocha (COMPLEX NETWORKS (1), 2022)

Using the Duplication-Divergence Network Model to Predict Protein-Protein Interactions. - Nicolás López-Rozo; Jorge Finke; Camilo Rocha (COMPLEX NETWORKS (1), 2022)

Building Differential Co-expression Networks with Variable Selection and Regularization. - Camila Riccio; Jorge Finke; Camilo Rocha (COMPLEX NETWORKS (1), 2022)

From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. - Francisco Durán 001; Yliès Falcone; Camilo Rocha; Gwen Salaün; Ahang Zuo (WRLA@ETAPS, 2022)

Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic. - Francisco Durán 001; Daniela Martínez; Camilo Rocha (WRLA@ETAPS, 2022)

A top-down supervised learning approach to hierarchical multi-label classification in networks. - Miguel Romero 005; Jorge Finke; Camilo Rocha (Appl. Netw. Sci., 2022)

Feature extraction with spectral clustering for gene function prediction using hierarchical multi-label classification. - Miguel Romero 005; Oscar Ramírez; Jorge Finke; Camilo Rocha (Appl. Netw. Sci., 2022)

Feature extraction using Spectral Clustering for Gene Function Prediction. - Miguel Romero 005; Oscar Ramírez; Jorge Finke; Camilo Rocha (CoRR, 2022)

A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B. - Carlos Olarte; Camilo Rocha; Daniel Osorio (CoRR, 2022)

Hierarchy exploitation to detect missing annotations on hierarchical multi-label classification. - Miguel Romero 005; Felipe Kenji Nakano; Jorge Finke; Camilo Rocha; Celine Vens (CoRR, 2022)

Statistical Model Checking for sf P. - Francisco Durán 001; Nicolás Pozas; Carlos Ramírez 002; Camilo Rocha (FMICS, 2023)

Leveraging class hierarchy for detecting missing annotations on hierarchical multi-label classification. - Miguel Romero 005; Felipe Kenji Nakano; Jorge Finke; Camilo Rocha; Celine Vens (Comput. Biol. Medicine, 2023)

A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. - Carlos Olarte; Elaine Pimentel; Camilo Rocha (J. Log. Algebraic Methods Program., 2023)

Gene Expression Datasets for Two Versions of the Saccharum spontaneum AP85-441 Genome. - Nicolás López-Rozo; Mauricio Ramirez-Castrillon; Miguel Romero 005; Jorge Finke; Camilo Rocha (Data, 2023)

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. - Carlos Olarte; Carlos Ramírez 002; Camilo Rocha; Frank Valencia (WRLA, 2024)

Consensus in Models for Opinion Dynamics with Generalized-Bias. - Juan Paz; Camilo Rocha; Luis E. Tobón; Frank Valencia (CoRR, 2024)

Business processes resource management using rewriting logic and deep-learning-based predictive monitoring. - Francisco Durán 001; Nicolás Pozas; Camilo Rocha (J. Log. Algebraic Methods Program., 2024)

Algorithmic Analysis of Event-B in Rewriting Logic. - Carlos Olarte; Daniel Osorio; Carlos Ramírez 002; Camilo Rocha (NFM, 2025)

A rewriting logic semantics for the analysis of P programs. - Francisco Durán 001; Carlos Ramírez 002; Camilo Rocha; Nicolás Pozas (J. Log. Algebraic Methods Program., 2025)