Unified opinion formation analysis in rewriting logic.

Camilo Rocha

Carlos Olarte Carlos Ramírez 0002 Camilo Rocha Frank Valencia Unified opinion formation analysis in rewriting logic. 101095 2026 148 J. Log. Algebraic Methods Program. https://doi.org/10.1016/j.jlamp.2025.101095 db/journals/jlap/jlap148.html#OlarteRRV26 streams/journals/jlap

Francisco Durán 0001 Carlos Ramírez 0002 Camilo Rocha Nicolás Pozas A rewriting logic semantics for the analysis of P programs. 101048 2025 144 J. Log. Algebraic Methods Program. https://doi.org/10.1016/j.jlamp.2025.101048 db/journals/jlap/jlap144.html#DuranRRP25 streams/journals/jlap

Carlos Olarte Daniel Osorio Carlos Ramírez 0002 Camilo Rocha Algorithmic Analysis of Event-B in Rewriting Logic. 275-293 2025 NFM https://doi.org/10.1007/978-3-031-93706-4_16 conf/nfm/2025 db/conf/nfm/nfm2025.html#OlarteORR25 streams/conf/nfm

Francisco Durán 0001 Nicolás Pozas Camilo Rocha Business processes resource management using rewriting logic and deep-learning-based predictive monitoring. 100928 2024 January 136 J. Log. Algebraic Methods Program. https://doi.org/10.1016/j.jlamp.2023.100928 db/journals/jlap/jlap136.html#DuranPR24

Carlos Olarte Carlos Ramírez 0002 Camilo Rocha Frank Valencia Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. 104-123 2024 WRLA https://doi.org/10.1007/978-3-031-65941-6_6 conf/wrla/2024 db/conf/wrla/wrla2024.html#OlarteRRV24 streams/conf/wrla

Carlos Olarte Carlos Ramírez 0002 Camilo Rocha Frank Valencia Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. 2024 abs/2402.09021 CoRR https://doi.org/10.48550/arXiv.2402.09021 db/journals/corr/corr2402.html#abs-2402-09021

Juan Paz Camilo Rocha Luis E. Tobón Frank Valencia Consensus in Models for Opinion Dynamics with Generalized-Bias. 2024 abs/2409.10809 CoRR https://doi.org/10.48550/arXiv.2409.10809 db/journals/corr/corr2409.html#abs-2409-10809 streams/journals/corr

Miguel Romero 0005 Felipe Kenji Nakano Jorge Finke Camilo Rocha Celine Vens Leveraging class hierarchy for detecting missing annotations on hierarchical multi-label classification. 106423 2023 152 Comput. Biol. Medicine https://doi.org/10.1016/j.compbiomed.2022.106423 db/journals/cbm/cbm152.html#RomeroNFRV23

Nicolás López-Rozo Mauricio Ramirez-Castrillon Miguel Romero 0005 Jorge Finke Camilo Rocha Gene Expression Datasets for Two Versions of the Saccharum spontaneum AP85-441 Genome. 1 2023 January 8 Data 1 https://doi.org/10.3390/data8010001 db/journals/data/data8.html#LopezRozoRRFR23

Carlos Olarte Elaine Pimentel Camilo Rocha A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. 100827 2023 130 J. Log. Algebraic Methods Program. https://doi.org/10.1016/j.jlamp.2022.100827 https://www.wikidata.org/entity/Q115188990 db/journals/jlap/jlap130.html#OlartePR23

Francisco Durán 0001 Nicolás Pozas Carlos Ramírez 0002 Camilo Rocha Statistical Model Checking for sf P. 40-56 2023 FMICS https://doi.org/10.1007/978-3-031-43681-9_3 conf/fmics/2023 db/conf/fmics/fmics2023.html#DuranPRR23

Miguel Romero 0005 Jorge Finke Camilo Rocha A top-down supervised learning approach to hierarchical multi-label classification in networks. 8 2022 7 Appl. Netw. Sci. 1 https://doi.org/10.1007/s41109-022-00445-3 db/journals/ans/ans7.html#RomeroFR22

