Search filters

List of works by Narciso Martí Oliet

A Complete Declarative Debugger for Maude

scientific article published in 2011

A Declarative Debugger for Maude

A Declarative Debugger for Maude Functional Modules

scientific article published in June 2009

A Maude specification of an object-oriented database model for telecommunication networks

scientific article published in 1996

A Maude specification of an object-oriented model for telecommunication networks

scientific article published in August 2002

A Rewriting Semantics for Maude Strategies

scientific article published in June 2009

A Tutorial on Specifying Data Structures in Maude

scientific article published in July 2005

A Verification Logic for Rewriting Logic

scientific article published in June 2005

Algebraic Stuttering Simulations

scientific article published in April 2008

Algebraic simulations

scientific article published in February 2010

An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0

scientific article published in April 2004

An Introduction to Maude and Some of Its Applications

scientific article published in 2010

Associative Unification and Symbolic Reasoning Modulo Associativity in Maude

scientific article published in 2018

Basic completion strategies as another application of the Maude strategy language

scientific article published on 24 April 2012

Built-in Variant Generation and Unification, and Their Applications in Maude 2.7

scientific article published in 2016

Compositional Specification in Rewriting Logic

scientific article published on 9 October 2019

Conditional Narrowing Modulo in Rewriting Logic and Maude

scientific article published in 2014

Conditional narrowing modulo SMT and axioms

scientific article published on 9 October 2017

Declarative Debugging of Membership Equational Logic Specifications

scientific article published in 2008

Declarative Debugging of Rewriting Logic Specifications

scientific article published in 2009

Declarative debugging of rewriting logic specifications

scientific article published in October 2012

Deduction, Strategies, and Rewriting

scientific article published in July 2007

Editorial

scientific article published on 17 February 2007

Egalitarian State-Transition Systems

scientific article published in 2016

Enhancing the Debugging of Maude Specifications

scientific article published in 2010

Equational Abstractions in Rewriting Logic and Maude

scientific article published in 2015

Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)

scientific article published in 2022

Equational abstractions

scientific article published in August 2008

Executable structural operational semantics in Maude

scientific article published in April 2006

Generalization and completeness of stochastic local search algorithms

scientific article published in February 2022

Implementing CCS in Maude 2

scientific article published in April 2004

José Meseguer: Scientist and Friend Extraordinaire

scientific article published in 2015

Metalevel transformation of strategies

scientific article published in January 2022

Model Checking TLR* Guarantee Formulas on Infinite Systems

scientific article published in 2014

Model checking strategy-controlled systems in rewriting logic

scientific article published on 8 December 2021

Parameterized Metareasoning in Membership Equational Logic

scientific article published in 2011

Parameterized Programming for Compositional System Specification

scientific article published in 2018

Parameterized Strategies Specification in Maude

scientific article published in 2019

Playing with Maude

scientific article published in March 2005

Polytypic Programming in Maude

scientific article published in 2000

Preface

Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012)

scientific article published in March 2015

Preface to SCP special issue with extended selected papers from SBMF 2014

scientific article published in September 2016

Programming Open Distributed Systems in Maude

scientific article published on 04 September 2024

Programming and symbolic computation in Maude

scientific article published in January 2020

QMaude: Quantitative Specification and Verification in Rewriting Logic

scientific article published in 2023

Rewriting logic bibliography by topic: 1990–2011

scientific article published in October 2012

Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

scientific article published on 6 June 2017

Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

scientific article published in 2015

Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees

scientific article published in 2012

Simulating and model checking membrane systems using strategies in Maude

scientific article published in January 2022

Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic

scientific article published in April 2003

Strategies and simulations in a semantic framework

scientific article published in July 2007

Strategies in Conditional Narrowing Modulo SMT Plus Axioms

scientific article published in 2023

Strategies, Model Checking and Branching-Time Properties in Maude

scientific article published in 2020

Strategies, model checking and branching-time properties in Maude

scientific article published in November 2021

Synchronous Products of Rewrite Systems

scientific article published in 2016

The Leader Election Protocol of IEEE 1394 in Maude

scientific article published in 2000

The Maude System

scientific article published in 1999

Towards Maude 2.0

scientific article published in 2000

Towards a Strategy Language for Maude

scientific article published in January 2005

Two Case Studies of Semantics Execution in Maude: CCS and LOTOS

scientific article published in September 2005

Two Decades of Maude

scientific article published in 2015

Unification and Narrowing in Maude 2.4

scientific article published in 2009

Using Reflection to Specify Transaction Sequences in Rewriting Logic

scientific article published in 1999