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
Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT	2023-07-28	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
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Camilo Rocha