| Publication | Date of Publication | Type |
|---|
| Automatic analysis of consistency properties of distributed transaction systems in Maude | 2023-11-24 | Paper |
| Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms* | 2023-11-09 | Paper |
| Optimizing Maude programs via program specialization | 2023-08-17 | Paper |
| The Maude strategy language | 2023-08-08 | 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 |
| Compiling concurrent rewriting onto the Rewrite Rule Machine | 2023-03-09 | Paper |
| Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) | 2022-12-07 | Paper |
| Temporal structures | 2022-08-16 | Paper |
| From petri nets to linear logic | 2022-08-16 | Paper |
| Protocol analysis with time and space | 2022-07-13 | Paper |
| Protocol analysis with time | 2022-07-06 | Paper |
| Order-sorted equational generalization algorithm revisited | 2022-05-04 | Paper |
| Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms* | 2021-05-20 | Paper |
| The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques | 2021-02-17 | Paper |
| A Constructor-Based Reachability Logic for Rewrite Theories | 2020-11-16 | Paper |
| Canonical narrowing with irreducibility constraints as a symbolic protocol analysis method | 2020-03-03 | Paper |
| \({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance | 2020-02-18 | Paper |
| Programming and symbolic computation in Maude | 2020-01-31 | Paper |
| A partial evaluation framework for order-sorted equational programs modulo axioms | 2020-01-31 | Paper |
| Ground confluence of order-sorted conditional specifications modulo axioms | 2020-01-31 | Paper |
| Read atomic transactions with prevention of lost updates: ROLA and its formal analysis | 2019-11-18 | Paper |
| ROLA: a new distributed transaction protocol and its formal analysis | 2019-09-16 | Paper |
| A constructor-based reachability logic for rewrite theories | 2018-09-06 | Paper |
| Variant-based decidable satisfiability in initial algebras with predicates | 2018-09-06 | Paper |
| The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors | 2018-06-06 | Paper |
| Metalevel algorithms for variant satisfiability | 2018-04-06 | Paper |
| Strict coherence of conditional rewriting modulo axioms | 2018-02-09 | Paper |
| Partial evaluation of order-sorted equational programs modulo axioms | 2017-10-13 | Paper |
| Reflective metalogical frameworks | 2017-07-12 | Paper |
| Equational formulas and pattern operations in initial order-sorted algebras | 2017-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2958376 | 2017-02-01 | Paper |
| Modeling and analyzing mobile ad hoc networks in Real-Time Maude | 2016-12-28 | Paper |
| Normal forms and normal theories in conditional rewriting | 2016-12-28 | Paper |
| Dependency pairs for proving termination properties of conditional term rewriting systems | 2016-11-30 | Paper |
| Rewriting modulo SMT and open system analysis | 2016-11-30 | Paper |
| Metalevel Algorithms for Variant Satisfiability | 2016-10-21 | Paper |
| Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 | 2016-09-05 | Paper |
| Order-Sorted Rewriting and Congruence Closure | 2016-06-10 | Paper |
| Methods for Proving Termination of Rewriting-based Programming Languages by Transformation | 2016-05-20 | Paper |
| Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras | 2016-02-05 | Paper |
| Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories | 2016-01-08 | Paper |
| Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems | 2015-10-02 | Paper |
| Infinite-State Model Checking of LTLR Formulas Using Narrowing | 2015-09-09 | Paper |
| A Framework for Mobile Ad hoc Networks in Real-Time Maude | 2015-09-09 | Paper |
| Strong and Weak Operational Termination of Order-Sorted Rewrite Theories | 2015-09-09 | Paper |
| 2D Dependency Pairs for Proving Operational Termination of CTRSs | 2015-09-09 | Paper |
| Rewriting Modulo SMT and Open System Analysis | 2015-09-09 | Paper |
| Localized Operational Termination in General Logics | 2015-06-22 | Paper |
| Formal Analysis of Leader Election in MANETs Using Real-Time Maude | 2015-06-22 | Paper |
| Executable rewriting logic semantics of Orc and formal analysis of Orc programs | 2015-06-15 | Paper |
| Order-Sorted Generalization | 2015-04-09 | Paper |
| Variant Narrowing and Equational Unification | 2015-03-19 | Paper |
| Operational Termination of Membership Equational Programs: the Order-Sorted Way | 2015-03-19 | Paper |
| A Rewriting Semantics for Maude Strategies | 2015-03-19 | Paper |
| ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance | 2015-01-14 | Paper |
| State space reduction in the Maude-NRL protocol analyzer | 2014-10-20 | Paper |
| Predicate Abstraction of Rewrite Theories | 2014-07-24 | Paper |
| A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting | 2014-06-27 | Paper |
| Order-sorted Equational Unification Revisited | 2014-06-27 | Paper |
| Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool | 2014-03-25 | Paper |
| A modular order-sorted equational generalization algorithm | 2014-03-13 | Paper |
| Abstraction and Completeness for Real-Time Maude | 2014-01-24 | Paper |
| A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis | 2014-01-24 | Paper |
| Partial Order Reduction for Rewriting Semantics of Programming Languages | 2014-01-24 | Paper |
| Narrowing and Rewriting Logic: from Foundations to Applications | 2014-01-24 | Paper |
| The rewriting logic semantics project: a progress report | 2014-01-16 | Paper |
| A Rewriting Logic Approach to Operational Semantics (Extended Abstract) | 2014-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2871852 | 2014-01-10 | Paper |
| Deduction, Strategies, and Rewriting | 2013-12-06 | Paper |
| Recent Advances in Real-Time Maude | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2852094 | 2013-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851050 | 2013-10-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851051 | 2013-10-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851053 | 2013-10-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849863 | 2013-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849873 | 2013-09-20 | Paper |
| Statistical Model Checking for Composite Actor Systems | 2013-09-13 | Paper |
| Towards Behavioral Maude | 2013-08-15 | Paper |
| Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis | 2013-06-14 | Paper |
| Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework | 2013-05-24 | Paper |
| Twenty years of rewriting logic | 2013-01-16 | Paper |
| On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories | 2013-01-16 | Paper |
| Folding variant narrowing and optimal variant termination | 2013-01-16 | Paper |
| Rewriting semantics of production rule sets | 2013-01-16 | Paper |
| Model Checking LTLR Formulas under Localized Fairness | 2012-10-16 | Paper |
| Order-Sorted Equality Enrichments Modulo Axioms | 2012-10-16 | Paper |
| Formalization and correctness of the PALS architectural pattern for distributed real-time systems | 2012-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5389069 | 2012-04-24 | Paper |
| Proving Safety Properties of Rewrite Theories | 2011-09-02 | Paper |
| The Rewriting Logic Semantics Project: A Progress Report | 2011-08-19 | Paper |
| vlogsl: A Strategy Language for Simulation-Based Verification of Hardware | 2011-04-06 | Paper |
| Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework | 2011-04-01 | Paper |
| Mapping Modular SOS to Rewriting Logic | 2011-03-04 | Paper |
| Twenty Years of Rewriting Logic | 2010-10-12 | Paper |
| A Dependency Pair Framework for A ∨ C-Termination | 2010-10-12 | Paper |
| Folding Variant Narrowing and Optimal Variant Termination | 2010-10-12 | 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 |
| Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits | 2010-10-12 | Paper |
| A Formal Pattern Architecture for Safe Medical Systems | 2010-10-12 | Paper |
| The Linear Temporal Logic of Rewriting Maude Model Checker | 2010-10-12 | Paper |
| Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories | 2010-10-12 | Paper |
| Coverset Induction with Partiality and Subsorts: A Powerlist Case Study | 2010-09-14 | Paper |
| An algebraic semantics for MOF | 2010-05-28 | Paper |
| Automated Deduction – CADE-19 | 2010-04-20 | Paper |
| Theoretical Computer Science | 2010-02-23 | Paper |
| Algebraic simulations | 2010-02-05 | Paper |
| Formal Methods for Open Object-Based Distributed Systems | 2010-01-12 | Paper |
| Termination Modulo Combinations of Equational Theories | 2010-01-07 | Paper |
| Operational termination of conditional term rewriting systems | 2009-12-04 | Paper |
| What Is a Multi-modeling Language? | 2009-10-22 | Paper |
| Order-Sorted Parameterization and Induction | 2009-10-22 | Paper |
| Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties | 2009-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396602 | 2009-09-19 | Paper |
| Proving operational termination of membership equational programs | 2009-08-04 | Paper |
| State Space Reduction of Rewrite Theories Using Invisible Transitions | 2009-04-28 | Paper |
| A rewriting logic approach to operational semantics | 2009-04-14 | Paper |
| A Modular Equational Generalization Algorithm | 2009-03-24 | Paper |
| MTT: The Maude Termination Tool (System Description) | 2008-11-27 | Paper |
| Equational abstractions | 2008-09-16 | Paper |
| Effectively Checking the Finite Variant Property | 2008-08-28 | Paper |
| Ugo Montanari in a Nutshell | 2008-06-19 | Paper |
| The Temporal Logic of Rewriting: A Gentle Introduction | 2008-06-19 | Paper |
| Termination of Fair Computations in Term Rewriting | 2008-05-27 | Paper |
| Termination of just/fair computations in term rewriting | 2008-05-19 | Paper |
| Theorem Proving Modulo Based on Boolean Equational Procedures | 2008-05-15 | Paper |
| Natural Rewriting for General Term Rewriting Systems | 2008-04-24 | Paper |
| Symbolic Model Checking of Infinite-State Systems Using Narrowing | 2008-01-02 | Paper |
| On the Completeness of Context-Sensitive Order-Sorted Specifications | 2008-01-02 | Paper |
| Automated Reasoning | 2007-09-25 | Paper |
| From OBJ to Maude and Beyond | 2007-09-07 | 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 |
| Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols | 2007-05-21 | Paper |
| Semantics and pragmatics of real-time maude | 2007-05-21 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| The rewriting logic semantics project | 2007-04-19 | Paper |
| Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic | 2007-04-13 | Paper |
| Specification and analysis of the AER/NCA active network protocol suite in real-time Maude | 2007-01-24 | Paper |
| Complete symbolic reachability analysis using back-and-forth narrowing | 2007-01-09 | Paper |
| A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties | 2007-01-09 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Semantic foundations for generalized rewrite theories | 2006-09-14 | Paper |
| Formal Methods in Software and Systems Modeling | 2005-12-02 | Paper |
| Term Rewriting and Applications | 2005-11-11 | Paper |
| Term Rewriting and Applications | 2005-11-11 | Paper |
| Term Rewriting and Applications | 2005-11-11 | Paper |
| Recent Trends in Algebraic Development Techniques | 2005-11-11 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| A Verification Logic for Rewriting Logic | 2005-07-13 | Paper |
| Structured theories and institutions | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3046721 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737190 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472433 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4447224 | 2004-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449180 | 2004-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430286 | 2003-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4426386 | 2003-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421726 | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790669 | 2003-02-04 | Paper |
| Functorial models for Petri nets | 2003-01-14 | Paper |
| Rewriting logic: Roadmap and bibliography | 2002-09-10 | Paper |
| Reflection in conditional rewriting logic | 2002-08-13 | Paper |
| Specification of real-time and hybrid systems in rewriting logic | 2002-08-13 | Paper |
| Symmetric monoidal and cartesian double categories as a semantic framework for tile logic | 2002-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767190 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764137 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722043 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723887 | 2001-07-08 | 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/Q2703709 | 2001-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2703711 | 2001-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508933 | 2001-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518871 | 2001-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499235 | 2001-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499237 | 2001-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4762648 | 2001-02-22 | Paper |
| Specification and proof in membership equational logic | 2000-06-04 | Paper |
| Inclusions and subtypes II: higher-order case | 2000-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246796 | 2000-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4270072 | 1999-12-20 | Paper |
| Inclusions and subtypes I: first-order case | 1999-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263840 | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260389 | 1999-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249180 | 1999-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222979 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222985 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222990 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223002 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222853 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222856 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222859 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222863 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3839051 | 1998-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3839052 | 1998-08-13 | Paper |
| May I borrow your logic? (Transporting logical structures along maps) | 1998-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4371024 | 1998-01-28 | Paper |
| On the semantics of place/transition Petri nets | 1997-11-12 | Paper |
| Process versus unfolding semantics for Place/Transition Petri nets | 1997-02-28 | Paper |
| Axiomatizing the algebra of net computations and processes | 1995-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4698614 | 1995-07-27 | Paper |
| Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems | 1993-06-29 | Paper |
| Final algebras, cosemicomputable algebras and degrees of unsolvability | 1993-01-17 | Paper |
| FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY | 1993-01-16 | Paper |
| Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations | 1992-12-16 | Paper |
| Conditional rewriting logic as a unified model of concurrency | 1992-09-26 | Paper |
| Temporal Structures | 1992-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975037 | 1992-06-26 | Paper |
| From Petri nets to linear logic | 1992-06-25 | Paper |
| Petri nets are monoids | 1990-01-01 | Paper |
| Order-sorted unification | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3032225 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3210197 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795207 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3817573 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3030249 | 1987-01-01 | Paper |
| On the Axiomatization of “If-Then-Else” | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3780425 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3780426 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3687683 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3719824 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3737481 | 1985-01-01 | Paper |
| Equality, types, modules, and (why not?) generics for logic programming | 1984-01-01 | Paper |
| Equality, types, modules, and (why not?) generics for logic programming | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3689281 | 1984-01-01 | Paper |
| Correctness of recursive parallel nondeterministic flow programs | 1983-01-01 | Paper |
| Order completion monads | 1983-01-01 | Paper |
| Algebras with actions and automata | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3956373 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3962973 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3907672 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3946206 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3954802 | 1981-01-01 | Paper |
| Varieties of chain-complete algebras | 1980-01-01 | Paper |
| Primitive recursive algebraic theories and program schemes | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4125728 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4145866 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4068900 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4100251 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4123303 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4065458 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4068899 | 1975-01-01 | Paper |
