Narciso Martí-Oliet

	2009
80		Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Unification and Narrowing in Maude 2.4. RTA 2009: 380-390
79		Narciso Martí-Oliet, José Meseguer, Alberto Verdejo: A Rewriting Semantics for Maude Strategies. Electr. Notes Theor. Comput. Sci. 238(3): 227-247 (2009)
78		Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo: A Declarative Debugger for Maude Functional Modules. Electr. Notes Theor. Comput. Sci. 238(3): 63-81 (2009)
	2008
77		Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero: A Declarative Debugger for Maude. AMAST 2008: 116-121
76		Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo: Declarative Debugging of Membership Equational Logic Specifications. Concurrency, Graphs and Models 2008: 174-193
75		Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet: Declarative Debugging of Rewriting Logic Specifications. WADT 2008: 308-325
74		Narciso Martí-Oliet, José Meseguer, Miguel Palomino: Algebraic Stuttering Simulations. Electr. Notes Theor. Comput. Sci. 206: 91-110 (2008)
73		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		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		Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo: Deduction, Strategies, and Rewriting. Electr. Notes Theor. Comput. Sci. 174(11): 3-25 (2007)
46		Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 20(1-2): 1-2 (2007)
45		Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo: Strategies and simulations in a semantic framework. J. Algorithms 62(3-4): 95-116 (2007)
	2006
44		Horatiu Cirstea, Narciso Martí-Oliet: Preface. Electr. Notes Theor. Comput. Sci. 147(1): 1-3 (2006)
43		Alberto Verdejo, Narciso Martí-Oliet: Executable structural operational semantics in Maude. J. Log. Algebr. Program. 67(1-2): 226-293 (2006)
	2005
42		Miguel Palomino, José Meseguer, Narciso Martí-Oliet: A Categorical Approach to Simulations. CALCO 2005: 313-330
41		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		Narciso Martí-Oliet: Preface. Electr. Notes Theor. Comput. Sci. 117: 1-4 (2005)
39		Narciso Martí-Oliet, José Meseguer, Alberto Verdejo: Towards a Strategy Language for Maude. Electr. Notes Theor. Comput. Sci. 117: 417-441 (2005)
38		Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo: Playing with Maude. Electr. Notes Theor. Comput. Sci. 124(1): 3-23 (2005)
37		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		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		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		Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino: Formalizing and Proving Semantic Relations between Specifications by Reflection. AMAST 2004: 72-86
33		Narciso Martí-Oliet, José Meseguer, Miguel Palomino: Theoroidal Maps as Algebraic Simulations. WADT 2004: 126-143
	2003
32		José Meseguer, Miguel Palomino, Narciso Martí-Oliet: Equational Abstractions. CADE 2003: 2-16
31		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		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		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		Alberto Verdejo, Narciso Martí-Oliet: Implementing CCS in Maude 2. Electr. Notes Theor. Comput. Sci. 71: (2002)
27		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		Narciso Martí-Oliet, José Meseguer: Preface. Theor. Comput. Sci. 285(2): 119-120 (2002)
25		Narciso Martí-Oliet, José Meseguer: Rewriting logic: roadmap and bibliography. Theor. Comput. Sci. 285(2): 121-154 (2002)
24		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		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		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		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		Manuel Clavel, Francisco Durán, Narciso Martí-Oliet: Polytypic Programming in Maude. Electr. Notes Theor. Comput. Sci. 36: (2000)
18		Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet: The Leader Election Protocol of IEEE 1394 in Maude. Electr. Notes Theor. Comput. Sci. 36: (2000)
17		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		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		Isabel Pita, Narciso Martí-Oliet: Using Reflection to Specify Transaction Sequences in Rewriting Logic. WADT 1998: 261-276
13		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		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		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		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

Coauthor Index

1	Margarita Bradley	[41]
2	Christiano Braga (Christiano de O. Braga)	[51]
3	Roberto Bruni	[22]
4	Rafael Caballero	[75] [76] [77] [78]
5	Horatiu Cirstea	[44]
6	Manuel Clavel	[12] [13] [16] [17] [19] [21] [24] [31] [34] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [80]
7	Francisco Durán	[12] [13] [16] [17] [19] [21] [24] [31] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [80]
8	Steven Eker	[12] [13] [16] [17] [21] [24] [31] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [80]
9	Santiago Escobar	[80]
10	Azadeh Farzan	[51]
11	José Luiz Fiadeiro	[15] [35]
12	David de Frutos-Escrig	[22]
13	Joe Hendrix	[51]
14	Patrick Lincoln	[4] [12] [13] [16] [17] [21] [24] [31] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [80]
15	Luis Llana	[41]
16	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[15] [35]
17	José Meseguer	[1] [2] [3] [4] [5] [6] [7] [8] [12] [13] [15] [16] [17] [21] [24] [25] [26] [31] [32] [33] [35] [39] [42] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [79] [80]
18	Ugo Montanari	[22]
19	Peter Csaba Ölveczky	[51]
20	Miguel Palomino	[32] [33] [34] [37] [38] [42] [45] [51] [65] [68] [73] [74]
21	Isabel Pita	[9] [11] [14] [15] [18] [23] [30] [35]
22	Jose F. Quesada	[13] [16] [17] [21] [24]
23	Livio Ricciulli	[4]
24	Adrián Riesco	[57] [75] [76] [77] [78]
25	Tomás Robles	[41]
26	Grigore Rosu	[46]
27	Joaquín Salvachúa	[41]
28	Ralf Sasse	[51]
29	Koushik Sen	[29]
30	Mark-Oliver Stehr	[51]
31	Carolyn L. Talcott	[31] [46] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [80]
32	Prasanna Thati (Prasannaa Thati)	[29]
33	Alberto Verdejo	[18] [20] [28] [30] [36] [37] [38] [39] [41] [43] [45] [47] [51] [57] [65] [68] [75] [76] [77] [78] [79]

Colors in the list of coauthors