Camilo Rocha

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 50

Top Topics

Spectral Clustering

Business Process

Top Venues

J. Log. Algebraic Methods Program.

Sci. Comput. Program.

Publications

Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. CoRR (2024)
Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. WRLA (2024)
Francisco Durán, Nicolás Pozas, Camilo Rocha
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring. J. Log. Algebraic Methods Program. 136 (2024)
Carlos Olarte, Elaine Pimentel, Camilo Rocha
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. J. Log. Algebraic Methods Program. 130 (2023)
Francisco Durán, Nicolás Pozas, Carlos Ramírez, Camilo Rocha
Statistical Model Checking for sf P. FMICS (2023)
Nicolás López-Rozo, Mauricio Ramirez-Castrillon, Miguel Romero, Jorge Finke, Camilo Rocha
Gene Expression Datasets for Two Versions of the Saccharum spontaneum AP85-441 Genome. Data 8 (1) (2023)
Miguel Romero, Felipe Kenji Nakano, Jorge Finke, Camilo Rocha, Celine Vens
Leveraging class hierarchy for detecting missing annotations on hierarchical multi-label classification. Comput. Biol. Medicine 152 (2023)
Miguel Romero, Felipe Kenji Nakano, Jorge Finke, Camilo Rocha, Celine Vens
Hierarchy exploitation to detect missing annotations on hierarchical multi-label classification. CoRR (2022)
Nicolás López-Rozo, Miguel Romero, Jorge Finke, Camilo Rocha
A Network-based Approach for Inferring Thresholds in Co-expression Networks. COMPLEX NETWORKS (1) (2022)
Miguel Romero, Jorge Finke, Camilo Rocha
A Top-down Supervised Learning Approach to Hierarchical Multi-label Classification in Networks. CoRR (2022)
Miguel Romero, Oscar Ramírez, Jorge Finke, Camilo Rocha
Feature extraction with spectral clustering for gene function prediction using hierarchical multi-label classification. Appl. Netw. Sci. 7 (1) (2022)
Carlos Olarte, Camilo Rocha, Daniel Osorio
A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B. CoRR (2022)
Miguel Romero, Jorge Finke, Camilo Rocha
A top-down supervised learning approach to hierarchical multi-label classification in networks. Appl. Netw. Sci. 7 (1) (2022)
Francisco Durán, Daniela Martínez, Camilo Rocha
Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic. WRLA@ETAPS (2022)
Francisco Durán, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo
From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. WRLA@ETAPS (2022)
Miguel Romero, Oscar Ramírez, Jorge Finke, Camilo Rocha
Feature extraction using Spectral Clustering for Gene Function Prediction. CoRR (2022)
Nicolás López-Rozo, Jorge Finke, Camilo Rocha
Using the Duplication-Divergence Network Model to Predict Protein-Protein Interactions. COMPLEX NETWORKS (1) (2022)
Camila Riccio, Jorge Finke, Camilo Rocha
Building Differential Co-expression Networks with Variable Selection and Regularization. COMPLEX NETWORKS (1) (2022)
Carlos Olarte, Elaine Pimentel, Camilo Rocha
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems. CoRR (2021)
Camila Riccio-Rengifo, Jorge Finke, Camilo Rocha
Identifying stress responsive genes using overlapping communities in co-expression networks. BMC Bioinform. 22 (1) (2021)
Miguel Romero, Oscar Ramirez, Jorge Finke, Camilo Rocha
Supervised Gene Function Prediction Using Spectral Clustering on Gene Co-expression Networks. COMPLEX NETWORKS (2021)
Francisco Durán, Camilo Rocha, Gwen Salaün
Resource provisioning strategies for BPMN processes: Specification and analysis using Maude. J. Log. Algebraic Methods Program. 123 (2021)
Carlos Pinzón, Camilo Rocha, Jorge Finke
Algorithmic Analysis of Blockchain Efficiency with Communication Delay. FASE (2020)
Miguel Romero, Jorge Finke, Camilo Rocha, Luis E. Tobón
Spectral evolution with approximated eigenvalue trajectories for link prediction. Soc. Netw. Anal. Min. 10 (1) (2020)
Stephen Skeirik, José Meseguer, Camilo Rocha
Verification of the IBOS Browser Security Properties in Reachability Logic. CoRR (2020)
Stephen Skeirik, José Meseguer, Camilo Rocha
Verification of the IBOS Browser Security Properties in Reachability Logic. WRLA@ETAPS (2020)
Miguel Romero, Jorge Finke, Camilo Rocha, Luis E. Tobón
Spectral Evolution with Approximated Eigenvalue Trajectories for Link Prediction. CoRR (2020)
Camila Riccio, Jorge Finke, Camilo Rocha
Using Overlapping Communities and Network Structure for Identifying Reduced Groups of Stress Responsive Genes. CoRR (2020)
Francisco Durán, José Meseguer, Camilo Rocha
Ground confluence of order-sorted conditional specifications modulo axioms. J. Log. Algebraic Methods Program. 111 (2020)
Francisco Durán, Camilo Rocha, Gwen Salaün
Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude. WRLA@ETAPS (2020)
Miguel Romero, Camilo Rocha, Jorge Finke
Spectral Evolution of Twitter Mention Networks. COMPLEX NETWORKS (1) (2019)
Carlos Pinzón, Camilo Rocha, Jorge Finke
A Random Network Model for the Analysis of Blockchain Designs with Communication Delay. CoRR (2019)
Miguel Romero, Jorge Finke, Mauricio A. Quimbaya, Camilo Rocha
In-silico Gene Annotation Prediction Using the Co-expression Network Structure. COMPLEX NETWORKS (2) (2019)
Francisco Durán, Camilo Rocha, Gwen Salaün
A rewriting logic approach to resource allocation analysis in business process models. Sci. Comput. Program. 183 (2019)
Miguel Romero, Sergio Ramírez, Camilo Rocha, Frank Valencia
A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification. CoRR (2019)
Kyungmin Bae, Camilo Rocha
Symbolic state space reduction with guarded terms for rewriting modulo SMT. Sci. Comput. Program. 178 (2019)
Francisco Durán, Camilo Rocha, Gwen Salaün
Analysis of Resource Allocation of BPMN Processes. ICSOC (2019)
Carlos Olarte, Elaine Pimentel, Camilo Rocha
Proving Structural Properties of Sequent Systems in Rewriting Logic. WRLA@ETAPS (2018)
Sergio Ramírez, Miguel Romero, Camilo Rocha, Frank Valencia
Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming. WRLA@ETAPS (2018)
Miguel Romero, Camilo Rocha
Reachability Analysis for Spatial Concurrent Constraint Systems with Extrusion. CoRR (2018)
Francisco Durán, Camilo Rocha, Gwen Salaün
Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT. WRLA@ETAPS (2018)
Jan Medina, Jorge Finke, Camilo Rocha
Estimating Formation Mechanisms and Degree Distributions in Mixed Attachment Networks. CoRR (2018)
Miguel Romero, Camilo Rocha
Symbolic Execution and Reachability Analysis Using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with Extrusion. NFM (2018)
Francisco Durán, Camilo Rocha, Gwen Salaün
Computing the Parallelism Degree of Timed BPMN Processes. STAF Workshops (2018)
Francisco Durán, José Meseguer, Camilo Rocha
Proving Ground Confluence of Equational Specifications Modulo Axioms. WRLA@ETAPS (2018)
Francisco Durán, Camilo Rocha, Gwen Salaün
Stochastic analysis of BPMN with time in rewriting logic. Sci. Comput. Program. 168 (2018)
Marco A. Feliú, Camilo Rocha, Swee Balachandran
Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study. SPIN (2017)
Camilo Rocha, José Meseguer, César A. Muñoz
Rewriting modulo SMT and open system analysis. J. Log. Algebraic Methods Program. 86 (1) (2017)
Kyungmin Bae, Camilo Rocha
Guarded Terms for Rewriting Modulo SMT. FACS (2017)
Carlos Pinzón, Camilo Rocha
Double-spend Attack Models with Time Advantange for Bitcoin. CLEI Selected Papers (2016)
Raúl Gutiérrez, José Meseguer, Camilo Rocha
Order-sorted equality enrichments modulo axioms. Sci. Comput. Program. 99 (2015)
Camilo Rocha
The Formal System of Dijkstra and Scholten. Logic, Rewriting, and Concurrency (2015)
Camilo Rocha, César A. Muñoz
Synchronous set relations in rewriting logic. Sci. Comput. Program. 92 (2014)
Camilo Rocha, José Meseguer, César A. Muñoz
Rewriting Modulo SMT and Open System Analysis. WRLA (2014)
Camilo Rocha, José Meseguer
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool. Specification, Algebra, and Software (2014)
Camilo Rocha
Automatic Proof-Search Heuristics in the Maude Invariant Analyzer Tool. Rev. Colomb. de Computación 14 (2) (2013)
Raúl Gutiérrez, José Meseguer, Camilo Rocha
Order-Sorted Equality Enrichments Modulo Axioms. WRLA (2012)
Camilo Rocha, Héctor Cadavid, César A. Muñoz, Radu Siminiceanu
A Formal Interactive Verification Environment for the Plan Execution Interchange Language. IFM (2012)
Camilo Rocha, César A. Muñoz
Simulation and Verification of Synchronous Set Relations in Rewriting Logic. SBMF (2011)
Camilo Rocha, José Meseguer
Proving Safety Properties of Rewrite Theories. CALCO (2011)
Francisco Durán, Camilo Rocha, José María Álvarez
Towards a Maude Formal Environment. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Camilo Rocha, César A. Muñoz, Gilles Dowek
A formal library of set relations and its application to synchronous languages. Theor. Comput. Sci. 412 (37) (2011)
Francisco Durán, Camilo Rocha, José María Álvarez
Tool Interoperability in the Maude Formal Environment. CALCO (2011)
Camilo Rocha, José Meseguer
Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories. LPAR (Yogyakarta) (2010)
Gilles Dowek, César A. Muñoz, Camilo Rocha
Rewriting Logic Semantics of a Plan Execution Language SOS (2009)
Ning Huang, Xiaojuan Wang, Camilo Rocha
Formal Semantics of OWL-S with Rewrite Logic. J. Softw. Eng. Appl. 2 (1) (2009)
Camilo Rocha, José Meseguer
Theorem Proving Modulo Based on Boolean Equational Procedures. RelMiCS (2008)
Ning Huang, Yongyi Peng, Camilo Rocha
Extend OWL-S Dynamic Semantics with Rewrite Logic. CSSE (2) (2008)
Camilo Rocha, José Meseguer
A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements. Rev. Colomb. de Computación 8 (2) (2007)
Camilo Rocha, Rafael García, Rubby Casallas
Una Semántica de Ensamblaje y Composición de Servicios y Componentes. CIbSE (2006)