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
https://portal.mardi4nfdi.de/entity/Q5150132	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