publications:
- title: "Metaprogramming Applications"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_15"
  researchr: "https://researchr.org/publication/ClavelDELMMT07l"
  cites: 0
  citedby: 0
  pages: "459-483"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07l"
- title: "Model Checking Invariants Through Search"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_12"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_12"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "search"
  researchr: "https://researchr.org/publication/ClavelDELMMT07i"
  cites: 0
  citedby: 0
  pages: "373-384"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07i"
- title: "LTL Model Checking"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_13"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/ClavelDELMMT07j"
  cites: 0
  citedby: 0
  pages: "385-418"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07j"
- title: "Functional Modules"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_4"
  researchr: "https://researchr.org/publication/ClavelDELMMT07c"
  cites: 0
  citedby: 0
  pages: "61-118"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07c"
- title: "Full Maude: Extending Core Maude"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_18"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_18"
  researchr: "https://researchr.org/publication/ClavelDELMMT07n"
  cites: 0
  citedby: 0
  pages: "559-597"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07n"
- title: "Rewriting Logic Systems"
  author:
  - name: "Grit Denker"
    link: "https://researchr.org/alias/grit-denker"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  - name: "Mark G. J. van den Brand"
    link: "http://www.win.tue.nl/~mvdbrand/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Traian-Florin Serbanuta"
    link: "https://researchr.org/alias/traian-florin-serbanuta"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.06.018"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2007.06.018"
  tags:
  - "graph-rewriting"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  researchr: "https://researchr.org/publication/DenkerTRBES07"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "176"
  number: "4"
  pages: "233-247"
  kind: "article"
  key: "DenkerTRBES07"
- title: "Mobile Maude"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  - name: "Adrián Riesco"
    link: "https://researchr.org/alias/adri%C3%A1n-riesco"
  - name: "Alberto Verdejo"
    link: "https://researchr.org/alias/alberto-verdejo"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_16"
  tags:
  - "mobile"
  researchr: "https://researchr.org/publication/ClavelDELMMTRV07"
  cites: 0
  citedby: 0
  pages: "485-522"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMTRV07"
- title: "Maude: specification and programming in rewriting logic"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Jose F. Quesada"
    link: "https://researchr.org/alias/jose-f.-quesada"
  year: "2002"
  doi: "http://dx.doi.org/10.1016/S0304-3975(01)00359-0"
  abstract: "Maude is a high-level language and a high-performance system supporting executable specification and declarative programming in rewriting logic. Since rewriting logic contains equational logic, Maude also supports equational specification and programming in its sublanguage of functional modules and theories. The underlying equational logic chosen for Maude is membership equational logic, that has sorts, subsorts, operator overloading, and partiality definable by membership and equality conditions. Rewriting logic is reflective, in the sense of being able to express its own metalevel at the object level. Reflection is systematically exploited in Maude endowing the language with powerful metaprogramming capabilities, including both user-definable module operations and declarative strategies to guide the deduction process. This paper explains and illustrates with examples the main concepts of Maude's language design, including its underlying logic, functional, system and object-oriented modules, as well as parameterized modules, theories, and views. We also explain how Maude supports reflection, metaprogramming and internal strategies. The paper outlines the principles underlying the Maude system implementation, including its semicompilation techniques. We conclude with some remarks about applications, work on a formal environment for Maude, and a mobile language extension of Maude."
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(01)00359-0"
  tags:
  - "graph-rewriting"
  - "logic programming"
  - "programming"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  researchr: "https://researchr.org/publication/ClavelDELMMQ02"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "285"
  number: "2"
  pages: "187-243"
  kind: "article"
  key: "ClavelDELMMQ02"
- title: "The Maude LTL Model Checker"
  author:
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Ambarish Sridharanarayanan"
    link: "https://researchr.org/alias/ambarish-sridharanarayanan"
  year: "2002"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/145/23/show/Products/notes/index.htt#010"
  links:
    doi: "http://www1.elsevier.com/gej-ng/31/29/23/145/23/show/Products/notes/index.htt#010"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/EkerMS02"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "71"
  pages: "162-187"
  kind: "article"
  key: "EkerMS02"
- title: "Associative-Commutative Rewriting on Large Terms"
  author:
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2706/27060014.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2706/27060014.htm"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Eker03"
  cites: 0
  citedby: 0
  pages: "14-29"
  booktitle: "RTA"
  kind: "inproceedings"
  key: "Eker03"
