Technical Reports

A Top-down Supervised Learning Approach to Hierarchical Multi-label Classification in Networks.

Miguel Romero, Jorge Finke, Camilo Rocha. arXiv:2203.12569. Cali, March 2022.

report | local copy | bibtex

Feature extraction using Spectral Clustering for Gene Function Prediction.

Miguel Romero, Óscar Ramírez, Jorge Finke, Camilo Rocha. arXiv:2203.13551. Cali, March 2022.

report | local copy | bibtex

A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems.

Carlos Olarte, Elaine Pimentel, and Camilo Rocha. arXiv:2001.03113. Cali, January 2021.

report | local copy | bibtex

Using Overlapping Communities and Network Structure for Identifying Reduced Groups of Stress Responsive Genes.

Camila Riccio, Jorge Finke, and Camilo Rocha. arXiv:2011.03526. Cali, November 2020.

report | local copy | bibtex

Spectral Evolution with Approximated Eigenvalue Trajectories for Link Prediction.

Miguel Romero, Jorge Finke, Camilo Rocha, and Luis Tobón. arXiv:2006.12657. Cali, June 2020.

report | local copy | bibtex

Verification of the IBOS Browser Security Properties in Reachability Logic.

Stephen Skeirik, José Meseguer, and Camilo Rocha. arXiv:2005.12232. Cali, May 2020.

report | local copy | bibtex

A Random Network Model for the Analysis of Blockchain Designs with Communication Delay.

Carlos Pinzón, Camilo Rocha, and Jorge Finke. arXiv:1909.06435. Cali, September 2019.

report | local copy | bibtex

A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification.

Miguel Romero, Sergio Ramírez, Camilo Rocha, and Frank Valencia. arXiv:1909.03819. Cali, September 2019.

report | local copy | bibtex

Estimating Formation Mechanisms and Degree Distributions in Mixed Attachment Networks.

Jan Medina, Jorge Finke, and Camilo Rocha. arXiv:1809.03372. Cali, September 2018.

report | local copy | bibtex

Reachability Analysis for Spatial Concurrent Constraint Systems with Extrusion.

Miguel Romero and Camilo Rocha. arXiv:1805.07434. Cali, May 2018.

report | local copy | bibtex

Proving Ground Confluence of Equational Specifications Modulo Axioms.

Francisco Durán, José Meseguer, and Camilo Rocha. Technical Report, University of Illinois at Urbana-Champaign. Urbana, March 2018.

report | local copy | bibtex

Double-spend Attack Models with Time Advantage for Bitcoin.

Carlos Pinzón and Camilo Rocha. Technical Report, Escuela Colombiana de Ingeniería 001/484. Bogotá, December 2016.

report | local copy | bibtex

Library Management for PVS.

Miguel Romero and Camilo Rocha. Technical Report, Escuela Colombiana de Ingeniería 001/464. Bogotá, October 2016.

report | local copy | bibtex | tool

Rewriting Modulo SMT and Open System Analysis.

Camilo Rocha, José Meseguer, and César Muñoz. Technical Report, University of Illinois at Urbana-Champaign. Urbana, October 2016.

report | local copy | bibtex

Executable Calculational Expressions.

Francisco Cháves and Camilo Rocha. Technical Report, Escuela Colombiana de Ingeniería 001/301. Bogotá, August 2015.

report | local copy | bibtex | tool

Rewriting Modulo SMT.

Camilo Rocha, José Meseguer, and César Muñoz. Technical Memorandum, NASA TM-2013-218033. Langley, August 2013.

report | local copy | bibtex

Order-sorted Equality Enrichments Modulo Axioms.

Raúl Gutiérrez, José Meseguer, and Camilo Rocha. Technical Report, Department of Computer Science in the University of Illinois at Urbana-Champaign. Urbana, December 2011.

report | local copy | bibtex | tool

Proving Safety Properties of Rewrite Theories.

Camilo Rocha and José Meseguer. Technical Report, Department of Computer Science in the University of Illinois at Urbana-Champaign. Urbana, November 2010.

report | local copy | bibtex | tool

Constructors, Sufficient Completeness, and Deadlock Freedom of Generalized Rewrite Theories.

Camilo Rocha and José Meseguer. Technical Report, Department of Computer Science in the University of Illinois at Urbana-Champaign. Urbana, May 2010.

report | local copy | bibtex | tool

Rewriting Logic Semantics of a Plan Execution Language.

Gilles Dowek, César Muñoz and Camilo Rocha. Technical Memorandum, NASA TM-2009-215770. Langley, June 2009.

report | local copy | bibtex | tool

Theorem Proving Modulo Based on Boolean Procedures.

Camilo Rocha and José Meseguer. Technical Report TR-2007-2922, Department of Computer Science in the University of Illinois at Urbana-Champaign. Urbana, December 2007.

report | local copy | bibtex

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

Camilo Rocha and José Meseguer. Technical Report TR-2007-2921, Department of Computer Science in the University of Illinois at Urbana-Champaign. Urbana, December 2007.

report | local copy | bibtex

Five Isomorphic Boolean Theories and Four Decision Procedures.

Camilo Rocha and José Meseguer. Technical Report TR-2007-2818, Department of Computer Science in the University of Illinois at Urbana-Champaign. Urbana, March 2007.

report | local copy | bibtex