Miguel Romero 0005 Oscar Ramírez Jorge Finke Camilo Rocha Feature extraction with spectral clustering for gene function prediction using hierarchical multi-label classification. 28 2022 7 Appl. Netw. Sci. 1 https://doi.org/10.1007/s41109-022-00468-w db/journals/ans/ans7.html#RomeroRFR22

Nicolás López-Rozo Miguel Romero 0005 Jorge Finke Camilo Rocha A Network-based Approach for Inferring Thresholds in Co-expression Networks. 265-276 2022 COMPLEX NETWORKS (1) https://doi.org/10.1007/978-3-031-21127-0_22 conf/complexnetworks/2022-1 db/conf/complexnetworks/complexnetworks2022-1.html#Lopez-Rozo0FR22 Camila Riccio Jorge Finke Camilo Rocha Building Differential Co-expression Networks with Variable Selection and Regularization. 277-288 2022 COMPLEX NETWORKS (1) https://doi.org/10.1007/978-3-031-21127-0_23 conf/complexnetworks/2022-1 db/conf/complexnetworks/complexnetworks2022-1.html#RiccioFR22 Nicolás López-Rozo Jorge Finke Camilo Rocha Using the Duplication-Divergence Network Model to Predict Protein-Protein Interactions. 322-334 2022 COMPLEX NETWORKS (1) https://doi.org/10.1007/978-3-031-21127-0_27 conf/complexnetworks/2022-1 db/conf/complexnetworks/complexnetworks2022-1.html#Lopez-RozoFR22 Francisco Durán 0001 Yliès Falcone Camilo Rocha Gwen Salaün Ahang Zuo From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. 3-21 2022 WRLA https://doi.org/10.1007/978-3-031-12441-9_1 conf/wrla/2022 db/conf/wrla/wrla2022.html#DuranFRSZ22 Francisco Durán 0001 Daniela Martínez Camilo Rocha Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic. 113-129 2022 WRLA https://doi.org/10.1007/978-3-031-12441-9_6 conf/wrla/2022 db/conf/wrla/wrla2022.html#DuranMR22

Miguel Romero 0005 Jorge Finke Camilo Rocha A Top-down Supervised Learning Approach to Hierarchical Multi-label Classification in Networks. 2022 abs/2203.12569 CoRR https://doi.org/10.48550/arXiv.2203.12569 db/journals/corr/corr2203.html#abs-2203-12569

Miguel Romero 0005 Oscar Ramírez Jorge Finke Camilo Rocha Feature extraction using Spectral Clustering for Gene Function Prediction. 2022 abs/2203.13551 CoRR https://doi.org/10.48550/arXiv.2203.13551 db/journals/corr/corr2203.html#abs-2203-13551

Carlos Olarte Camilo Rocha Daniel Osorio A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B. 2022 abs/2206.05813 CoRR https://doi.org/10.48550/arXiv.2206.05813 db/journals/corr/corr2206.html#abs-2206-05813

Miguel Romero 0005 Felipe Kenji Nakano Jorge Finke Camilo Rocha Celine Vens Hierarchy exploitation to detect missing annotations on hierarchical multi-label classification. 2022 abs/2207.06237 CoRR https://doi.org/10.48550/arXiv.2207.06237 db/journals/corr/corr2207.html#abs-2207-06237

Camila Riccio-Rengifo Jorge Finke Camilo Rocha Identifying stress responsive genes using overlapping communities in co-expression networks. 541 2021 22 BMC Bioinform. 1 https://doi.org/10.1186/s12859-021-04462-4 db/journals/bmcbi/bmcbi22.html#Riccio-RengifoF21

Francisco Durán 0001 Camilo Rocha Gwen Salaün Resource provisioning strategies for BPMN processes: Specification and analysis using Maude. 100711 2021 123 J. Log. Algebraic Methods Program. https://doi.org/10.1016/j.jlamp.2021.100711 db/journals/jlap/jlap123.html#DuranRS21

