Narciso Martí-Oliet Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
e2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narciso Martí-Oliet, Miguel Palomino (Eds.): Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7841, Springer 2013, isbn 978-3-642-37634-4
2012
j38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narciso Martí-Oliet, Peter Csaba Ölveczky: Preface. J. Log. Algebr. Program. 81(7-8): 719-720 (2012)
j37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo: Rewriting logic bibliography by topic: 1990-2011. J. Log. Algebr. Program. 81(7-8): 782-815 (2012)
j36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero: Declarative debugging of rewriting logic specifications. J. Log. Algebr. Program. 81(7-8): 851-897 (2012)
2011
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino: Parameterized Metareasoning in Membership Equational Logic. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 277-298
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rafael Caballero, Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet: Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. LOPSTR 2011: 73-89
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alberto Verdejo, Narciso Martí-Oliet: Basic completion strategies as another application of the Maude strategy language. WRS 2011: 17-36
2010
j35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Meseguer, Miguel Palomino, Narciso Martí-Oliet: Algebraic simulations. J. Log. Algebr. Program. 79(2): 103-143 (2010)
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet: A Complete Declarative Debugger for Maude. AMAST 2010: 216-225
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narciso Martí-Oliet: An Introduction to Maude and Some of Its Applications. PADL 2010: 4-9
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet: Declarative Debugging of Missing Answers for Maude. RTA 2010: 277-294
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet: Enhancing the Debugging of Maude Specifications. WRLA 2010: 226-242
2009
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narciso Martí-Oliet, José Meseguer, Alberto Verdejo: A Rewriting Semantics for Maude Strategies. Electr. Notes Theor. Comput. Sci. 238(3): 227-247 (2009)
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2008
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narciso Martí-Oliet, José Meseguer, Miguel Palomino: Algebraic Stuttering Simulations. Electr. Notes Theor. Comput. Sci. 206: 91-110 (2008)
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Meseguer, Miguel Palomino, Narciso Martí-Oliet: Equational abstractions. Theor. Comput. Sci. 403(2-3): 239-264 (2008)
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero: A Declarative Debugger for Maude. AMAST 2008: 116-121
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo: Declarative Debugging of Membership Equational Logic Specifications. Concurrency, Graphs and Models 2008: 174-193
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet: Declarative Debugging of Rewriting Logic Specifications. WADT 2008: 308-325
2007
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo: Deduction, Strategies, and Rewriting. Electr. Notes Theor. Comput. Sci. 174(11): 3-25 (2007)
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo: Strategies and simulations in a semantic framework. J. Algorithms 62(3-4): 95-116 (2007)
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 20(1-2): 1-2 (2007)
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Introduction. All About Maude 2007: 1-28
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott (Eds.): All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Lecture Notes in Computer Science 4350, Springer 2007, isbn 978-3-540-71940-3
2006
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea, Narciso Martí-Oliet: Preface. Electr. Notes Theor. Comput. Sci. 147(1): 1-3 (2006)
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alberto Verdejo, Narciso Martí-Oliet: Executable structural operational semantics in Maude. J. Log. Algebr. Program. 67(1-2): 226-293 (2006)
2005
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narciso Martí-Oliet: Preface. Electr. Notes Theor. Comput. Sci. 117: 1-4 (2005)
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narciso Martí-Oliet, José Meseguer, Alberto Verdejo: Towards a Strategy Language for Maude. Electr. Notes Theor. Comput. Sci. 117: 417-441 (2005)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo: Playing with Maude. Electr. Notes Theor. Comput. Sci. 124(1): 3-23 (2005)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miguel Palomino, José Meseguer, Narciso Martí-Oliet: A Categorical Approach to Simulations. CALCO 2005: 313-330
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2004
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino: Formalizing and Proving Semantic Relations between Specifications by Reflection. AMAST 2004: 72-86
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narciso Martí-Oliet, José Meseguer, Miguel Palomino: Theoroidal Maps as Algebraic Simulations. WADT 2004: 126-143
2003
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Meseguer, Miguel Palomino, Narciso Martí-Oliet: Equational Abstractions. CADE 2003: 2-16
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2002
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 261-281 (2002)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alberto Verdejo, Narciso Martí-Oliet: Implementing CCS in Maude 2. Electr. Notes Theor. Comput. Sci. 71: 282-300 (2002)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narciso Martí-Oliet, José Meseguer: Preface. Theor. Comput. Sci. 285(2): 119-120 (2002)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narciso Martí-Oliet, José Meseguer: Rewriting logic: roadmap and bibliography. Theor. Comput. Sci. 285(2): 121-154 (2002)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 294-315 (2000)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Manuel Clavel, Francisco Durán, Narciso Martí-Oliet: Polytypic Programming in Maude. Electr. Notes Theor. Comput. Sci. 36: 339-360 (2000)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet: The Leader Election Protocol of IEEE 1394 in Maude. Electr. Notes Theor. Comput. Sci. 36: 383-404 (2000)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Using Maude. FASE 2000: 371-374
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alberto Verdejo, Narciso Martí-Oliet: Implementing CCS in Maude. FORTE 2000: 351-366
1999
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: The Maude System. RTA 1999: 240-243
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 147-160 (1998)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer: Metalevel computation in Maude. Electr. Notes Theor. Comput. Sci. 15: 331-352 (1998)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Isabel Pita, Narciso Martí-Oliet: Using Reflection to Specify Transaction Sequences in Rewriting Logic. WADT 1998: 261-276
1997
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narciso Martí-Oliet: Rewriting logic and its applications. APPIA-GULP-PRODE 1997: 5-8
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Isabel Pita, Narciso Martí-Oliet: Using Reflection to Specify Transaction Sequences in Rewriting Logic. APPIA-GULP-PRODE 1997: 369-380
1996
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narciso Martí-Oliet, José Meseguer: Rewriting logic as a logical and semantic framework. Electr. Notes Theor. Comput. Sci. 4: 190-225 (1996)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Isabel Pita, Narciso Martí-Oliet: A Maude specification of an object-oriented database model for telecommunication networks. Electr. Notes Theor. Comput. Sci. 4: 405-423 (1996)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narciso Martí-Oliet, José Meseguer: Inclusions and Subtypes I: First-Order Case. J. Log. Comput. 6(3): 409-438 (1996)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narciso Martí-Oliet, José Meseguer: Inclusions and Subtypes II: Higher-Order Case. J. Log. Comput. 6(4): 541-572 (1996)
1994
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Meseguer, Narciso Martí-Oliet: From Abstract Data Types to Logical Frameworks. COMPASS/ADT 1994: 48-80
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Livio Ricciulli: Compiling Rewriting onto SIMD and MIMD/SIMD Maschines. PARLE 1994: 37-48
1991
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narciso Martí-Oliet, José Meseguer: From Petri Nets to Linear Logic. Mathematical Structures in Computer Science 1(1): 69-101 (1991)
1989
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narciso Martí-Oliet, José Meseguer: From Petri Nets to Linear Logic. Category Theory and Computer Science 1989: 313-340

