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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  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: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  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: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  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: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  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: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  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: "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: "Electronic Notes in Theoretical Computer Science"
  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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  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: "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: "Theoretical Computer Science"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings"
  editor:
  - name: "Robert Nieuwenhuis"
    link: "https://researchr.org/alias/robert-nieuwenhuis"
  volume: "2706"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40254-3"
  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: "Journal of Automated Reasoning"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  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: "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: "Electronic Notes in Theoretical Computer Science"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  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: "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: "Biocomputing 2004, Proceedings of the Pacific Symposium, Hawaii, USA, 6-10 January 2004"
  editor:
  - name: "Russ B. Altman"
    link: "https://researchr.org/alias/russ-b.-altman"
  - name: "A. Keith Dunker"
    link: "https://researchr.org/alias/a.-keith-dunker"
  - name: "Lawrence Hunter"
    link: "https://researchr.org/alias/lawrence-hunter"
  - name: "Tiffany A. Jung"
    link: "https://researchr.org/alias/tiffany-a.-jung"
  - name: "Teri E. Klein"
    link: "https://researchr.org/alias/teri-e.-klein"
  publisher: "World Scientific"
  isbn: "981-238-598-3"
  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: "Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference Workshops & Poster Abstracts (CSB 2005 Workshops), 8-11 August 2005, Stanford, CA, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2442-7"
  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: "Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings"
  editor:
  - name: "Paliath Narendran"
    link: "https://researchr.org/alias/paliath-narendran"
  - name: "Michaël Rusinowitch"
    link: "https://researchr.org/alias/micha%C3%ABl-rusinowitch"
  volume: "1631"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66201-4"
  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: "Agent Systems, Mobile Agents, and Applications, Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, Zürch, Switzerland, September 13-15, 2000, Proceedings"
  editor:
  - name: "David Kotz"
    link: "https://researchr.org/alias/david-kotz"
  - name: "Friedemann Mattern"
    link: "https://researchr.org/alias/friedemann-mattern"
  volume: "1882"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41052-X"
  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 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II"
  editor:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  volume: "1709"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66588-9"
  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: "FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings"
  editor:
  - name: "Keijiro Araki"
    link: "https://researchr.org/alias/keijiro-araki"
  - name: "Stefania Gnesi"
    link: "https://researchr.org/alias/stefania-gnesi"
  - name: "Dino Mandrioli"
    link: "https://researchr.org/alias/dino-mandrioli"
  volume: "2805"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40828-2"
  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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  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: "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: "Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings"
  editor:
  - name: "Thomas Ball"
    link: "https://researchr.org/alias/thomas-ball"
  - name: "Sriram K. Rajamani"
    link: "https://researchr.org/alias/sriram-k.-rajamani"
  volume: "2648"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40117-2"
  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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  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: "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: "Electronic Notes in Theoretical Computer Science"
  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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  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: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  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: "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: "Electronic Notes in Theoretical Computer Science"
  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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  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: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  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: "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: "2nd IEEE Computer Society Bioinformatics Conference (CSB 2003), 11-14 August 2003, Stanford, CA, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2000-6"
  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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  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: "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: "Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings"
  editor:
  - name: "Ralf Treinen"
    link: "https://researchr.org/alias/ralf-treinen"
  volume: "5595"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02347-7"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  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: "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: "Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers"
  editor:
  - name: "Peter Csaba Ölveczky"
    link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky"
  volume: "6381"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-16309-8"
  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"