Miguel Romero 0005 Oscar Ramirez Jorge Finke Camilo Rocha Supervised Gene Function Prediction Using Spectral Clustering on Gene Co-expression Networks. 652-663 2021 COMPLEX NETWORKS https://doi.org/10.1007/978-3-030-93413-2_54 conf/complexnetworks/2021-2 db/conf/complexnetworks/complexnetworks2021-2.html#0005RFR21

Carlos Olarte Elaine Pimentel Camilo Rocha A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems. 2021 abs/2101.03113 CoRR https://arxiv.org/abs/2101.03113 db/journals/corr/corr2101.html#abs-2101-03113

Francisco Durán 0001 José Meseguer 0001 Camilo Rocha Ground confluence of order-sorted conditional specifications modulo axioms. 100513 2020 111 J. Log. Algebraic Methods Program. https://doi.org/10.1016/j.jlamp.2019.100513 https://www.wikidata.org/entity/Q126663663 db/journals/jlap/jlap111.html#DuranMR20

Miguel Romero 0005 Jorge Finke Camilo Rocha Luis E. Tobón Spectral evolution with approximated eigenvalue trajectories for link prediction. 60 2020 10 Soc. Netw. Anal. Min. 1 https://doi.org/10.1007/s13278-020-00674-3 db/journals/snam/snam10.html#RomeroFRT20

Carlos Pinzón 0001 Camilo Rocha Jorge Finke Algorithmic Analysis of Blockchain Efficiency with Communication Delay. 400-419 2020 FASE https://doi.org/10.1007/978-3-030-45234-6_20 conf/fase/2020 db/conf/fase/fase2020.html#PinzonRF20 Francisco Durán 0001 Camilo Rocha Gwen Salaün Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude. 38-56 2020 WRLA https://doi.org/10.1007/978-3-030-63595-4_3 conf/wrla/2020 db/conf/wrla/wrla2020.html#DuranRS20 Stephen Skeirik José Meseguer 0001 Camilo Rocha Verification of the IBOS Browser Security Properties in Reachability Logic. 176-196 2020 WRLA https://doi.org/10.1007/978-3-030-63595-4_10 conf/wrla/2020 db/conf/wrla/wrla2020.html#SkeirikMR20

Stephen Skeirik José Meseguer 0001 Camilo Rocha Verification of the IBOS Browser Security Properties in Reachability Logic. 2020 abs/2005.12232 CoRR https://arxiv.org/abs/2005.12232 db/journals/corr/corr2005.html#abs-2005-12232

Miguel Romero 0005 Jorge Finke Camilo Rocha Luis E. Tobón Spectral Evolution with Approximated Eigenvalue Trajectories for Link Prediction. 2020 abs/2006.12657 CoRR https://arxiv.org/abs/2006.12657 db/journals/corr/corr2006.html#abs-2006-12657

Camila Riccio Jorge Finke Camilo Rocha Using Overlapping Communities and Network Structure for Identifying Reduced Groups of Stress Responsive Genes. 2020 abs/2011.03526 CoRR https://arxiv.org/abs/2011.03526 db/journals/corr/corr2011.html#abs-2011-03526

Kyungmin Bae Camilo Rocha Symbolic state space reduction with guarded terms for rewriting modulo SMT. 20-42 2019 178 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2019.03.006 https://www.wikidata.org/entity/Q128140879 db/journals/scp/scp178.html#BaeR19

Francisco Durán 0001 Camilo Rocha Gwen Salaün A rewriting logic approach to resource allocation analysis in business process models. 2019 183 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2019.102303 db/journals/scp/scp183.html#DuranRS19