- title: "Single Elementary Associative-Commutative Matching"
  author:
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  year: "2002"
  researchr: "https://researchr.org/publication/Eker02"
  cites: 0
  citedby: 0
  journal: "JAR"
  volume: "28"
  number: "1"
  pages: "35-51"
  kind: "article"
  key: "Eker02"
- title: "Metalevel computation in Maude"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  year: "1998"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#003"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#003"
  researchr: "https://researchr.org/publication/ClavelDELMM98"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "15"
  pages: "331-352"
  kind: "article"
  key: "ClavelDELMM98"
- title: "Core Maude Grammar"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_24"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_24"
  tags:
  - "grammar"
  researchr: "https://researchr.org/publication/ClavelDELMMT07s"
  cites: 0
  citedby: 0
  pages: "751-756"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07s"
- title: "The Second Rewrite Engines Competition"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Manuel Roldán"
    link: "https://researchr.org/alias/manuel-rold%C3%A1n"
  - name: "Emilie  Balland"
    link: "http://www.loria.fr/~balland/"
  - name: "Mark G. J. van den Brand"
    link: "http://www.win.tue.nl/~mvdbrand/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Karl Trygve Kalleberg"
    link: "http://www.ii.uib.no/~karltk/"
  - name: "Lennart C. L. Kats"
    link: "http://www.lclnet.nl/"
  - name: "Pierre-Etienne Moreau"
    link: "http://www.loria.fr/~moreau/dokuwiki/doku.php"
  - name: "Ruslan Shevchenko"
    link: "https://researchr.org/alias/ruslan-shevchenko"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.05.025"
  abstract: "The 2nd Rewrite Engines Competition (REC) was celebrated as part of the 7th Workshop on Rewriting Logic and its Applications (WRLA 2008). In this edition of the competition participated ve systems, namely ASF+SDF, Maude, Stratego/XT, Termware, and Tom. We explain here how the competition was organized and conducted, and present its main results and conclusions."
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.05.025"
  tags:
  - "rewrite engine"
  - "SDF"
  - "term rewriting"
  - "graph-rewriting"
  - "C++"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  - "rewriting strategies"
  - "ASF+SDF"
  - "Stratego"
  researchr: "https://researchr.org/publication/DuranRBBEKKMSV09"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "238"
  number: "3"
  pages: "281-291"
  kind: "article"
  key: "DuranRBBEKKMSV09"
- title: "Deduction, Strategies, and Rewriting"
  author:
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Alberto Verdejo"
    link: "https://researchr.org/alias/alberto-verdejo"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.03.017"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.03.017"
  tags:
  - "graph-rewriting"
  - "rewriting"
  - "rewriting strategies"
  researchr: "https://researchr.org/publication/EkerMMV07"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "174"
  number: "11"
  pages: "3-25"
  kind: "article"
  key: "EkerMMV07"
- title: "Reflection, Metalevel Computation, and Strategies"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_14"
  tags:
  - "computational reflection"
  - "reflection"
  researchr: "https://researchr.org/publication/ClavelDELMMT07k"
  cites: 0
  citedby: 0
  pages: "419-458"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07k"
- title: "Pathway Logic Modeling of Protein Functional Domains in Signal Transduction"
  author:
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Merrill Knapp"
    link: "https://researchr.org/alias/merrill-knapp"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Keith Laderoute"
    link: "https://researchr.org/alias/keith-laderoute"
  year: "2004"
  doi: "http://helix-web.stanford.edu/psb04/talcott.pdf"
  links:
    doi: "http://helix-web.stanford.edu/psb04/talcott.pdf"
  tags:
  - "modeling"
  - "logic"
  researchr: "https://researchr.org/publication/TalcottEKLL04"
  cites: 0
  citedby: 0
  pages: "568-580"
  booktitle: "psb"
  kind: "inproceedings"
  key: "TalcottEKLL04"
- title: "Pathway Logic Helping Biologists Understand and Organize Pathway Information"
  author:
  - name: "Merrill Knapp"
    link: "https://researchr.org/alias/merrill-knapp"
  - name: "Linda Briesemeister"
    link: "https://researchr.org/alias/linda-briesemeister"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Andy Poggio"
    link: "https://researchr.org/alias/andy-poggio"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  - name: "Keith Laderoute"
    link: "https://researchr.org/alias/keith-laderoute"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/CSBW.2005.103"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/CSBW.2005.103"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/KnappBELPTL05"
  cites: 0
  citedby: 0
  pages: "155-156"
  booktitle: "csb"
  kind: "inproceedings"
  key: "KnappBELPTL05"
