BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Cyprus
1 × Denmark
1 × France
1 × Germany
1 × Italy
1 × USA
1 × United Kingdom
2 × Spain
Collaborated with:
J.Meseguer A.Verdejo I.Pita F.Durán M.Clavel A.Riesco S.Eker M.Palomino P.Lincoln R.Caballero J.F.Quesada L.Aguirre C.L.Talcott P.Thati K.Sen S.Escobar
Talks about:
maud (23) rewrit (7) logic (7) specif (6) declar (4) semant (3) narrow (3) debug (3) bibliographi (2) telecommun (2)

Person: Narciso Martí-Oliet

DBLP DBLP: Mart=iacute=-Oliet:Narciso

Facilitated 4 volumes:

WRLA 2010Ed
WRLA 2004Ed
WRLA 2004Ed
WRLA 1996Ed

Contributed to:

WRLA 20142014
LOPSTR 20112011
PADL 20102010
RTA 20102010
WRLA 20102010
WRLA 20102012
RTA 20092009
WRLA 20082009
WRLA 20042005
CADE 20032003
RTA 20032003
WRLA 20022002
FASE 20002000
WRLA 20002000
RTA 19991999
WRLA 19981998
WRLA 19961996
WRLA 19962002
IJCAR 20162016
PPDP 20172017

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.