Miguel Romero 0005 Camilo Rocha Jorge Finke Spectral Evolution of Twitter Mention Networks. 532-542 2019 COMPLEX NETWORKS (1) https://doi.org/10.1007/978-3-030-36687-2_44 conf/complexnetworks/2019-1 db/conf/complexnetworks/complexnetworks2019-1.html#0005RF19 Miguel Romero 0005 Jorge Finke Mauricio A. Quimbaya Camilo Rocha In-silico Gene Annotation Prediction Using the Co-expression Network Structure. 802-812 2019 COMPLEX NETWORKS (2) https://doi.org/10.1007/978-3-030-36683-4_64 conf/complexnetworks/2019-2 db/conf/complexnetworks/complexnetworks2019-2.html#0005FQR19 Francisco Durán 0001 Camilo Rocha Gwen Salaün Analysis of Resource Allocation of BPMN Processes. 452-457 2019 ICSOC https://doi.org/10.1007/978-3-030-33702-5_35 conf/icsoc/2019 db/conf/icsoc/icsoc2019.html#DuranRS19

Miguel Romero 0005 Sergio Ramírez Camilo Rocha Frank Valencia A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification. 2019 abs/1909.03819 CoRR http://arxiv.org/abs/1909.03819 db/journals/corr/corr1909.html#abs-1909-03819

Carlos Pinzón 0001 Camilo Rocha Jorge Finke A Random Network Model for the Analysis of Blockchain Designs with Communication Delay. 2019 abs/1909.06435 CoRR http://arxiv.org/abs/1909.06435 db/journals/corr/corr1909.html#abs-1909-06435

Francisco Durán 0001 Camilo Rocha Gwen Salaün Stochastic analysis of BPMN with time in rewriting logic. 1-17 2018 168 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2018.08.007 db/journals/scp/scp168.html#DuranRS18

Miguel Romero 0005 Camilo Rocha Symbolic Execution and Reachability Analysis Using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with Extrusion. 435-451 2018 NFM https://doi.org/10.1007/978-3-319-77935-5_29 conf/nfm/2018 db/conf/nfm/nfm2018.html#RomeroR18 Francisco Durán 0001 Camilo Rocha Gwen Salaün Computing the Parallelism Degree of Timed BPMN Processes. 320-335 2018 STAF Workshops https://doi.org/10.1007/978-3-030-04771-9_24 conf/staf/2018w db/conf/staf/staf2018w.html#DuranRS18 Francisco Durán 0001 Camilo Rocha Gwen Salaün Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT. 76-97 2018 WRLA https://doi.org/10.1007/978-3-319-99840-4_5 conf/wrla/2018 db/conf/wrla/wrla2018.html#DuranRS18 Carlos Olarte Elaine Pimentel Camilo Rocha Proving Structural Properties of Sequent Systems in Rewriting Logic. 115-135 2018 WRLA https://doi.org/10.1007/978-3-319-99840-4_7 conf/wrla/2018 db/conf/wrla/wrla2018.html#OlartePR18 Francisco Durán 0001 José Meseguer 0001 Camilo Rocha Proving Ground Confluence of Equational Specifications Modulo Axioms. 184-204 2018 WRLA https://doi.org/10.1007/978-3-319-99840-4_11 conf/wrla/2018 db/conf/wrla/wrla2018.html#DuranMR18 Sergio Ramírez Miguel Romero 0005 Camilo Rocha Frank Valencia Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming. 226-244 2018 WRLA https://doi.org/10.1007/978-3-319-99840-4_13 conf/wrla/2018 db/conf/wrla/wrla2018.html#Ramirez0RV18

Miguel Romero 0005 Camilo Rocha Reachability Analysis for Spatial Concurrent Constraint Systems with Extrusion. 2018 abs/1805.07434 CoRR http://arxiv.org/abs/1805.07434 db/journals/corr/corr1805.html#abs-1805-07434

Jan Medina Jorge Finke Camilo Rocha Estimating Formation Mechanisms and Degree Distributions in Mixed Attachment Networks. 2018 abs/1809.03372 CoRR http://arxiv.org/abs/1809.03372 db/journals/corr/corr1809.html#abs-1809-03372

