| Publication | Date of Publication | Type |
|---|
Strategies in conditional narrowing modulo SMT plus axioms
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | 2023-08-17 | Paper |
scientific article; zbMATH DE number 7319028 (Why is no real title available?)
| 2021-03-10 | Paper |
Equational characterization of covariant-contravariant simulation and conformance simulation semantics
| 2021-02-24 | Paper |
Sentence-normalized conditional narrowing modulo in rewriting logic and Maude
Journal of Automated Reasoning | 2018-08-09 | Paper |
On the unification of process semantics: equational semantics
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Conditional narrowing modulo in rewriting logic and Maude
Rewriting Logic and Its Applications | 2015-09-09 | Paper |
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
Solving Sudoku puzzles with rewriting rules
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Algebraic stuttering simulations
| 2014-01-10 | Paper |
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
| 2013-10-02 | Paper |
A tutorial on specifying data structures in Maude
| 2013-09-27 | Paper |
Proving modal properties of rewrite theories using Maude's metalevel
| 2013-09-27 | Paper |
Proving VLRL action properties with the Maude model checker
| 2013-09-20 | Paper |
Unifying the linear time-branching time spectrum of process semantics
Logical Methods in Computer Science | 2013-07-09 | Paper |
Rewriting logic bibliography by topic: 1990--2011
The Journal of Logic and Algebraic Programming | 2013-01-16 | Paper |
Relating modal refinements, covariant-contravariant simulations and partial bisimulations
Fundamentals of Software Engineering | 2012-06-29 | Paper |
Non-strongly stable orders also define interesting simulation relations
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Automated Deduction – CADE-19
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Algebraic simulations
The Journal of Logic and Algebraic Programming | 2010-02-05 | Paper |
Ready to preorder: an algebraic and general proof
The Journal of Logic and Algebraic Programming | 2009-09-29 | Paper |
On the Unification of Process Semantics: Observational Semantics
Lecture Notes in Computer Science | 2009-02-03 | Paper |
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
Equational abstractions
Theoretical Computer Science | 2008-09-16 | Paper |
Strategies and simulations in a semantic framework
Journal of Algorithms | 2007-11-30 | Paper |
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
Theoretical Computer Science | 2007-04-13 | Paper |
A comparison between two logical formalisms for rewriting
Theory and Practice of Logic Programming | 2007-03-23 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Recent Trends in Algebraic Development Techniques
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
