| 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 |
Associative unification and symbolic reasoning modulo associativity in Maude
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 |
Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT
Rewriting Logic and Its Applications | 2023-07-28 | Paper |
| Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) | 2022-12-07 | Paper |
Resource provisioning strategies for BPMN processes: specification and analysis using Maude
Journal of Logical and Algebraic Methods in Programming | 2021-11-03 | Paper |
GTS families for the flexible composition of graph transformation systems
Fundamental Approaches to Software Engineering | 2020-02-13 | Paper |
Programming and symbolic computation in Maude
Journal of Logical and Algebraic Methods in Programming | 2020-01-31 | Paper |
Ground confluence of order-sorted conditional specifications modulo axioms
Journal of Logical and Algebraic Methods in Programming | 2020-01-31 | Paper |
Multilevel coupled model transformations for precise and reusable definition of model behaviour
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
Error estimation for low-order adaptive finite element approximations for fluid flow problems
IMA Journal of Numerical Analysis | 2018-09-26 | Paper |
| Checking protocol compatibility using Maude | 2017-05-19 | Paper |
Amalgamation of domain specific languages with behaviour
Journal of Logical and Algebraic Methods in Programming | 2016-11-30 | Paper |
Built-in variant generation and unification, and their applications in Maude 2.7
Automated Reasoning | 2016-09-05 | Paper |
Methods for proving termination of rewriting-based programming languages by transformation
Electronic Notes in Theoretical Computer Science | 2016-05-20 | Paper |
Equational abstractions in rewriting logic and Maude
Lecture Notes in Computer Science | 2016-04-01 | Paper |
Two Decades of Maude
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Composition of graph-transformation-based DSL definitions by amalgamation
Rewriting Logic and Its Applications | 2015-09-09 | Paper |
| Maude's internal strategies | 2013-09-20 | Paper |
Behaviour protection in modular rule-based system specifications
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
The Journal of Logic and Algebraic Programming | 2013-01-16 | Paper |
A generic framework for \(n\)-protocol compatibility checking
Science of Computer Programming | 2012-07-13 | Paper |
| Variants, unification, narrowing, and symbolic reachability in Maude 2.6 | 2012-04-24 | Paper |
On the behavioral semantics of real-time domain specific visual languages
Rewriting Logic and Its Applications | 2010-10-12 | Paper |
A Maude coherence checker tool for conditional order-sorted rewrite theories
Rewriting Logic and Its Applications | 2010-10-12 | Paper |
A Church-Rosser checker tool for conditional order-sorted equational Maude specifications
Rewriting Logic and Its Applications | 2010-10-12 | Paper |
The third rewrite engines competition
Rewriting Logic and Its Applications | 2010-10-12 | Paper |
Termination Modulo Combinations of Equational Theories
Frontiers of Combining Systems | 2010-01-07 | Paper |
Invariant-driven specifications in Maude
Science of Computer Programming | 2009-08-21 | Paper |
Proving operational termination of membership equational programs
Higher-Order and Symbolic Computation | 2009-08-04 | Paper |
MTT: The Maude Termination Tool (System Description)
Automated Reasoning | 2008-11-27 | Paper |
All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
Lecture Notes in Computer Science | 2007-08-08 | Paper |
Maude's module algebra
Science of Computer Programming | 2007-05-23 | Paper |
Structured theories and institutions
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2043522 (Why is no real title available?) | 2004-02-16 | Paper |
Maude: specification and programming in rewriting logic
Theoretical Computer Science | 2002-08-13 | Paper |
| scientific article; zbMATH DE number 1696904 (Why is no real title available?) | 2002-01-28 | Paper |
| Towards Maude 2. 0 | 2001-05-07 | Paper |
| Polytypic programming in Maude | 2001-05-07 | Paper |
| Parameterized theories and views in full Maude 2. 0 | 2001-05-07 | Paper |
| scientific article; zbMATH DE number 1497815 (Why is no real title available?) | 2001-03-04 | Paper |
| scientific article; zbMATH DE number 1231654 (Why is no real title available?) | 1999-01-07 | Paper |
| scientific article; zbMATH DE number 1231667 (Why is no real title available?) | 1999-01-07 | Paper |
| scientific article; zbMATH DE number 1231664 (Why is no real title available?) | 1999-01-07 | Paper |