Camilo Rocha José Meseguer 0001 César A. Muñoz Rewriting modulo SMT and open system analysis. 269-297 2017 86 J. Log. Algebraic Methods Program. 1 https://doi.org/10.1016/j.jlamp.2016.10.001 db/journals/jlp/jlp86.html#RochaMM17

Kyungmin Bae Camilo Rocha Guarded Terms for Rewriting Modulo SMT. 78-97 2017 FACS https://doi.org/10.1007/978-3-319-68034-7_5 conf/facs2/2017 db/conf/facs2/facs2017.html#BaeR17 Marco A. Feliú Camilo Rocha Swee Balachandran Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study. 94-97 2017 SPIN https://doi.org/10.1145/3092282.3120995 conf/spin/2017 db/conf/spin/spin2017.html#FeliuRB17 Carlos Pinzón 0001 Camilo Rocha Double-spend Attack Models with Time Advantange for Bitcoin. 79-103 2016 conf/clei/2016s CLEI Selected Papers https://doi.org/10.1016/j.entcs.2016.12.006 https://www.wikidata.org/entity/Q111689729 db/journals/entcs/entcs329.html#PinzonR16

Raúl Gutiérrez José Meseguer 0001 Camilo Rocha Order-sorted equality enrichments modulo axioms. 235-261 2015 99 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2014.07.003 db/journals/scp/scp99.html#GutierrezMR15

Camilo Rocha The Formal System of Dijkstra and Scholten. 580-597 2015 Logic, Rewriting, and Concurrency https://doi.org/10.1007/978-3-319-23165-5_27 conf/birthday/2015meseguer db/conf/birthday/meseguer2015.html#Rocha15

Camilo Rocha César A. Muñoz Synchronous set relations in rewriting logic. 211-228 2014 92 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2013.07.008 db/journals/scp/scp92.html#RochaM14

Camilo Rocha José Meseguer 0001 Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool. 603-629 2014 Specification, Algebra, and Software https://doi.org/10.1007/978-3-642-54624-2_30 conf/birthday/2014futatsugi db/conf/birthday/futatsugi2014.html#RochaM14 Camilo Rocha José Meseguer 0001 César A. Muñoz Rewriting Modulo SMT and Open System Analysis. 247-262 2014 WRLA https://doi.org/10.1007/978-3-319-12904-4_14 conf/wrla/2014 db/conf/wrla/wrla2014.html#RochaMM14

Camilo Rocha Automatic Proof-Search Heuristics in the Maude Invariant Analyzer Tool. 2013 14 Rev. Colomb. de Computación 2 https://doi.org/10.29375/25392115.2017 db/journals/rcc/rcc14.html#Rocha13 98-121

Camilo Rocha Symbolic reachability analysis for rewrite theories University of Illinois Urbana-Champaign, USA 2012 https://hdl.handle.net/2142/42200 Camilo Rocha Héctor Cadavid César A. Muñoz Radu Siminiceanu A Formal Interactive Verification Environment for the Plan Execution Interchange Language. 343-357 2012 IFM https://doi.org/10.1007/978-3-642-30729-4_24 conf/ifm/2012 db/conf/ifm/ifm2012.html#RochaCMS12 Raúl Gutiérrez José Meseguer 0001 Camilo Rocha Order-Sorted Equality Enrichments Modulo Axioms. 162-181 2012 WRLA https://doi.org/10.1007/978-3-642-34005-5_9 conf/wrla/2012 db/conf/wrla/wrla2012.html#GutierrezMR12

Camilo Rocha César A. Muñoz Gilles Dowek A formal library of set relations and its application to synchronous languages. 4853-4866 2011 412 Theor. Comput. Sci. 37 https://doi.org/10.1016/j.tcs.2011.01.027 db/journals/tcs/tcs412.html#RochaMD11

