Publication | Date of Publication | Type |
---|
QMaude: quantitative specification and verification in rewriting logic | 2023-08-17 | Paper |
Strategies in conditional narrowing modulo SMT plus axioms | 2023-08-17 | Paper |
The Maude strategy language | 2023-08-08 | Paper |
Parameterized programming for compositional system specification | 2023-07-28 | Paper |
Associative unification and symbolic reasoning modulo associativity in Maude | 2023-07-28 | Paper |
Strategies, Model Checking and Branching-Time Properties in Maude | 2022-12-22 | Paper |
Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) | 2022-12-07 | Paper |
From petri nets to linear logic | 2022-08-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q5089038 | 2022-07-18 | Paper |
Simulating and model checking membrane systems using strategies in Maude | 2021-11-24 | Paper |
Metalevel transformation of strategies | 2021-11-24 | Paper |
Strategies, model checking and branching-time properties in Maude | 2021-11-03 | Paper |
Parameterized strategies specification in Maude | 2020-06-08 | Paper |
Programming and symbolic computation in Maude | 2020-01-31 | Paper |
Synchronous products of rewrite systems | 2018-10-25 | Paper |
Sentence-normalized conditional narrowing modulo in rewriting logic and Maude | 2018-08-09 | Paper |
Egalitarian State-Transition Systems | 2016-10-21 | Paper |
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 | 2016-09-05 | Paper |
Equational Abstractions in Rewriting Logic and Maude | 2016-04-01 | Paper |
José Meseguer: Scientist and Friend Extraordinaire | 2015-09-14 | Paper |
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude | 2015-09-14 | Paper |
Two Decades of Maude | 2015-09-14 | Paper |
Conditional Narrowing Modulo in Rewriting Logic and Maude | 2015-09-09 | Paper |
A Declarative Debugger for Maude Functional Modules | 2015-03-19 | Paper |
A Rewriting Semantics for Maude Strategies | 2015-03-19 | Paper |
Model Checking TLR* Guarantee Formulas on Infinite Systems | 2014-03-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q2871852 | 2014-01-10 | Paper |
Deduction, Strategies, and Rewriting | 2013-12-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q2851059 | 2013-10-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q2850669 | 2013-09-27 | Paper |
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees | 2013-03-13 | Paper |
Rewriting logic bibliography by topic: 1990--2011 | 2013-01-16 | Paper |
Declarative debugging of rewriting logic specifications | 2013-01-16 | Paper |
Declarative Debugging of Missing Answers for Maude. | 2012-04-25 | Paper |
A Complete Declarative Debugger for Maude | 2011-01-21 | Paper |
Enhancing the Debugging of Maude Specifications | 2010-10-12 | Paper |
Automated Deduction – CADE-19 | 2010-04-20 | Paper |
Algebraic simulations | 2010-02-05 | Paper |
Declarative Debugging of Rewriting Logic Specifications | 2009-10-22 | Paper |
Equational abstractions | 2008-09-16 | Paper |
Declarative Debugging of Membership Equational Logic Specifications | 2008-06-19 | Paper |
Strategies and simulations in a semantic framework | 2007-11-30 | 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 |
Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
Executable structural operational semantics in Maude | 2006-04-28 | Paper |
Two case studies of semantics execution in Maude: CCS and LOTOS | 2006-02-20 | Paper |
Recent Trends in Algebraic Development Techniques | 2005-11-11 | Paper |
Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
A Verification Logic for Rewriting Logic | 2005-07-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4447224 | 2004-02-16 | Paper |
Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic | 2003-08-27 | Paper |
Rewriting logic: Roadmap and bibliography | 2002-09-10 | Paper |
Maude: specification and programming in rewriting logic | 2002-08-13 | Paper |
A Maude specification of an object-oriented model for telecommunication networks | 2002-08-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4536607 | 2002-06-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q2722043 | 2001-07-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q2703706 | 2001-05-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q2703708 | 2001-05-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q2703710 | 2001-05-07 | Paper |
Inclusions and subtypes II: higher-order case | 2000-02-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4246796 | 2000-02-08 | Paper |
Inclusions and subtypes I: first-order case | 1999-11-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4222979 | 1999-01-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4222994 | 1999-01-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4222859 | 1998-12-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4222867 | 1998-12-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4698614 | 1995-07-27 | Paper |
FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY | 1993-01-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q3975037 | 1992-06-26 | Paper |
From Petri nets to linear logic | 1992-06-25 | Paper |