Journals

A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems

Carlos Olarte, Elaine Pimentel, Camilo Rocha. Journal of Logical and Algebraic Methods in Programming. Volume 130, January 2023.

paper | pre-print | bibtex

Methylation in the CHH Context Allows to Predict Recombination in Rice

Mauricio Peñuela, Jenny Gallo-Franco, Jorge Finke, Camilo Rocha, Anestis Gkanogiannis, Thaura Ghneim-Herrera, Mathias Lorieux. International Journal of Molecular Sciences, 23(20), 12505. October 2022.

paper | pre-print | bibtex

The ÓMICAS alliance, an international research program on multi-omics for crop breeding optimization

Andres Jaramillo-Botero, Julián Colorado, Mauricio Quimbaya, María Rebolledo, Mathias Lorieux, Thaura Ghneim-Herrera, Carlos Arango, Luis Tobón, Jorge Finke, Camilo Rocha, Fernando Muñoz, John Riascos, Fernando Silva, Ngonidzashe Chirinda, Mario Caccamo, Klaas Vandepoele, William Goddard III. Frontiers in Plant Science, 10. October 2022.

paper | pre-print | bibtex

A top-down supervised learning approach to hierarchical multi-label classification in networks

Miguel Romero, Óscar Ramírez, Jorge Finke, Camilo Rocha. Applied Network Science, 7:28. May 2022.

paper | pre-print | bibtex

Feature extraction with spectral clustering for gene function prediction using hierarchical multi-label classification

Miguel Romero, Jorge Finke, Camilo Rocha. Applied Network Science, 7:8. February 2022.

paper | pre-print | bibtex

Identifying Stress Responsive Genes using Overlapping Communities in Co-expression Networks

Camila Riccio-Rengifo, Jorge Finke, Camilo Rocha. BMC Bioinformatics, 192. November 2021.

paper | pre-print | bibtex

Resource provisioning strategies for BPMN processes: Specification and analysis using Maude

Francisco Durán, Camilo Rocha, Gwen Salaün. Journal of Logical and Algebraic Methods in Programming (JLAMP), 123. November 2021.

paper | pre-print | bibtex

Spectral Evolution with Approximated Eigenvalue Trajectories for Link Prediction

Miguel Romero, Jorge Finke, Camilo Rocha, Luis Tobón. Social Network Analysis and Mining (SNAM), 10:60. July 2020.

paper | pre-print | bibtex

Ground Confluence of Order-sorted Conditional Specifications Modulo Axioms

Francisco Durán, José Meseguer, Camilo Rocha. Journal of Logical and Algebraic Methods in Programming (JLAMP), 111. February 2020.

paper | pre-print | bibtex

A Rewriting Logic Approach to Resource Allocation Analysis in Business Process Models

Francisco Durán, Camilo Rocha, Gwen Salaün. Science of Computer Programming (SCP), 183. September 2019.

paper | pre-print | bibtex

Symbolic State Space Reduction with Guarded Terms for Rewriting Modulo SMT

Kyungmin Bae and Camilo Rocha. Science of Computer Programming (SCP), 178. June 2019.

paper | pre-print | bibtex

Estimating Formation Mechanisms and Degree Distributions in Mixed Attachment Networks

Jan Medina, Jorge Finke, Camilo Rocha. Journal of Physics A: Mathematical and Theoretical (JPhysA), 52 (9), February 2019.

paper | pre-print | bibtex

Stochastic Analysis of BPMN with Time in Rewriting Logic

Francisco Durán, Camilo Rocha, Gwen Salaün. Science of Computer Programming (SCP), 168, December 2018.

paper | pre-print | bibtex

Rewriting Modulo SMT and Open System Analysis

Camilo Rocha, José Meseguer, César Muñoz. Journal of Logical and Algebraic Methods in Programming (JLAMP), 86(1), January 2017.

paper | pre-print | bibtex

Double-spend Attack Models with Time Advantage for Bitcoin

Carlos Pinzón and Camilo Rocha. Electronic Notes in Theoretical Computer Science (ENTCS), 329C, December 2016.

paper | pre-print | bibtex

Order-sorted Equality Enrichments Modulo Axioms

Raúl Gutiérrez, José Meseguer, Camilo Rocha. Science of Computer Programming (SCP), 99(1), March 2015.

paper | pre-print | bibtex

Synchronous Set Relations in Rewriting Logic

Camilo Rocha and César Muñoz. Science of Computer Programming (SCP), 92(B), October 2014.

paper | pre-print | bibtex

Automatic Proof-Search Heuristics in the Maude Invariant Analyzer Tool

Camilo Rocha. Revista Colombiana de Computación (RCC), 14(2), December 2013.

paper | pre-print | bibtex

A Formal Library of Set Relations and its Application to Synchronous Languages

Camilo Rocha, César Muñoz, Gilles Dowek. Theoretical Computer Science (TCS), 412(37), August 2011.

paper | pre-print | bibtex

A Rewriting Decision Procedure for Dijkstra-Scholten’s Syllogistic Logic with Complements

Camilo Rocha and José Meseguer. Revista Colombiana de Computación (RCC), 8(2), December 2007.

paper | pre-print | bibtex