Francisco Durán 0001 Camilo Rocha José María Álvarez 0002 Towards a Maude Formal Environment. 329-351 2011 Formal Modeling: Actors, Open Systems, Biological Systems https://doi.org/10.1007/978-3-642-24933-4_17 conf/birthday/2011talcott db/conf/birthday/talcott2011.html#DuranRA11 Camilo Rocha José Meseguer 0001 Proving Safety Properties of Rewrite Theories. 314-328 2011 CALCO https://doi.org/10.1007/978-3-642-22944-2_22 conf/calco/2011 db/conf/calco/calco2011.html#RochaM11 Francisco Durán 0001 Camilo Rocha José María Álvarez 0002 Tool Interoperability in the Maude Formal Environment. 400-406 2011 CALCO https://doi.org/10.1007/978-3-642-22944-2_30 conf/calco/2011 db/conf/calco/calco2011.html#DuranRA11 Camilo Rocha César A. Muñoz Simulation and Verification of Synchronous Set Relations in Rewriting Logic. 60-75 2011 SBMF https://doi.org/10.1007/978-3-642-25032-3_5 conf/sbmf/2011 db/conf/sbmf/sbmf2011.html#RochaM11 Camilo Rocha José Meseguer 0001 Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories. 594-609 2010 LPAR (Yogyakarta) https://doi.org/10.1007/978-3-642-16242-8_42 conf/lpar/2010y db/conf/lpar/lpar2010y.html#RochaM10

Ning Huang Xiaojuan Wang Camilo Rocha Formal Semantics of OWL-S with Rewrite Logic. 25-33 2009 2 J. Softw. Eng. Appl. 1 https://doi.org/10.4236/jsea.2009.21004 db/journals/jsea/jsea2.html#HuangWR09

Gilles Dowek César A. Muñoz Camilo Rocha Rewriting Logic Semantics of a Plan Execution Language SOS 2009 77-91 https://doi.org/10.4204/EPTCS.18.6 http://arxiv.org/abs/1002.2872 journals/corr/abs-1002-2978 db/series/eptcs/eptcs18.html#abs-1002-2872 Camilo Rocha José Meseguer 0001 Theorem Proving Modulo Based on Boolean Equational Procedures. 337-351 2008 RelMiCS https://doi.org/10.1007/978-3-540-78913-0_25 conf/RelMiCS/2008 db/conf/RelMiCS/RelMiCS2008.html#RochaM08 Ning Huang Yongyi Peng Camilo Rocha Extend OWL-S Dynamic Semantics with Rewrite Logic. 346-349 2008 CSSE (2) https://doi.org/10.1109/CSSE.2008.1406 https://doi.ieeecomputersociety.org/10.1109/CSSE.2008.1406 conf/csse/2008-2 db/conf/csse/csse2008-2.html#HuangPR08

Camilo Rocha José Meseguer 0001 A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements. 2007 8 Rev. Colomb. de Computación 2 https://doi.org/10.29375/25392115.1038 db/journals/rcc/rcc8.html#RochaM07 101-130

Camilo Rocha Rafael García Rubby Casallas Una Semántica de Ensamblaje y Composición de Servicios y Componentes. 37-50 2006 CIbSE conf/cibse/2006 db/conf/cibse/cibse2006.html#RochaGC06 José María Álvarez 0002 Kyungmin Bae Swee Balachandran Héctor Cadavid Rubby Casallas Gilles Dowek Francisco Durán 0001 Yliès Falcone Marco A. Feliú Jorge Finke Rafael García Raúl Gutiérrez Ning Huang Nicolás López-Rozo Daniela Martínez Jan Medina José Meseguer 0001 César A. Muñoz Felipe Kenji Nakano Carlos Olarte Daniel Osorio Juan Paz Yongyi Peng Elaine Pimentel Carlos Antonio PinzónCarlos Pinzón 0001 Nicolás Pozas Mauricio A. Quimbaya Carlos Ramírez 0002 Oscar RamirezOscar Ramírez Sergio Ramírez Mauricio Ramirez-Castrillon Camila Riccio Camila Riccio-Rengifo Miguel Romero 0005 Gwen Salaün Radu Siminiceanu Stephen Skeirik Luis E. Tobón Frank D. ValenciaFrank Valencia Celine Vens Xiaojuan Wang Ahang Zuo