| Publication | Date of Publication | Type |
|---|
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring
Journal of Logical and Algebraic Methods in Programming | 2024-02-12 | Paper |
Proving structural properties of sequent systems in rewriting logic
Rewriting Logic and Its Applications | 2023-07-28 | Paper |
Proving ground confluence of equational specifications modulo axioms
Rewriting Logic and Its Applications | 2023-07-28 | Paper |
Real-time rewriting logic semantics for spatial concurrent constraint programming
Rewriting Logic and Its Applications | 2023-07-28 | Paper |
Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT
Rewriting Logic and Its Applications | 2023-07-28 | Paper |
Verification of the IBOS Browser Security Properties in Reachability Logic
1517.68254 | 2022-12-22 | Paper |
Estimating formation mechanisms and degree distributions in mixed attachment networks
Journal of Physics A: Mathematical and Theoretical | 2022-11-18 | Paper |
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
Journal of Logical and Algebraic Methods in Programming | 2022-11-16 | Paper |
Supervised gene function prediction using spectral clustering on gene co-expression networks
Complex Networks & Their Applications X | 2022-11-15 | Paper |
Algorithmic analysis of blockchain efficiency with communication delay
Fundamental Approaches to Software Engineering | 2022-10-13 | Paper |
Resource provisioning strategies for BPMN processes: specification and analysis using Maude
Journal of Logical and Algebraic Methods in Programming | 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
Journal of Logical and Algebraic Methods in Programming | 2020-01-31 | Paper |
Rewriting modulo SMT and open system analysis
Journal of Logical and Algebraic Methods in Programming | 2016-11-30 | Paper |
The Formal System of Dijkstra and Scholten
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Rewriting modulo SMT and open system analysis
Rewriting Logic and Its Applications | 2015-09-09 | Paper |
Mechanical analysis of reliable communication in the alternating bit protocol using the Maude invariant analyzer tool
Specification, Algebra, and Software | 2014-03-25 | Paper |
Order-sorted equality enrichments modulo axioms
Rewriting Logic and Its Applications | 2012-10-16 | Paper |
A formal library of set relations and its application to synchronous languages
Theoretical Computer Science | 2011-12-23 | Paper |
Simulation and verification of synchronous set relations in rewriting logic
Formal Methods, Foundations and Applications | 2011-11-11 | Paper |
Proving Safety Properties of Rewrite Theories
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
Constructors, sufficient completeness, and deadlock freedom of rewrite theories
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
Theorem Proving Modulo Based on Boolean Equational Procedures
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
