![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Camilo Rocha
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j20]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: 100928 (2024) - [c37]Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia:
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. WRLA 2024: 104-123 - [i13]Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia:
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. CoRR abs/2402.09021 (2024) - 2023
- [j19]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: 106423 (2023) - [j18]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): 1 (2023) - [j17]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: 100827 (2023) - [c36]Francisco Durán, Nicolás Pozas, Carlos Ramírez, Camilo Rocha:
Statistical Model Checking for sf P. FMICS 2023: 40-56 - 2022
- [j16]Miguel Romero
, Jorge Finke, Camilo Rocha
:
A top-down supervised learning approach to hierarchical multi-label classification in networks. Appl. Netw. Sci. 7(1): 8 (2022) - [j15]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): 28 (2022) - [c35]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: 265-276 - [c34]Camila Riccio, Jorge Finke, Camilo Rocha:
Building Differential Co-expression Networks with Variable Selection and Regularization. COMPLEX NETWORKS (1) 2022: 277-288 - [c33]Nicolás López-Rozo, Jorge Finke, Camilo Rocha:
Using the Duplication-Divergence Network Model to Predict Protein-Protein Interactions. COMPLEX NETWORKS (1) 2022: 322-334 - [c32]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: 3-21 - [c31]Francisco Durán, Daniela Martínez, Camilo Rocha:
Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic. WRLA@ETAPS 2022: 113-129 - [i12]Miguel Romero, Jorge Finke, Camilo Rocha:
A Top-down Supervised Learning Approach to Hierarchical Multi-label Classification in Networks. CoRR abs/2203.12569 (2022) - [i11]Miguel Romero, Oscar Ramírez, Jorge Finke, Camilo Rocha:
Feature extraction using Spectral Clustering for Gene Function Prediction. CoRR abs/2203.13551 (2022) - [i10]Carlos Olarte, Camilo Rocha, Daniel Osorio:
A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B. CoRR abs/2206.05813 (2022) - [i9]Miguel Romero, Felipe Kenji Nakano, Jorge Finke, Camilo Rocha, Celine Vens:
Hierarchy exploitation to detect missing annotations on hierarchical multi-label classification. CoRR abs/2207.06237 (2022) - 2021
- [j14]Camila Riccio-Rengifo
, Jorge Finke, Camilo Rocha
:
Identifying stress responsive genes using overlapping communities in co-expression networks. BMC Bioinform. 22(1): 541 (2021) - [j13]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: 100711 (2021) - [c30]Miguel Romero, Oscar Ramirez, Jorge Finke, Camilo Rocha:
Supervised Gene Function Prediction Using Spectral Clustering on Gene Co-expression Networks. COMPLEX NETWORKS 2021: 652-663 - [i8]Carlos Olarte, Elaine Pimentel, Camilo Rocha:
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems. CoRR abs/2101.03113 (2021) - 2020
- [j12]Francisco Durán, José Meseguer, Camilo Rocha
:
Ground confluence of order-sorted conditional specifications modulo axioms. J. Log. Algebraic Methods Program. 111: 100513 (2020) - [j11]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): 60 (2020) - [c29]Carlos Pinzón, Camilo Rocha
, Jorge Finke:
Algorithmic Analysis of Blockchain Efficiency with Communication Delay. FASE 2020: 400-419 - [c28]Francisco Durán, Camilo Rocha, Gwen Salaün:
Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude. WRLA@ETAPS 2020: 38-56 - [c27]Stephen Skeirik, José Meseguer, Camilo Rocha:
Verification of the IBOS Browser Security Properties in Reachability Logic. WRLA@ETAPS 2020: 176-196 - [i7]Stephen Skeirik, José Meseguer, Camilo Rocha:
Verification of the IBOS Browser Security Properties in Reachability Logic. CoRR abs/2005.12232 (2020) - [i6]Miguel Romero, Jorge Finke, Camilo Rocha, Luis E. Tobón:
Spectral Evolution with Approximated Eigenvalue Trajectories for Link Prediction. CoRR abs/2006.12657 (2020) - [i5]Camila Riccio, Jorge Finke, Camilo Rocha:
Using Overlapping Communities and Network Structure for Identifying Reduced Groups of Stress Responsive Genes. CoRR abs/2011.03526 (2020)
2010 – 2019
- 2019
- [j10]Kyungmin Bae
, Camilo Rocha
:
Symbolic state space reduction with guarded terms for rewriting modulo SMT. Sci. Comput. Program. 178: 20-42 (2019) - [j9]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) - [c26]Miguel Romero, Camilo Rocha
, Jorge Finke:
Spectral Evolution of Twitter Mention Networks. COMPLEX NETWORKS (1) 2019: 532-542 - [c25]Miguel Romero, Jorge Finke, Mauricio A. Quimbaya, Camilo Rocha
:
In-silico Gene Annotation Prediction Using the Co-expression Network Structure. COMPLEX NETWORKS (2) 2019: 802-812 - [c24]Francisco Durán, Camilo Rocha
, Gwen Salaün:
Analysis of Resource Allocation of BPMN Processes. ICSOC 2019: 452-457 - [i4]Miguel Romero, Sergio Ramírez, Camilo Rocha, Frank Valencia:
A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification. CoRR abs/1909.03819 (2019) - [i3]Carlos Pinzón, Camilo Rocha, Jorge Finke:
A Random Network Model for the Analysis of Blockchain Designs with Communication Delay. CoRR abs/1909.06435 (2019) - 2018
- [j8]Francisco Durán
, Camilo Rocha
, Gwen Salaün:
Stochastic analysis of BPMN with time in rewriting logic. Sci. Comput. Program. 168: 1-17 (2018) - [c23]Miguel Romero, Camilo Rocha
:
Symbolic Execution and Reachability Analysis Using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with Extrusion. NFM 2018: 435-451 - [c22]Francisco Durán, Camilo Rocha
, Gwen Salaün:
Computing the Parallelism Degree of Timed BPMN Processes. STAF Workshops 2018: 320-335 - [c21]Francisco Durán, Camilo Rocha
, Gwen Salaün:
Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT. WRLA@ETAPS 2018: 76-97 - [c20]Carlos Olarte
, Elaine Pimentel
, Camilo Rocha
:
Proving Structural Properties of Sequent Systems in Rewriting Logic. WRLA@ETAPS 2018: 115-135 - [c19]Francisco Durán, José Meseguer, Camilo Rocha
:
Proving Ground Confluence of Equational Specifications Modulo Axioms. WRLA@ETAPS 2018: 184-204 - [c18]Sergio Ramírez, Miguel Romero, Camilo Rocha
, Frank Valencia:
Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming. WRLA@ETAPS 2018: 226-244 - [i2]Miguel Romero, Camilo Rocha:
Reachability Analysis for Spatial Concurrent Constraint Systems with Extrusion. CoRR abs/1805.07434 (2018) - [i1]Jan Medina, Jorge Finke, Camilo Rocha:
Estimating Formation Mechanisms and Degree Distributions in Mixed Attachment Networks. CoRR abs/1809.03372 (2018) - 2017
- [j7]Camilo Rocha
, José Meseguer, César A. Muñoz:
Rewriting modulo SMT and open system analysis. J. Log. Algebraic Methods Program. 86(1): 269-297 (2017) - [c17]Kyungmin Bae, Camilo Rocha
:
Guarded Terms for Rewriting Modulo SMT. FACS 2017: 78-97 - [c16]Marco A. Feliú
, Camilo Rocha
, Swee Balachandran:
Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study. SPIN 2017: 94-97 - 2016
- [c15]Carlos Pinzón, Camilo Rocha
:
Double-spend Attack Models with Time Advantange for Bitcoin. CLEI Selected Papers 2016: 79-103 - 2015
- [j6]Raúl Gutiérrez
, José Meseguer, Camilo Rocha
:
Order-sorted equality enrichments modulo axioms. Sci. Comput. Program. 99: 235-261 (2015) - [c14]Camilo Rocha
:
The Formal System of Dijkstra and Scholten. Logic, Rewriting, and Concurrency 2015: 580-597 - 2014
- [j5]Camilo Rocha
, César A. Muñoz:
Synchronous set relations in rewriting logic. Sci. Comput. Program. 92: 211-228 (2014) - [c13]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: 603-629 - [c12]Camilo Rocha
, José Meseguer, César A. Muñoz:
Rewriting Modulo SMT and Open System Analysis. WRLA 2014: 247-262 - 2013
- [j4]Camilo Rocha:
Automatic Proof-Search Heuristics in the Maude Invariant Analyzer Tool. Rev. Colomb. de Computación 14(2): 98-121 (2013) - 2012
- [b1]Camilo Rocha:
Symbolic reachability analysis for rewrite theories. University of Illinois Urbana-Champaign, USA, 2012 - [c11]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: 343-357 - [c10]Raúl Gutiérrez
, José Meseguer, Camilo Rocha
:
Order-Sorted Equality Enrichments Modulo Axioms. WRLA 2012: 162-181 - 2011
- [j3]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): 4853-4866 (2011) - [c9]Francisco Durán
, Camilo Rocha
, José María Álvarez:
Towards a Maude Formal Environment. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 329-351 - [c8]Camilo Rocha
, José Meseguer:
Proving Safety Properties of Rewrite Theories. CALCO 2011: 314-328 - [c7]Francisco Durán
, Camilo Rocha
, José María Álvarez:
Tool Interoperability in the Maude Formal Environment. CALCO 2011: 400-406 - [c6]Camilo Rocha
, César A. Muñoz:
Simulation and Verification of Synchronous Set Relations in Rewriting Logic. SBMF 2011: 60-75 - 2010
- [c5]Camilo Rocha
, José Meseguer:
Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories. LPAR (Yogyakarta) 2010: 594-609
2000 – 2009
- 2009
- [j2]Ning Huang, Xiaojuan Wang, Camilo Rocha:
Formal Semantics of OWL-S with Rewrite Logic. J. Softw. Eng. Appl. 2(1): 25-33 (2009) - [c4]Gilles Dowek, César A. Muñoz, Camilo Rocha
:
Rewriting Logic Semantics of a Plan Execution Language. SOS 2009: 77-91 - 2008
- [c3]Camilo Rocha, José Meseguer:
Theorem Proving Modulo Based on Boolean Equational Procedures. RelMiCS 2008: 337-351 - [c2]Ning Huang, Yongyi Peng, Camilo Rocha:
Extend OWL-S Dynamic Semantics with Rewrite Logic. CSSE (2) 2008: 346-349 - 2007
- [j1]Camilo Rocha, José Meseguer:
A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements. Rev. Colomb. de Computación 8(2): 101-130 (2007) - 2006
- [c1]Camilo Rocha, Rafael García, Rubby Casallas:
Una Semántica de Ensamblaje y Composición de Servicios y Componentes. CIbSE 2006: 37-50
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-10 00:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint