@inproceedings{ClavelDELMMT07l,
  title = {Metaprogramming Applications},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_15},
  url = {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},
}

@inproceedings{ClavelDELMMT07i,
  title = {Model Checking Invariants Through Search},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_12},
  url = {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},
}

@inproceedings{ClavelDELMMT07j,
  title = {LTL Model Checking},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_13},
  url = {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},
}

@inproceedings{ClavelDELMMT07c,
  title = {Functional Modules},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_4},
  url = {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},
}

@inproceedings{ClavelDELMMT07n,
  title = {Full Maude: Extending Core Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_18},
  url = {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},
}

@article{DenkerTRBES07,
  title = {Rewriting Logic Systems},
  author = {Grit Denker and Carolyn L. Talcott and Grigore Rosu and Mark G. J. van den Brand and Steven Eker and Traian-Florin Serbanuta},
  year = {2007},
  doi = {10.1016/j.entcs.2007.06.018},
  url = {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},
}

@inproceedings{ClavelDELMMTRV07,
  title = {Mobile Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott and Adrián Riesco and Alberto Verdejo},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_16},
  url = {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},
}

@article{ClavelDELMMQ02,
  title = {Maude: specification and programming in rewriting logic},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Jose F. Quesada},
  year = {2002},
  doi = {10.1016/S0304-3975(01)00359-0},
  url = {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},
}

@article{EkerMS02,
  title = {The Maude LTL Model Checker},
  author = {Steven Eker and José Meseguer and Ambarish Sridharanarayanan},
  year = {2002},
  url = {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},
}

@inproceedings{Eker03,
  title = {Associative-Commutative Rewriting on Large Terms},
  author = {Steven Eker},
  year = {2003},
  url = {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},
}

@article{Eker02,
  title = {Single Elementary Associative-Commutative Matching},
  author = {Steven Eker},
  year = {2002},
  researchr = {https://researchr.org/publication/Eker02},
  cites = {0},
  citedby = {0},
  journal = {JAR},
  volume = {28},
  number = {1},
  pages = {35-51},
}

@article{ClavelDELMM98,
  title = {Metalevel computation in Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer},
  year = {1998},
  url = {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},
}

@inproceedings{ClavelDELMMT07s,
  title = {Core Maude Grammar},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_24},
  url = {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},
}

@article{DuranRBBEKKMSV09,
  title = {The Second Rewrite Engines Competition},
  author = {Francisco Durán and Manuel Roldán and Emilie  Balland and Mark G. J. van den Brand and Steven Eker and Karl Trygve Kalleberg and Lennart C. L. Kats and Pierre-Etienne Moreau and Ruslan Shevchenko and Eelco Visser},
  year = {2009},
  doi = {10.1016/j.entcs.2009.05.025},
  url = {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},
}

@article{EkerMMV07,
  title = {Deduction, Strategies, and Rewriting},
  author = {Steven Eker and Narciso Martí-Oliet and José Meseguer and Alberto Verdejo},
  year = {2007},
  doi = {10.1016/j.entcs.2006.03.017},
  url = {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},
}

@inproceedings{ClavelDELMMT07k,
  title = {Reflection, Metalevel Computation, and Strategies},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_14},
  url = {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},
}

@inproceedings{TalcottEKLL04,
  title = {Pathway Logic Modeling of Protein Functional Domains in Signal Transduction},
  author = {Carolyn L. Talcott and Steven Eker and Merrill Knapp and Patrick Lincoln and Keith Laderoute},
  year = {2004},
  url = {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},
}

@inproceedings{KnappBELPTL05,
  title = {Pathway Logic Helping Biologists Understand and Organize Pathway Information},
  author = {Merrill Knapp and Linda Briesemeister and Steven Eker and Patrick Lincoln and Andy Poggio and Carolyn L. Talcott and Keith Laderoute},
  year = {2005},
  doi = {10.1109/CSBW.2005.103},
  url = {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},
}

@inproceedings{ClavelDELMMQ99,
  title = {The Maude System},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Jose F. Quesada},
  year = {1999},
  url = {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},
}