- title: "The Maude System"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Jose F. Quesada"
    link: "https://researchr.org/alias/jose-f.-quesada"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1631/16310240.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1631/16310240.htm"
  researchr: "https://researchr.org/publication/ClavelDELMMQ99"
  cites: 0
  citedby: 0
  pages: "240-243"
  booktitle: "RTA"
  kind: "inproceedings"
  key: "ClavelDELMMQ99"
- title: "Principles of Mobile Maude"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  year: "2000"
  tags:
  - "principles"
  - "mobile"
  researchr: "https://researchr.org/publication/DuranELM00"
  cites: 0
  citedby: 0
  pages: "73-85"
  booktitle: "ma"
  kind: "inproceedings"
  key: "DuranELM00"
- title: "Maude as a Formal Meta-tool"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Mark-Oliver Stehr"
    link: "https://researchr.org/alias/mark-oliver-stehr"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1709/17091684.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1709/17091684.htm"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/ClavelDEMS99"
  cites: 0
  citedby: 0
  pages: "1684-1703"
  booktitle: "FM"
  kind: "inproceedings"
  key: "ClavelDEMS99"
- title: "Certifying and Synthesizing Membership Equational Proofs"
  author:
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2805&spage=359"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2805&spage=359"
  tags:
  - "equational proofs"
  researchr: "https://researchr.org/publication/RosuELM03"
  cites: 0
  citedby: 0
  pages: "359-380"
  booktitle: "FM"
  kind: "inproceedings"
  key: "RosuELM03"
- title: "User Interfaces and Metalanguage Applications"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_17"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_17"
  researchr: "https://researchr.org/publication/ClavelDELMMT07m"
  cites: 0
  citedby: 0
  pages: "523-555"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07m"
- title: "The Maude LTL Model Checker and Its Implementation"
  author:
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Ambarish Sridharanarayanan"
    link: "https://researchr.org/alias/ambarish-sridharanarayanan"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2648/26480230.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2648/26480230.htm"
  researchr: "https://researchr.org/publication/EkerMS03"
  cites: 0
  citedby: 0
  pages: "230-234"
  booktitle: "spin"
  kind: "inproceedings"
  key: "EkerMS03"
- title: "Using Maude"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_2"
  researchr: "https://researchr.org/publication/ClavelDELMMT07a"
  cites: 0
  citedby: 0
  pages: "31-37"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07a"
- title: "Pathway Logic: Executable Models of Biological Networks"
  author:
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Merrill Knapp"
    link: "https://researchr.org/alias/merrill-knapp"
  - name: "Keith Laderoute"
    link: "https://researchr.org/alias/keith-laderoute"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2002"
  doi: "http://dx.doi.org/10.1016/S1571-0661(05)82533-2"
  links:
    doi: "http://dx.doi.org/10.1016/S1571-0661(05)82533-2"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/EkerKLLT02"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "71"
  pages: "144-161"
  kind: "article"
  key: "EkerKLLT02"
- title: "Syntax and Basic Parsing"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_3"
  tags:
  - "parsing"
  researchr: "https://researchr.org/publication/ClavelDELMMT07b"
  cites: 0
  citedby: 0
  pages: "39-59"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07b"
- title: "Object-Based Programming"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_11"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_11"
  tags:
  - "object-oriented programming"
  - "rule-based"
  - "meta programming"
  - "programming"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "feature-oriented programming"
  - "meta-objects"
  researchr: "https://researchr.org/publication/ClavelDELMMT07h"
  cites: 0
  citedby: 0
  pages: "339-372"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07h"
- title: "Term rewriting with operator evaluation strategies"
  author:
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  year: "1998"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#005"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#005"
  tags:
  - "term rewriting"
  - "graph-rewriting"
  - "rewriting"
  - "rewriting strategies"
  researchr: "https://researchr.org/publication/Eker98"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "15"
  pages: "311-330"
  kind: "article"
  key: "Eker98"
- title: "A Hierarchy of Data Types: From Trees to Sets"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_5"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/ClavelDELMMT07d"
  cites: 0
  citedby: 0
  pages: "119-129"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07d"
- title: "Complete List of Maude Commands"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_23"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_23"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/ClavelDELMMT07r"
  cites: 0
  citedby: 0
  pages: "737-749"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07r"
