Person: Narciso Martí-Oliet

DBLP: Mart=iacute=-Oliet:Narciso

Facilitated 4 volumes:

Ed

Ed

Ed

Ed

Contributed to:

2014

2011

2010

2010

2010

2012

2009

2009

2005

2003

2003

2002

2000

2000

1999

1998

1996

2002

2016

2017

Wrote 29 papers:

WRLA-2014-AguirreMPP #logic #maude

Conditional Narrowing Modulo in Rewriting Logic and Maude (LA, NMO, MP, IP), pp. 80–96.

LOPSTR-2011-CaballeroRVM #debugging #declarative #maude #proving

Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees (RC, AR, AV, NMO), pp. 73–89.

PADL-2010-Marti-Oliet #maude

An Introduction to Maude and Some of Its Applications (NMO), pp. 4–9.

RTA-2010-RiescoVM #debugging #declarative #maude

Declarative Debugging of Missing Answers for Maude (AR, AV, NMO), pp. 277–294.

WRLA-2010-RiescoVM #debugging #maude #specification

Enhancing the Debugging of Maude Specifications (AR, AV, NMO), pp. 226–242.

WRLA-J-2010-Marti-OlietPV12 #logic #overview #topic

Rewriting logic bibliography by topic: 1990-2011 (NMO, MP, AV), pp. 782–815.

WRLA-J-2010-RiescoVMC12 #debugging #declarative #logic #specification

Declarative debugging of rewriting logic specifications (AR, AV, NMO, RC), pp. 851–897.

RTA-2009-ClavelDEELMMT #maude #unification

Unification and Narrowing in Maude 2.4 (MC, FD, SE, SE, PL, NMO, JM, CLT), pp. 380–390.

WRLA-2008-CaballeroMRV09 #debugging #declarative #functional #maude

A Declarative Debugger for Maude Functional Modules (RC, NMO, AR, AV), pp. 63–81.

WRLA-2008-Marti-OlietMV09 #maude #semantics

A Rewriting Semantics for Maude Strategies (NMO, JM, AV), pp. 227–247.

WRLA-2004-Marti-OlietMV05 #maude #towards

Towards a Strategy Language for Maude (NMO, JM, AV), pp. 417–441.

CADE-2003-MeseguerPM #abstraction #equation

Equational Abstractions (JM, MP, NMO), pp. 2–16.

RTA-2003-ClavelDELMMT #maude

The Maude 2.0 System (MC, FD, SE, PL, NMO, JM, CLT), pp. 76–87.

WRLA-2002-ThatiSM #execution #maude #semantics #specification #testing #π-calculus

An Executable Specification of Asynchronous π-Calculus Semantics and May Testing in Maude 2.0 (PT, KS, NMO), pp. 261–281.

WRLA-2002-VerdejoM #implementation #maude

Implementing CCS in Maude 2 (AV, NMO), pp. 282–300.

FASE-2000-ClavelDELMMQ #maude #using

Using Maude (MC, FD, SE, PL, NMO, JM, JFQ), pp. 371–374.

WRLA-2000-ClavelDELMMQ #maude #towards

Towards Maude 2.0 (MC, FD, SE, PL, NMO, JM, JFQ), pp. 294–315.

WRLA-2000-ClavelDM #maude #programming

Polytypic Programming in Maude (MC, FD, NMO), pp. 339–360.

WRLA-2000-VerdejoPM #maude #protocol

The Leader Election Protocol of IEEE 1394 in Maude (AV, IP, NMO), pp. 383–404.

RTA-1999-ClavelDELMMQ #maude

The Maude System (MC, FD, SE, PL, NMO, JM, JFQ), pp. 240–243.

WRLA-1998-ClavelDELMM #maude

Metalevel computation in Maude (MC, FD, SE, PL, NMO, JM), pp. 331–352.

WRLA-1998-ClavelDELMMQ #maude #metalanguage

Maude as a metalanguage (MC, FD, SE, PL, NMO, JM, JFQ), pp. 147–160.

RWLW-1996-Marti-OlietM #framework #logic #semantics

Rewriting logic as a logical and semantic framework (NMO, JM), pp. 190–225.

RWLW-1996-PitaM #database #maude #network #object-oriented #specification

A Maude specification of an object-oriented database model for telecommunication networks (IP, NMO), pp. 405–423.

WRLA-J-1996-ClavelDELMMQ02 #logic #maude #named #programming #specification

Maude: specification and programming in rewriting logic (MC, FD, SE, PL, NMO, JM, JFQ), pp. 187–243.

WRLA-J-1996-Marte-OlietM02 #logic #overview #roadmap

Rewriting logic: roadmap and bibliography (NMO, JM), pp. 121–154.

WRLA-J-1996-PitaM02 #maude #network #object-oriented #specification

A Maude specification of an object-oriented model for telecommunication networks (IP, NMO), pp. 407–439.

IJCAR-2016-DuranEEMMT #generative #maude #unification

Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (FD, SE, SE, NMO, JM, CLT), pp. 183–192.

PPDP-2017-AguirreMPP #axiom #smt

Conditional narrowing modulo SMT and axioms (LA, NMO, MP, IP), pp. 17–28.