Coauthor Index

1Margarita Bradley
[c16]
2Christiano Braga (Christiano de O. Braga)
[c21]
3Roberto Bruni
[c11]
4Rafael Caballero
[j36] [c51] [j34] [c44] [c43] [c42]
5Horatiu Cirstea
[j27]
6Manuel Clavel
[c52] [c45] [c41] [c40] [c39] [c38] [c37] [c36] [c35] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [c18] [e1] [c15] [c12] [j13] [j11] [j10] [c10] [c8] [j8] [j7]
7Francisco Durán
[c45] [c41] [c40] [c39] [c38] [c37] [c36] [c35] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [c18] [e1] [c12] [j13] [j11] [j10] [c10] [c8] [j8] [j7]
8Steven Eker
[c45] [j30] [c41] [c40] [c39] [c38] [c37] [c36] [c35] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [c18] [e1] [c12] [j13] [j11] [c10] [c8] [j8] [j7]
9Santiago Escobar
[c45]
10Azadeh Farzan
[c21]
11José Luiz Fiadeiro
[j20] [c7]
12David de Frutos-Escrig
[c11]
13Joe Hendrix
[c21]
14Patrick Lincoln
[c45] [c41] [c40] [c39] [c38] [c37] [c36] [c35] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [c18] [e1] [c12] [j13] [j11] [c10] [c8] [j8] [j7] [c2]
15Luis Llana (Luis Fernando Llana Díaz)
[c16]
16T. S. E. Maibaum (Tom Maibaum, Thomas Stephen Edward Maibaum)
[j20] [c7]
17José Meseguer
[j35] [j33] [c45] [j32] [j31] [j30] [c41] [c40] [c39] [c38] [c37] [c36] [c35] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [c18] [e1] [j24] [j20] [c17] [c14] [c13] [c12] [j15] [j14] [j13] [j11] [c10] [c8] [c7] [j8] [j7] [j6] [j4] [j3] [c3] [c2] [j2] [j1] [c1]
18Ugo Montanari
[c11]
19Miguel Palomino
[e2] [j37] [c52] [j35] [j32] [j31] [j29] [c35] [c32] [c21] [j23] [j22] [c17] [c15] [c14] [c13]
20Isabel Pita
[j20] [j19] [j12] [j9] [c7] [c6] [c4] [j5]
21Jose F. Quesada
[j13] [j11] [c10] [c8] [j8]
22Livio Ricciulli
[c2]
23Adrián Riesco
[j36] [c51] [c49] [c47] [c46] [j34] [c44] [c43] [c42] [c26]
24Tomás Robles (Tomás Robles Valladares)
[c16]
25Grigore Rosu
[j28]
26Joaquín Salvachúa (Joaquin Salvachua Rodriguez)
[c16]
27Ralf Sasse
[c21]
28Koushik Sen
[j18]
29Mark-Oliver Stehr
[c21]
30Carolyn L. Talcott
[c45] [j28] [c41] [c40] [c39] [c38] [c37] [c36] [c35] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [c18] [e1] [c12]
31Prasanna Thati (Prasannaa Thati)
[j18]
32Alberto Verdejo
[j37] [j36] [c51] [c50] [c49] [c47] [c46] [j34] [j33] [c44] [c43] [c42] [j30] [j29] [c35] [c32] [c26] [c21] [j26] [j24] [j23] [j22] [j21] [c16] [j19] [j17] [j9] [c9]
33Peter Csaba Ölveczky
[j38] [c21]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 21 02:56:57 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page