| Publication | Date of Publication | Type |
|---|
DM-check: verifying invariants of concurrent systems by deductive model checking
Journal of Logical and Algebraic Methods in Programming | 2026-03-09 | Paper |
Inductive reasoning with equality predicates, contextual rewriting and variant-based simplification
Journal of Logical and Algebraic Methods in Programming | 2025-03-20 | Paper |
| PMaude: rewrite-based specification language for probabilistic object systems | 2025-03-11 | Paper |
| Building correct-by-construction systems with formal patterns | 2024-06-26 | Paper |
Automatic analysis of consistency properties of distributed transaction systems in Maude
Tools and Algorithms for the Construction and Analysis of Systems | 2023-11-24 | Paper |
Homeomorphic embedding modulo combinations of associativity and commutativity axioms
Lecture Notes in Computer Science | 2023-11-09 | Paper |
Optimizing Maude programs via program specialization
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | 2023-08-17 | Paper |
The Maude strategy language
Journal of Logical and Algebraic Methods in Programming | 2023-08-08 | 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 |
Compiling concurrent rewriting onto the Rewrite Rule Machine
Conditional and Typed Rewriting Systems | 2023-03-09 | Paper |
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
1517.68167 | 2022-12-22 | Paper |
Variant Satisfiability of Parameterized Strings
1517.68165 | 2022-12-22 | Paper |
Verification of the IBOS Browser Security Properties in Reachability Logic
1517.68254 | 2022-12-22 | Paper |
Variants in the Infinitary Unification Wonderland
1517.68164 | 2022-12-22 | Paper |
| Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) | 2022-12-07 | Paper |
| On Ground Convergence and Completeness of Conditional Equational Program Hierarchies | 2022-12-07 | Paper |
From Petri nets to linear logic
Category Theory and Computer Science | 2022-08-16 | Paper |
Temporal structures
Category Theory and Computer Science | 2022-08-16 | Paper |
| Protocol analysis with time and space | 2022-07-13 | Paper |
Protocol analysis with time
(available as arXiv preprint) | 2022-07-06 | Paper |
Order-sorted equational generalization algorithm revisited
Annals of Mathematics and Artificial Intelligence | 2022-05-04 | Paper |
Order-sorted homeomorphic embedding modulo combinations of associativity and/or commutativity axioms
Fundamenta Informaticae | 2021-05-20 | Paper |
The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques
Journal of Automated Reasoning | 2021-02-17 | Paper |
A constructor-based reachability logic for rewrite theories
Fundamenta Informaticae | 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
Journal of Logical and Algebraic Methods in Programming | 2020-01-31 | Paper |
A partial evaluation framework for order-sorted equational programs modulo axioms
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 |
Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
Formal Aspects of Computing | 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
(available as arXiv preprint) | 2018-09-06 | Paper |
Variant-based decidable satisfiability in initial algebras with predicates
(available as arXiv preprint) | 2018-09-06 | Paper |
The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors
Journal of Computer and System Sciences | 2018-06-06 | Paper |
Metalevel algorithms for variant satisfiability
Journal of Logical and Algebraic Methods in Programming | 2018-04-06 | Paper |
Strict coherence of conditional rewriting modulo axioms
Theoretical Computer Science | 2018-02-09 | Paper |
Partial evaluation of order-sorted equational programs modulo axioms
(available as arXiv preprint) | 2017-10-13 | Paper |
Reflective metalogical frameworks
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Equational formulas and pattern operations in initial order-sorted algebras
Formal Aspects of Computing | 2017-06-01 | Paper |
| Abstract logical model checking of infinite-state systems using narrowing | 2017-02-01 | Paper |
Normal forms and normal theories in conditional rewriting
Journal of Logical and Algebraic Methods in Programming | 2016-12-28 | Paper |
Modeling and analyzing mobile ad hoc networks in Real-Time Maude
Journal of Logical and Algebraic Methods in Programming | 2016-12-28 | Paper |
Dependency pairs for proving termination properties of conditional term rewriting systems
Journal of Logical and Algebraic Methods in Programming | 2016-11-30 | Paper |
Rewriting modulo SMT and open system analysis
Journal of Logical and Algebraic Methods in Programming | 2016-11-30 | Paper |
Metalevel algorithms for variant satisfiability
Rewriting Logic and Its Applications | 2016-10-21 | Paper |
Built-in variant generation and unification, and their applications in Maude 2.7
Automated Reasoning | 2016-09-05 | Paper |
Order-Sorted Rewriting and Congruence Closure
Lecture Notes in Computer Science | 2016-06-10 | Paper |
Methods for proving termination of rewriting-based programming languages by transformation
Electronic Notes in Theoretical Computer Science | 2016-05-20 | Paper |
Equational formulas and pattern operations in initial order-sorted algebras
Logic-Based Program Synthesis and Transformation | 2016-02-05 | Paper |
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories
Programming Languages with Applications to Biology and Security | 2016-01-08 | Paper |
Extending the 2D dependency pair framework for conditional term rewriting systems
Logic-Based Program Synthesis and Transformation | 2015-10-02 | Paper |
2D dependency pairs for proving operational termination of CTRSs
Rewriting Logic and Its Applications | 2015-09-09 | Paper |
Rewriting modulo SMT and open system analysis
Rewriting Logic and Its Applications | 2015-09-09 | Paper |
A framework for mobile ad hoc networks in Real-Time Maude
Rewriting Logic and Its Applications | 2015-09-09 | Paper |
Strong and weak operational termination of order-sorted rewrite theories
Rewriting Logic and Its Applications | 2015-09-09 | Paper |
Infinite-state model checking of LTLR formulas using narrowing
Rewriting Logic and Its Applications | 2015-09-09 | Paper |
Localized operational termination in general logics
Software, Services, and Systems | 2015-06-22 | Paper |
Formal analysis of leader election in MANETs using Real-Time Maude
Software, Services, and Systems | 2015-06-22 | Paper |
Executable rewriting logic semantics of Orc and formal analysis of Orc programs
Journal of Logical and Algebraic Methods in Programming | 2015-06-15 | Paper |
Order-sorted generalization
Electronic Notes in Theoretical Computer Science | 2015-04-09 | Paper |
Operational termination of membership equational programs: the order-sorted way
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Variant narrowing and equational unification
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
A rewriting semantics for Maude strategies
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
ACUOS: a system for modular ACU generalization with subtyping and inheritance
Logics in Artificial Intelligence | 2015-01-14 | Paper |
State space reduction in the Maude-NRL protocol analyzer
Information and Computation | 2014-10-20 | Paper |
Predicate abstraction of rewrite theories
Lecture Notes in Computer Science | 2014-07-24 | Paper |
A rewriting-based model checker for the linear temporal logic of rewriting
Electronic Notes in Theoretical Computer Science | 2014-06-27 | Paper |
Order-sorted equational unification revisited
Electronic Notes in Theoretical Computer Science | 2014-06-27 | 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 |
A modular order-sorted equational generalization algorithm
Information and Computation | 2014-03-13 | Paper |
A rewriting semantics for ABEL with applications to hardware/software co-design and analysis
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Partial order reduction for rewriting semantics of programming languages
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Abstraction and completeness for real-time Maude
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Narrowing and rewriting logic: from foundations to applications
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
The rewriting logic semantics project: a progress report
Information and Computation | 2014-01-16 | Paper |
| Algebraic stuttering simulations | 2014-01-10 | Paper |
A rewriting logic approach to operational semantics (extended abstract)
Electronic Notes in Theoretical Computer Science | 2014-01-10 | Paper |
Deduction, strategies, and rewriting
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Recent advances in real-time Maude
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| The rewriting logic semantics project | 2013-10-07 | Paper |
| The Maude LTL model checker | 2013-10-02 | Paper |
| Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic | 2013-10-02 | Paper |
| Tiling transactions in rewriting logic | 2013-10-02 | Paper |
| Modular rewriting semantics in practice | 2013-09-20 | Paper |
| Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols | 2013-09-20 | Paper |
Statistical model checking for composite actor systems
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
Towards behavioral Maude: behavioral membership equational logic
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
Asymmetric unification: a new unification paradigm for cryptographic protocol analysis
Automated Deduction – CADE-24 | 2013-06-14 | Paper |
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Twenty years of rewriting logic
The Journal of Logic and Algebraic Programming | 2013-01-16 | Paper |
Rewriting semantics of production rule sets
The Journal of Logic and Algebraic Programming | 2013-01-16 | 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 |
Folding variant narrowing and optimal variant termination
The Journal of Logic and Algebraic Programming | 2013-01-16 | Paper |
Order-sorted equality enrichments modulo axioms
Rewriting Logic and Its Applications | 2012-10-16 | Paper |
Model checking LTLR formulas under localized fairness
Rewriting Logic and Its Applications | 2012-10-16 | Paper |
Formalization and correctness of the PALS architectural pattern for distributed real-time systems
Theoretical Computer Science | 2012-10-11 | Paper |
| Variants, unification, narrowing, and symbolic reachability in Maude 2.6 | 2012-04-24 | Paper |
Proving Safety Properties of Rewrite Theories
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
The rewriting logic semantics project: a progress report
Fundamentals of Computation Theory | 2011-08-19 | Paper |
\texttt{vlogsl}: a strategy language for simulation-based verification of hardware
Hardware and Software: Verification and Testing | 2011-04-06 | Paper |
Pure type systems in rewriting logic: specifying typed higher-order languages in a first-order logical framework
From Object-Orientation to Formal Methods | 2011-04-01 | Paper |
Mapping modular SOS to rewriting logic
Logic Based Program Synthesis and Transformation | 2011-03-04 | Paper |
A dependency pair framework for \(A \vee C\)-termination
Rewriting Logic and Its Applications | 2010-10-12 | Paper |
Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits
Rewriting Logic and Its Applications | 2010-10-12 | Paper |
Folding Variant Narrowing and Optimal Variant Termination
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 |
Twenty years of rewriting logic
Rewriting Logic and Its Applications | 2010-10-12 | Paper |
A Formal Pattern Architecture for Safe Medical Systems
Rewriting Logic and Its Applications | 2010-10-12 | Paper |
The Linear Temporal Logic of Rewriting Maude Model Checker
Rewriting Logic and Its Applications | 2010-10-12 | Paper |
Constructors, sufficient completeness, and deadlock freedom of rewrite theories
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
Coverset induction with partiality and subsorts: a powerlist case study
Interactive Theorem Proving | 2010-09-14 | Paper |
An algebraic semantics for MOF
Formal Aspects of Computing | 2010-05-28 | Paper |
Automated Deduction – CADE-19
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Algebraic theories for contextual pre-nets.
Lecture Notes in Computer Science | 2010-02-23 | Paper |
Algebraic simulations
The Journal of Logic and Algebraic Programming | 2010-02-05 | Paper |
A rewriting based model for probabilistic distributed object systems.
Lecture Notes in Computer Science | 2010-01-12 | Paper |
Termination Modulo Combinations of Equational Theories
Frontiers of Combining Systems | 2010-01-07 | Paper |
Operational termination of conditional term rewriting systems
Information Processing Letters | 2009-12-04 | Paper |
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
Foundations of Security Analysis and Design V | 2009-10-22 | Paper |
What Is a Multi-modeling Language?
Recent Trends in Algebraic Development Techniques | 2009-10-22 | Paper |
Order-Sorted Parameterization and Induction
Semantics and Algebraic Specification | 2009-10-22 | Paper |
| scientific article; zbMATH DE number 5605104 (Why is no real title available?) | 2009-09-19 | Paper |
Proving operational termination of membership equational programs
Higher-Order and Symbolic Computation | 2009-08-04 | Paper |
State Space Reduction of Rewrite Theories Using Invisible Transitions
Algebraic Methodology and Software Technology | 2009-04-28 | Paper |
A rewriting logic approach to operational semantics
Information and Computation | 2009-04-14 | Paper |
A Modular Equational Generalization Algorithm
Logic-Based Program Synthesis and Transformation | 2009-03-24 | Paper |
MTT: The Maude Termination Tool (System Description)
Automated Reasoning | 2008-11-27 | Paper |
Equational abstractions
Theoretical Computer Science | 2008-09-16 | Paper |
Effectively Checking the Finite Variant Property
Rewriting Techniques and Applications | 2008-08-28 | Paper |
The Temporal Logic of Rewriting: A Gentle Introduction
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Ugo Montanari in a Nutshell
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Termination of Fair Computations in Term Rewriting
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Termination of just/fair computations in term rewriting
Information and Computation | 2008-05-19 | Paper |
Theorem Proving Modulo Based on Boolean Equational Procedures
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
Natural Rewriting for General Term Rewriting Systems
Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
Symbolic Model Checking of Infinite-State Systems Using Narrowing
Lecture Notes in Computer Science | 2008-01-02 | Paper |
On the Completeness of Context-Sensitive Order-Sorted Specifications
Lecture Notes in Computer Science | 2008-01-02 | Paper |
Automated Reasoning
Lecture Notes in Computer Science | 2007-09-25 | Paper |
From OBJ to Maude and Beyond
Algebra, Meaning, and Computation | 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.
Lecture Notes in Computer Science | 2007-08-08 | Paper |
Maude's module algebra
Science of Computer Programming | 2007-05-23 | Paper |
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
Higher-Order and Symbolic Computation | 2007-05-21 | Paper |
Semantics and pragmatics of real-time maude
Higher-Order and Symbolic Computation | 2007-05-21 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
The rewriting logic semantics project
Theoretical Computer Science | 2007-04-19 | Paper |
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
Theoretical Computer Science | 2007-04-13 | Paper |
Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
Formal Methods in System Design | 2007-01-24 | Paper |
Complete symbolic reachability analysis using back-and-forth narrowing
Theoretical Computer Science | 2007-01-09 | Paper |
A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
Theoretical Computer Science | 2007-01-09 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Semantic foundations for generalized rewrite theories
Theoretical Computer Science | 2006-09-14 | Paper |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
Term Rewriting and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Term Rewriting and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Recent Trends in Algebraic Development Techniques
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Term Rewriting and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
A Verification Logic for Rewriting Logic
Journal Of Logic And Computation | 2005-07-13 | Paper |
Structured theories and institutions
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2089377 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2086653 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2080191 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2043522 (Why is no real title available?) | 2004-02-16 | Paper |
| scientific article; zbMATH DE number 2038715 (Why is no real title available?) | 2004-02-08 | Paper |
| scientific article; zbMATH DE number 1988959 (Why is no real title available?) | 2003-10-20 | Paper |
| scientific article; zbMATH DE number 1982209 (Why is no real title available?) | 2003-09-16 | Paper |
| scientific article; zbMATH DE number 1973125 (Why is no real title available?) | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1863394 (Why is no real title available?) | 2003-02-04 | Paper |
Functorial models for Petri nets
Information and Computation | 2003-01-14 | Paper |
Rewriting logic: Roadmap and bibliography
Theoretical Computer Science | 2002-09-10 | Paper |
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science | 2002-08-13 | Paper |
Reflection in conditional rewriting logic
Theoretical Computer Science | 2002-08-13 | Paper |
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
Mathematical Structures in Computer Science | 2002-05-14 | Paper |
| scientific article; zbMATH DE number 1696903 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1693530 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1617312 (Why is no real title available?) | 2001-07-11 | Paper |
| scientific article; zbMATH DE number 1615226 (Why is no real title available?) | 2001-07-08 | Paper |
| Towards Maude 2. 0 | 2001-05-07 | Paper |
| Rewriting semantics of meta-objects and composable distributed services | 2001-05-07 | Paper |
| Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems | 2001-05-07 | Paper |
| Parameterized theories and views in full Maude 2. 0 | 2001-05-07 | Paper |
| scientific article; zbMATH DE number 1515853 (Why is no real title available?) | 2001-05-06 | Paper |
| scientific article; zbMATH DE number 1538016 (Why is no real title available?) | 2001-03-06 | Paper |
| scientific article; zbMATH DE number 1497817 (Why is no real title available?) | 2001-03-04 | Paper |
| scientific article; zbMATH DE number 1497815 (Why is no real title available?) | 2001-03-04 | Paper |
| scientific article; zbMATH DE number 1569122 (Why is no real title available?) | 2001-02-22 | Paper |
Specification and proof in membership equational logic
Theoretical Computer Science | 2000-06-04 | Paper |
Inclusions and subtypes II: higher-order case
Journal Of Logic And Computation | 2000-02-28 | Paper |
| scientific article; zbMATH DE number 1301603 (Why is no real title available?) | 2000-02-08 | Paper |
| scientific article; zbMATH DE number 1361135 (Why is no real title available?) | 1999-12-20 | Paper |
Inclusions and subtypes I: first-order case
Journal Of Logic And Computation | 1999-11-23 | Paper |
| scientific article; zbMATH DE number 1342254 (Why is no real title available?) | 1999-09-22 | Paper |
| scientific article; zbMATH DE number 1333615 (Why is no real title available?) | 1999-09-19 | Paper |
| scientific article; zbMATH DE number 1302631 (Why is no real title available?) | 1999-06-16 | Paper |
| scientific article; zbMATH DE number 1231654 (Why is no real title available?) | 1999-01-07 | Paper |
| scientific article; zbMATH DE number 1231660 (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 |
| scientific article; zbMATH DE number 1231674 (Why is no real title available?) | 1999-01-07 | Paper |
| scientific article; zbMATH DE number 1231537 (Why is no real title available?) | 1998-12-20 | Paper |
| scientific article; zbMATH DE number 1231543 (Why is no real title available?) | 1998-12-20 | Paper |
| scientific article; zbMATH DE number 1231540 (Why is no real title available?) | 1998-12-20 | Paper |
| scientific article; zbMATH DE number 1231547 (Why is no real title available?) | 1998-12-20 | Paper |
| scientific article; zbMATH DE number 1189278 (Why is no real title available?) | 1998-10-26 | Paper |
| scientific article; zbMATH DE number 1189279 (Why is no real title available?) | 1998-08-13 | Paper |
May I borrow your logic? (Transporting logical structures along maps)
Theoretical Computer Science | 1998-07-22 | Paper |
| scientific article; zbMATH DE number 1101602 (Why is no real title available?) | 1998-01-28 | Paper |
On the semantics of place/transition Petri nets
Mathematical Structures in Computer Science | 1997-11-12 | Paper |
Process versus unfolding semantics for Place/Transition Petri nets
Theoretical Computer Science | 1997-02-28 | Paper |
Axiomatizing the algebra of net computations and processes
Acta Informatica | 1995-11-19 | Paper |
| scientific article; zbMATH DE number 753781 (Why is no real title available?) | 1995-07-27 | Paper |
Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
Information and Computation | 1993-06-29 | Paper |
Final algebras, cosemicomputable algebras and degrees of unsolvability
Theoretical Computer Science | 1993-01-17 | Paper |
FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY
International Journal of Foundations of Computer Science | 1993-01-16 | Paper |
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
Theoretical Computer Science | 1992-12-16 | Paper |
Temporal Structures
Mathematical Structures in Computer Science | 1992-09-26 | Paper |
Conditional rewriting logic as a unified model of concurrency
Theoretical Computer Science | 1992-09-26 | Paper |
| scientific article; zbMATH DE number 17706 (Why is no real title available?) | 1992-06-26 | Paper |
From Petri nets to linear logic
Mathematical Structures in Computer Science | 1992-06-25 | Paper |
Petri nets are monoids
Information and Computation | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4130339 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4191145 (Why is no real title available?) | 1989-01-01 | Paper |
Order-sorted unification
Journal of Symbolic Computation | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4060701 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4090765 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4018380 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4043232 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4043231 (Why is no real title available?) | 1987-01-01 | Paper |
On the Axiomatization of “If-Then-Else”
SIAM Journal on Computing | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3970817 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3911679 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3949706 (Why is no real title available?) | 1985-01-01 | Paper |
Equality, types, modules, and (why not?) generics for logic programming
The Journal of Logic Programming | 1984-01-01 | Paper |
Equality, types, modules, and (why not?) generics for logic programming
The Journal of Logic Programming | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3912515 (Why is no real title available?) | 1984-01-01 | Paper |
Correctness of recursive parallel nondeterministic flow programs
Journal of Computer and System Sciences | 1983-01-01 | Paper |
Order completion monads
Algebra Universalis | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3776831 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3784848 (Why is no real title available?) | 1982-01-01 | Paper |
Algebras with actions and automata
International Journal of Mathematics and Mathematical Sciences | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3763993 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3717461 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3774867 (Why is no real title available?) | 1981-01-01 | Paper |
Varieties of chain-complete algebras
Journal of Pure and Applied Algebra | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3574082 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3551855 (Why is no real title available?) | 1977-01-01 | Paper |
Primitive recursive algebraic theories and program schemes
Bulletin of the Australian Mathematical Society | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3548953 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3486019 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3520610 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3482239 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3486018 (Why is no real title available?) | 1975-01-01 | Paper |
