The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Narciso Martí-Oliet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Narciso Martí-Oliet
    Rewriting logic and its applications. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:5-8 [Conf]
  2. Isabel Pita, Narciso Martí-Oliet
    Using Reflection to Specify Transaction Sequences in Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:369-380 [Conf]
  3. Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
    Formalizing and Proving Semantic Relations between Specifications by Reflection. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:72-86 [Conf]
  4. José Meseguer, Miguel Palomino, Narciso Martí-Oliet
    Equational Abstractions. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:2-16 [Conf]
  5. Miguel Palomino, José Meseguer, Narciso Martí-Oliet
    A Categorical Approach to Simulations. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:313-330 [Conf]
  6. José Meseguer, Narciso Martí-Oliet
    From Abstract Data Types to Logical Frameworks. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:48-80 [Conf]
  7. Roberto Bruni, David de Frutos-Escrig, Narciso Martí-Oliet, Ugo Montanari
    Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:259-274 [Conf]
  8. Narciso Martí-Oliet, José Meseguer
    From Petri Nets to Linear Logic. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:313-340 [Conf]
  9. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Using Maude. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:371-374 [Conf]
  10. Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley
    Transforming Information in RDF to Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:227-242 [Conf]
  11. Alberto Verdejo, Narciso Martí-Oliet
    Implementing CCS in Maude. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:351-366 [Conf]
  12. Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Livio Ricciulli
    Compiling Rewriting onto SIMD and MIMD/SIMD Maschines. [Citation Graph (0, 0)][DBLP]
    PARLE, 1994, pp:37-48 [Conf]
  13. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    The Maude System. [Citation Graph (0, 0)][DBLP]
    RTA, 1999, pp:240-243 [Conf]
  14. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
    The Maude 2.0 System. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:76-87 [Conf]
  15. Narciso Martí-Oliet, José Meseguer, Miguel Palomino
    Theoroidal Maps as Algebraic Simulations. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:126-143 [Conf]
  16. Isabel Pita, Narciso Martí-Oliet
    Using Reflection to Specify Transaction Sequences in Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:261-276 [Conf]
  17. José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita
    Towards a Verification Logic for Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:438-458 [Conf]
  18. Horatiu Cirstea, Narciso Martí-Oliet
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:1-3 [Journal]
  19. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
    Metalevel computation in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  20. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Towards Maude 2.0. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  21. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Maude as a metalanguage. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  22. Manuel Clavel, Francisco Durán, Narciso Martí-Oliet
    Polytypic Programming in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  23. Narciso Martí-Oliet
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:1-4 [Journal]
  24. Narciso Martí-Oliet, José Meseguer
    Rewriting logic as a logical and semantic framework. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  25. Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
    Towards a Strategy Language for Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:417-441 [Journal]
  26. Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
    A Tutorial on Specifying Data Structures in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:105-132 [Journal]
  27. Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo
    Playing with Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:3-23 [Journal]
  28. Isabel Pita, Narciso Martí-Oliet
    A Maude specification of an object-oriented database model for telecommunication networks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  29. Prasanna Thati, Koushik Sen, Narciso Martí-Oliet
    An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  30. Alberto Verdejo, Narciso Martí-Oliet
    Implementing CCS in Maude 2. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  31. Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet
    The Leader Election Protocol of IEEE 1394 in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  32. Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet
    Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:14, n:3, pp:228-246 [Journal]
  33. Alberto Verdejo, Narciso Martí-Oliet
    Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:27, n:1-2, pp:113-172 [Journal]
  34. Narciso Martí-Oliet
    Review of the paper `Concurrent Systems Analysis Using ECATNets' by F. Belala. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2002, v:10, n:4, pp:453-455 [Journal]
  35. Narciso Martí-Oliet, José Meseguer
    From Petri Nets to Linear Logic through Categories: A Survey. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1991, v:2, n:4, pp:297-399 [Journal]
  36. Alberto Verdejo, Narciso Martí-Oliet
    Executable structural operational semantics in Maude. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:67, n:1-2, pp:226-293 [Journal]
  37. Narciso Martí-Oliet, José Meseguer
    Inclusions and Subtypes I: First-Order Case. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:3, pp:409-438 [Journal]
  38. Narciso Martí-Oliet, José Meseguer
    Inclusions and Subtypes II: Higher-Order Case. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:4, pp:541-572 [Journal]
  39. Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum
    A Verification Logic for Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:3, pp:317-352 [Journal]
  40. Narciso Martí-Oliet, José Meseguer
    From Petri Nets to Linear Logic. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1991, v:1, n:1, pp:69-101 [Journal]
  41. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Maude: specification and programming in rewriting logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:187-243 [Journal]
  42. Narciso Martí-Oliet, José Meseguer
    Rewriting logic: roadmap and bibliography. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:121-154 [Journal]
  43. Narciso Martí-Oliet, José Meseguer
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:119-120 [Journal]
  44. Isabel Pita, Narciso Martí-Oliet
    A Maude specification of an object-oriented model for telecommunication networks. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:407-439 [Journal]
  45. Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
    Deduction, Strategies, and Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:11, pp:3-25 [Journal]
  46. Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:1-2 [Journal]

  47. A Declarative Debugger for Maude. [Citation Graph (, )][DBLP]


  48. Declarative Debugging of Membership Equational Logic Specifications. [Citation Graph (, )][DBLP]


  49. An Introduction to Maude and Some of Its Applications. [Citation Graph (, )][DBLP]


  50. Unification and Narrowing in Maude 2.4. [Citation Graph (, )][DBLP]


  51. Declarative Debugging of Missing Answers for Maude. [Citation Graph (, )][DBLP]


  52. Declarative Debugging of Rewriting Logic Specifications. [Citation Graph (, )][DBLP]


  53. Introduction. [Citation Graph (, )][DBLP]


  54. Using Maude. [Citation Graph (, )][DBLP]


  55. Syntax and Basic Parsing. [Citation Graph (, )][DBLP]


  56. Functional Modules. [Citation Graph (, )][DBLP]


  57. A Hierarchy of Data Types: From Trees to Sets. [Citation Graph (, )][DBLP]


  58. System Modules. [Citation Graph (, )][DBLP]


  59. Module Operations. [Citation Graph (, )][DBLP]


  60. Predefined Data Modules. [Citation Graph (, )][DBLP]


  61. Object-Based Programming. [Citation Graph (, )][DBLP]


  62. Model Checking Invariants Through Search. [Citation Graph (, )][DBLP]


  63. LTL Model Checking. [Citation Graph (, )][DBLP]


  64. Reflection, Metalevel Computation, and Strategies. [Citation Graph (, )][DBLP]


  65. Metaprogramming Applications. [Citation Graph (, )][DBLP]


  66. User Interfaces and Metalanguage Applications. [Citation Graph (, )][DBLP]


  67. Full Maude: Extending Core Maude. [Citation Graph (, )][DBLP]


  68. Object-Oriented Modules. [Citation Graph (, )][DBLP]


  69. A Sampler of Application Areas. [Citation Graph (, )][DBLP]


  70. Debugging and Troubleshooting. [Citation Graph (, )][DBLP]


  71. Complete List of Maude Commands. [Citation Graph (, )][DBLP]


  72. Core Maude Grammar. [Citation Graph (, )][DBLP]


  73. Some Tools. [Citation Graph (, )][DBLP]


  74. Playing with Maude. [Citation Graph (, )][DBLP]


  75. Specifying Parameterized Data Structures in Maude. [Citation Graph (, )][DBLP]


  76. Mobile Maude. [Citation Graph (, )][DBLP]


  77. Algebraic Stuttering Simulations. [Citation Graph (, )][DBLP]


  78. A Declarative Debugger for Maude Functional Modules. [Citation Graph (, )][DBLP]


  79. A Rewriting Semantics for Maude Strategies. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002