| 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 |
| Associative unification and symbolic reasoning modulo associativity in Maude | 2023-07-28 | Paper |
| Proving ground confluence of equational specifications modulo axioms | 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 | 2021-11-03 | Paper |
| GTS Families for the Flexible Composition of Graph Transformation Systems | 2020-02-13 | Paper |
| Programming and symbolic computation in Maude | 2020-01-31 | Paper |
| Ground confluence of order-sorted conditional specifications modulo axioms | 2020-01-31 | Paper |
| Multilevel coupled model transformations for precise and reusable definition of model behaviour | 2019-06-20 | Paper |
| Error estimation for low-order adaptive finite element approximations for fluid flow problems | 2018-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2989001 | 2017-05-19 | Paper |
| Amalgamation of domain specific languages with behaviour | 2016-11-30 | Paper |
| Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 | 2016-09-05 | Paper |
| Methods for Proving Termination of Rewriting-based Programming Languages by Transformation | 2016-05-20 | Paper |
| Equational Abstractions in Rewriting Logic and Maude | 2016-04-01 | Paper |
| Two Decades of Maude | 2015-09-14 | Paper |
| Composition of Graph-Transformation-Based DSL Definitions by Amalgamation | 2015-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849581 | 2013-09-20 | Paper |
| Behaviour Protection in Modular Rule-Based System Specifications | 2013-09-13 | Paper |
| On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories | 2013-01-16 | Paper |
| A generic framework for \(n\)-protocol compatibility checking | 2012-07-13 | Paper |
| Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 | 2012-04-24 | Paper |
| A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications | 2010-10-12 | Paper |
| A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories | 2010-10-12 | Paper |
| On the Behavioral Semantics of Real-Time Domain Specific Visual Languages | 2010-10-12 | Paper |
| The Third Rewrite Engines Competition | 2010-10-12 | Paper |
| Termination Modulo Combinations of Equational Theories | 2010-01-07 | Paper |
| Invariant-driven specifications in Maude | 2009-08-21 | Paper |
| Proving operational termination of membership equational programs | 2009-08-04 | Paper |
| MTT: The Maude Termination Tool (System Description) | 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. | 2007-08-08 | Paper |
| Maude's module algebra | 2007-05-23 | Paper |
| Structured theories and institutions | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4447224 | 2004-02-16 | Paper |
| Maude: specification and programming in rewriting logic | 2002-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767191 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2703706 | 2001-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2703707 | 2001-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2703708 | 2001-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499235 | 2001-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222979 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222990 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222994 | 1999-01-07 | Paper |