- title: "Pathway Logic Modeling of Protein Functional Domains in Signal Transduction"
  author:
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Merrill Knapp"
    link: "https://researchr.org/alias/merrill-knapp"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Keith Laderoute"
    link: "https://researchr.org/alias/keith-laderoute"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/csb/2003/2000/00/20000618.pdf"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/csb/2003/2000/00/20000618.pdf"
  tags:
  - "modeling"
  - "logic"
  researchr: "https://researchr.org/publication/TalcottEKLL03"
  cites: 0
  citedby: 0
  pages: "618-619"
  booktitle: "csb"
  kind: "inproceedings"
  key: "TalcottEKLL03"
- title: "Specifying Parameterized Data Structures in Maude"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  - name: "Miguel Palomino"
    link: "https://researchr.org/alias/miguel-palomino"
  - name: "Alberto Verdejo"
    link: "https://researchr.org/alias/alberto-verdejo"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_10"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/ClavelDELMMTPV07a"
  cites: 0
  citedby: 0
  pages: "307-338"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMTPV07a"
- title: "Unification and Narrowing in Maude 2.4"
  author:
  - name: "Manuel Clavel"
    link: "https://researchr.org/alias/manuel-clavel"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02348-4_27"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02348-4_27"
  researchr: "https://researchr.org/publication/ClavelDEELMMT09"
  cites: 0
  citedby: 0
  pages: "380-390"
  booktitle: "RTA"
  kind: "inproceedings"
  key: "ClavelDEELMMT09"
- title: "Towards Maude 2.0"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Jose F. Quesada"
    link: "https://researchr.org/alias/jose-f.-quesada"
  year: "2000"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#019"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#019"
  researchr: "https://researchr.org/publication/ClavelDELMMQ00%3A0"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "36"
  pages: "294-315"
  kind: "article"
  key: "ClavelDELMMQ00:0"
- title: "Fast matching in combinations of regular equational theories"
  author:
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  year: "1996"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/29/23/show/Products/notes/index.htt#007"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/29/23/show/Products/notes/index.htt#007"
  researchr: "https://researchr.org/publication/Eker96"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "4"
  pages: "90-109"
  kind: "article"
  key: "Eker96"
- title: "A Sampler of Application Areas"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_20"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_20"
  researchr: "https://researchr.org/publication/ClavelDELMMT07p"
  cites: 0
  citedby: 0
  pages: "645-665"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07p"
- title: "The Third Rewrite Engines Competition"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Manuel Roldán"
    link: "https://researchr.org/alias/manuel-rold%C3%A1n"
  - name: "Jean-Christophe Bach"
    link: "http://www.loria.fr/~bachjeje"
  - name: "Emilie  Balland"
    link: "http://www.loria.fr/~balland/"
  - name: "Mark G. J. van den Brand"
    link: "http://www.win.tue.nl/~mvdbrand/"
  - name: "James R.  Cordy"
    link: "http://research.cs.queensu.ca/~cordy/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Luc Engelen"
    link: "https://researchr.org/alias/luc-engelen"
  - name: "Maartje  de Jonge"
    link: "https://researchr.org/profile/maartjedejonge/publications"
  - name: "Karl Trygve Kalleberg"
    link: "http://www.ii.uib.no/~karltk/"
  - name: "Lennart C. L. Kats"
    link: "http://www.lclnet.nl/"
  - name: "Pierre-Etienne Moreau"
    link: "http://www.loria.fr/~moreau/dokuwiki/doku.php"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_16"
  abstract: "This paper presents the main results and conclusions of the Third Rewrite Engines Competition (REC III). This edition of the competition took place as part of the 8th Workshop on Rewriting Logic and its Applications (WRLA 2010), and the systems ASF+SDF, Maude, Stratego/XT, Tom, and TXL participated in it."
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_16"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wrla/DuranRBBBCEEJK10"
  tags:
  - "graph-rewriting"
  - "C++"
  - "rewriting"
  researchr: "https://researchr.org/publication/DuranRBBBCEEJK10"
  cites: 0
  citedby: 0
  pages: "243-261"
  booktitle: "WRLA"
  kind: "inproceedings"
  key: "DuranRBBBCEEJK10"
- title: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  year: "2007"
  tags:
  - "program verification"
  - "graph-rewriting"
  - "logic programming"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  researchr: "https://researchr.org/publication/maude%3A2007"
  cites: 0
  citedby: 0
  booktitle: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  conference: "maude"
  editor:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  volume: "4350"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-71940-3"
  kind: "proceedings"
  key: "maude:2007"