@inproceedings{DuranELM00,
  title = {Principles of Mobile Maude},
  author = {Francisco Durán and Steven Eker and Patrick Lincoln and José Meseguer},
  year = {2000},
  tags = {principles, mobile},
  researchr = {https://researchr.org/publication/DuranELM00},
  cites = {0},
  citedby = {0},
  pages = {73-85},
  booktitle = {ma},
}

@inproceedings{ClavelDEMS99,
  title = {Maude as a Formal Meta-tool},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and José Meseguer and Mark-Oliver Stehr},
  year = {1999},
  url = {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},
}

@inproceedings{RosuELM03,
  title = {Certifying and Synthesizing Membership Equational Proofs},
  author = {Grigore Rosu and Steven Eker and Patrick Lincoln and José Meseguer},
  year = {2003},
  url = {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},
}

@inproceedings{ClavelDELMMT07m,
  title = {User Interfaces and Metalanguage Applications},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_17},
  url = {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},
}

@inproceedings{EkerMS03,
  title = {The Maude LTL Model Checker and Its Implementation},
  author = {Steven Eker and José Meseguer and Ambarish Sridharanarayanan},
  year = {2003},
  url = {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},
}

@inproceedings{ClavelDELMMT07a,
  title = {Using Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_2},
  url = {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},
}

@article{EkerKLLT02,
  title = {Pathway Logic: Executable Models of Biological Networks},
  author = {Steven Eker and Merrill Knapp and Keith Laderoute and Patrick Lincoln and Carolyn L. Talcott},
  year = {2002},
  doi = {10.1016/S1571-0661(05)82533-2},
  url = {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},
}

@inproceedings{ClavelDELMMT07b,
  title = {Syntax and Basic Parsing},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_3},
  url = {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},
}

@inproceedings{ClavelDELMMT07h,
  title = {Object-Based Programming},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_11},
  url = {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},
}

@article{Eker98,
  title = {Term rewriting with operator evaluation strategies},
  author = {Steven Eker},
  year = {1998},
  url = {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},
}

@inproceedings{ClavelDELMMT07d,
  title = {A Hierarchy of Data Types: From Trees to Sets},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_5},
  url = {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},
}

@inproceedings{ClavelDELMMT07r,
  title = {Complete List of Maude Commands},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_23},
  url = {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},
}

@inproceedings{TalcottEKLL03,
  title = {Pathway Logic Modeling of Protein Functional Domains in Signal Transduction},
  author = {Carolyn L. Talcott and Steven Eker and Merrill Knapp and Patrick Lincoln and Keith Laderoute},
  year = {2003},
  url = {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},
}

@inproceedings{ClavelDELMMTPV07a,
  title = {Specifying Parameterized Data Structures in Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott and Miguel Palomino and Alberto Verdejo},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_10},
  url = {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},
}

@inproceedings{ClavelDEELMMT09,
  title = {Unification and Narrowing in Maude 2.4},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Santiago Escobar and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2009},
  doi = {10.1007/978-3-642-02348-4_27},
  url = {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},
}

@article{ClavelDELMMQ00:0,
  title = {Towards Maude 2.0},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Jose F. Quesada},
  year = {2000},
  url = {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},
}

@article{Eker96,
  title = {Fast matching in combinations of regular equational theories},
  author = {Steven Eker},
  year = {1996},
  url = {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},
}

@inproceedings{ClavelDELMMT07p,
  title = {A Sampler of Application Areas},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_20},
  url = {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},
}

@inproceedings{DuranRBBBCEEJK10,
  title = {The Third Rewrite Engines Competition},
  author = {Francisco Durán and Manuel Roldán and Jean-Christophe Bach and Emilie  Balland and Mark G. J. van den Brand and James R.  Cordy and Steven Eker and Luc Engelen and Maartje  de Jonge and Karl Trygve Kalleberg and Lennart C. L. Kats and Pierre-Etienne Moreau and Eelco Visser},
  year = {2010},
  doi = {10.1007/978-3-642-16310-4_16},
  url = {http://dx.doi.org/10.1007/978-3-642-16310-4_16},
  tags = {graph-rewriting, C++, rewriting},
  researchr = {https://researchr.org/publication/DuranRBBBCEEJK10},
  cites = {0},
  citedby = {0},
  pages = {243-261},
  booktitle = {WRLA},
}
@proceedings{maude:2007,
  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 = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}