| 2008 |
|---|
| 76 | EE | Adrián Riesco,
Alberto Verdejo,
Narciso Martí-Oliet,
Rafael Caballero:
A Declarative Debugger for Maude.
AMAST 2008: 116-121 |
| 75 | EE | Rafael Caballero,
Narciso Martí-Oliet,
Adrián Riesco,
Alberto Verdejo:
Declarative Debugging of Membership Equational Logic Specifications.
Concurrency, Graphs and Models 2008: 174-193 |
| 74 | EE | Narciso Martí-Oliet,
José Meseguer,
Miguel Palomino:
Algebraic Stuttering Simulations.
Electr. Notes Theor. Comput. Sci. 206: 91-110 (2008) |
| 73 | EE | José Meseguer,
Miguel Palomino,
Narciso Martí-Oliet:
Equational abstractions.
Theor. Comput. Sci. 403(2-3): 239-264 (2008) |
| 2007 |
|---|
| 72 | | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic
Springer 2007 |
| 71 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Introduction.
All About Maude 2007: 1-28 |
| 70 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
A Hierarchy of Data Types: From Trees to Sets.
All About Maude 2007: 119-129 |
| 69 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
System Modules.
All About Maude 2007: 131-157 |
| 68 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott,
Miguel Palomino,
Alberto Verdejo:
Playing with Maude.
All About Maude 2007: 159-184 |
| 67 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Module Operations.
All About Maude 2007: 185-230 |
| 66 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Predefined Data Modules.
All About Maude 2007: 231-305 |
| 65 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott,
Miguel Palomino,
Alberto Verdejo:
Specifying Parameterized Data Structures in Maude.
All About Maude 2007: 307-338 |
| 64 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Using Maude.
All About Maude 2007: 31-37 |
| 63 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Object-Based Programming.
All About Maude 2007: 339-372 |
| 62 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Model Checking Invariants Through Search.
All About Maude 2007: 373-384 |
| 61 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
LTL Model Checking.
All About Maude 2007: 385-418 |
| 60 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Syntax and Basic Parsing.
All About Maude 2007: 39-59 |
| 59 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Reflection, Metalevel Computation, and Strategies.
All About Maude 2007: 419-458 |
| 58 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Metaprogramming Applications.
All About Maude 2007: 459-483 |
| 57 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott,
Adrián Riesco,
Alberto Verdejo:
Mobile Maude.
All About Maude 2007: 485-522 |
| 56 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
User Interfaces and Metalanguage Applications.
All About Maude 2007: 523-555 |
| 55 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Full Maude: Extending Core Maude.
All About Maude 2007: 559-597 |
| 54 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Object-Oriented Modules.
All About Maude 2007: 599-642 |
| 53 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Functional Modules.
All About Maude 2007: 61-118 |
| 52 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
A Sampler of Application Areas.
All About Maude 2007: 645-665 |
| 51 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott,
Christiano Braga,
Azadeh Farzan,
Joe Hendrix,
Peter Csaba Ölveczky,
Miguel Palomino,
Ralf Sasse,
Mark-Oliver Stehr,
Alberto Verdejo:
Some Tools.
All About Maude 2007: 667-693 |
| 50 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Debugging and Troubleshooting.
All About Maude 2007: 697-736 |
| 49 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Complete List of Maude Commands.
All About Maude 2007: 737-749 |
| 48 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Core Maude Grammar.
All About Maude 2007: 751-756 |
| 47 | EE | Steven Eker,
Narciso Martí-Oliet,
José Meseguer,
Alberto Verdejo:
Deduction, Strategies, and Rewriting.
Electr. Notes Theor. Comput. Sci. 174(11): 3-25 (2007) |
| 46 | EE | Narciso Martí-Oliet,
Grigore Rosu,
Carolyn L. Talcott:
Editorial.
Higher-Order and Symbolic Computation 20(1-2): 1-2 (2007) |
| 45 | EE | Narciso Martí-Oliet,
Miguel Palomino,
Alberto Verdejo:
Strategies and simulations in a semantic framework.
J. Algorithms 62(3-4): 95-116 (2007) |
| 2006 |
|---|
| 44 | EE | Horatiu Cirstea,
Narciso Martí-Oliet:
Preface.
Electr. Notes Theor. Comput. Sci. 147(1): 1-3 (2006) |
| 43 | EE | Alberto Verdejo,
Narciso Martí-Oliet:
Executable structural operational semantics in Maude.
J. Log. Algebr. Program. 67(1-2): 226-293 (2006) |
| 2005 |
|---|
| 42 | EE | Miguel Palomino,
José Meseguer,
Narciso Martí-Oliet:
A Categorical Approach to Simulations.
CALCO 2005: 313-330 |
| 41 | EE | Alberto Verdejo,
Narciso Martí-Oliet,
Tomás Robles,
Joaquín Salvachúa,
Luis Llana,
Margarita Bradley:
Transforming Information in RDF to Rewriting Logic.
FMOODS 2005: 227-242 |
| 40 | EE | Narciso Martí-Oliet:
Preface.
Electr. Notes Theor. Comput. Sci. 117: 1-4 (2005) |
| 39 | EE | Narciso Martí-Oliet,
José Meseguer,
Alberto Verdejo:
Towards a Strategy Language for Maude.
Electr. Notes Theor. Comput. Sci. 117: 417-441 (2005) |
| 38 | EE | Miguel Palomino,
Narciso Martí-Oliet,
Alberto Verdejo:
Playing with Maude.
Electr. Notes Theor. Comput. Sci. 124(1): 3-23 (2005) |
| 37 | EE | Narciso Martí-Oliet,
Miguel Palomino,
Alberto Verdejo:
A Tutorial on Specifying Data Structures in Maude.
Electr. Notes Theor. Comput. Sci. 137(1): 105-132 (2005) |
| 36 | EE | Alberto Verdejo,
Narciso Martí-Oliet:
Two Case Studies of Semantics Execution in Maude: CCS and LOTOS.
Formal Methods in System Design 27(1-2): 113-172 (2005) |
| 35 | EE | Narciso Martí-Oliet,
Isabel Pita,
José Luiz Fiadeiro,
José Meseguer,
T. S. E. Maibaum:
A Verification Logic for Rewriting Logic.
J. Log. Comput. 15(3): 317-352 (2005) |
| 2004 |
|---|
| 34 | EE | Manuel Clavel,
Narciso Martí-Oliet,
Miguel Palomino:
Formalizing and Proving Semantic Relations between Specifications by Reflection.
AMAST 2004: 72-86 |
| 33 | EE | Narciso Martí-Oliet,
José Meseguer,
Miguel Palomino:
Theoroidal Maps as Algebraic Simulations.
WADT 2004: 126-143 |
| 2003 |
|---|
| 32 | EE | José Meseguer,
Miguel Palomino,
Narciso Martí-Oliet:
Equational Abstractions.
CADE 2003: 2-16 |
| 31 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
The Maude 2.0 System.
RTA 2003: 76-87 |
| 30 | EE | Alberto Verdejo,
Isabel Pita,
Narciso Martí-Oliet:
Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic.
Formal Asp. Comput. 14(3): 228-246 (2003) |
| 2002 |
|---|
| 29 | EE | Prasanna Thati,
Koushik Sen,
Narciso Martí-Oliet:
An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0.
Electr. Notes Theor. Comput. Sci. 71: (2002) |
| 28 | EE | Alberto Verdejo,
Narciso Martí-Oliet:
Implementing CCS in Maude 2.
Electr. Notes Theor. Comput. Sci. 71: (2002) |
| 27 | EE | Narciso Martí-Oliet:
Review of the paper `Concurrent Systems Analysis Using ECATNets' by F. Belala.
Logic Journal of the IGPL 10(4): 453-455 (2002) |
| 26 | EE | Narciso Martí-Oliet,
José Meseguer:
Preface.
Theor. Comput. Sci. 285(2): 119-120 (2002) |
| 25 | EE | Narciso Martí-Oliet,
José Meseguer:
Rewriting logic: roadmap and bibliography.
Theor. Comput. Sci. 285(2): 121-154 (2002) |
| 24 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Jose F. Quesada:
Maude: specification and programming in rewriting logic.
Theor. Comput. Sci. 285(2): 187-243 (2002) |
| 23 | EE | Isabel Pita,
Narciso Martí-Oliet:
A Maude specification of an object-oriented model for telecommunication networks.
Theor. Comput. Sci. 285(2): 407-439 (2002) |
| 2000 |
|---|
| 22 | EE | Roberto Bruni,
David de Frutos-Escrig,
Narciso Martí-Oliet,
Ugo Montanari:
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic.
CONCUR 2000: 259-274 |
| 21 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Jose F. Quesada:
Using Maude.
FASE 2000: 371-374 |
| 20 | | Alberto Verdejo,
Narciso Martí-Oliet:
Implementing CCS in Maude.
FORTE 2000: 351-366 |
| 19 | EE | Manuel Clavel,
Francisco Durán,
Narciso Martí-Oliet:
Polytypic Programming in Maude.
Electr. Notes Theor. Comput. Sci. 36: (2000) |
| 18 | EE | Alberto Verdejo,
Isabel Pita,
Narciso Martí-Oliet:
The Leader Election Protocol of IEEE 1394 in Maude.
Electr. Notes Theor. Comput. Sci. 36: (2000) |
| 17 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Jose F. Quesada:
Towards Maude 2.0.
Electr. Notes Theor. Comput. Sci. 36: (2000) |
| 1999 |
|---|
| 16 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Jose F. Quesada:
The Maude System.
RTA 1999: 240-243 |
| 15 | | José Luiz Fiadeiro,
T. S. E. Maibaum,
Narciso Martí-Oliet,
José Meseguer,
Isabel Pita:
Towards a Verification Logic for Rewriting Logic.
WADT 1999: 438-458 |
| 1998 |
|---|
| 14 | EE | Isabel Pita,
Narciso Martí-Oliet:
Using Reflection to Specify Transaction Sequences in Rewriting Logic.
WADT 1998: 261-276 |
| 13 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Jose F. Quesada:
Maude as a metalanguage.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
| 12 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer:
Metalevel computation in Maude.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
| 1997 |
|---|
| 11 | | Isabel Pita,
Narciso Martí-Oliet:
Using Reflection to Specify Transaction Sequences in Rewriting Logic.
APPIA-GULP-PRODE 1997: 369-380 |
| 10 | | Narciso Martí-Oliet:
Rewriting logic and its applications.
APPIA-GULP-PRODE 1997: 5-8 |
| 1996 |
|---|
| 9 | EE | Isabel Pita,
Narciso Martí-Oliet:
A Maude specification of an object-oriented database model for telecommunication networks.
Electr. Notes Theor. Comput. Sci. 4: (1996) |
| 8 | EE | Narciso Martí-Oliet,
José Meseguer:
Rewriting logic as a logical and semantic framework.
Electr. Notes Theor. Comput. Sci. 4: (1996) |
| 7 | | Narciso Martí-Oliet,
José Meseguer:
Inclusions and Subtypes I: First-Order Case.
J. Log. Comput. 6(3): 409-438 (1996) |
| 6 | | Narciso Martí-Oliet,
José Meseguer:
Inclusions and Subtypes II: Higher-Order Case.
J. Log. Comput. 6(4): 541-572 (1996) |
| 1994 |
|---|
| 5 | | José Meseguer,
Narciso Martí-Oliet:
From Abstract Data Types to Logical Frameworks.
COMPASS/ADT 1994: 48-80 |
| 4 | | Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Livio Ricciulli:
Compiling Rewriting onto SIMD and MIMD/SIMD Maschines.
PARLE 1994: 37-48 |
| 1991 |
|---|
| 3 | | Narciso Martí-Oliet,
José Meseguer:
From Petri Nets to Linear Logic through Categories: A Survey.
Int. J. Found. Comput. Sci. 2(4): 297-399 (1991) |
| 2 | | Narciso Martí-Oliet,
José Meseguer:
From Petri Nets to Linear Logic.
Mathematical Structures in Computer Science 1(1): 69-101 (1991) |
| 1989 |
|---|
| 1 | | Narciso Martí-Oliet,
José Meseguer:
From Petri Nets to Linear Logic.
Category Theory and Computer Science 1989: 313-340 |
