@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},
}

@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{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},
}

@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{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{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{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},
}

@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},
}

@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{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{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{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{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{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},
}

@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{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},
}

@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{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{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{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},
}

@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},
}
@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},
}