Camilo Rocha - RankMe

75 papers A 1B 4C 1Journal 36Unranked 32

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