Camilo Rocha

Available identifiers

zbMath Open rocha.camiloMaRDI QIDQ347383

List of research outcomes

Publication	Date of Publication	Type
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring	2024-02-12	Paper
Proving structural properties of sequent systems in rewriting logic	2023-07-28	Paper
Proving ground confluence of equational specifications modulo axioms	2023-07-28	Paper
Real-time rewriting logic semantics for spatial concurrent constraint programming	2023-07-28	Paper
Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT	2023-07-28	Paper
Verification of the IBOS Browser Security Properties in Reachability Logic	2022-12-22	Paper
Estimating formation mechanisms and degree distributions in mixed attachment networks	2022-11-18	Paper
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems	2022-11-16	Paper
Supervised gene function prediction using spectral clustering on gene co-expression networks	2022-11-15	Paper
Algorithmic analysis of blockchain efficiency with communication delay	2022-10-13	Paper
Resource provisioning strategies for BPMN processes: specification and analysis using Maude	2021-11-03	Paper
Rewriting logic semantics of a plan execution language	2021-02-09	Paper
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems	2021-01-08	Paper
Spectral Evolution with Approximated Eigenvalue Trajectories for Link Prediction	2020-06-22	Paper
Ground confluence of order-sorted conditional specifications modulo axioms	2020-01-31	Paper
Rewriting modulo SMT and open system analysis	2016-11-30	Paper
The Formal System of Dijkstra and Scholten	2015-09-14	Paper
Rewriting modulo SMT and open system analysis	2015-09-09	Paper
Mechanical analysis of reliable communication in the alternating bit protocol using the Maude invariant analyzer tool	2014-03-25	Paper
Order-sorted equality enrichments modulo axioms	2012-10-16	Paper
A formal library of set relations and its application to synchronous languages	2011-12-23	Paper
Simulation and verification of synchronous set relations in rewriting logic	2011-11-11	Paper
Proving Safety Properties of Rewrite Theories	2011-09-02	Paper
Constructors, sufficient completeness, and deadlock freedom of rewrite theories	2010-10-12	Paper
Theorem Proving Modulo Based on Boolean Equational Procedures	2008-05-15	Paper

Research outcomes over time

This page was built for person: Camilo Rocha