@inproceedings{KirchnerMR05,
  title = {Formal validation of pattern matching code},
  author = {Claude Kirchner and Pierre-Etienne Moreau and Antoine Reilles},
  year = {2005},
  doi = {10.1145/1069774.1069792},
  url = {http://doi.acm.org/10.1145/1069774.1069792},
  tags = {pattern matching},
  researchr = {https://researchr.org/publication/KirchnerMR05},
  cites = {0},
  citedby = {0},
  pages = {187-197},
  booktitle = {Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal},
  editor = {Pedro Barahona and Amy P. Felty},
  publisher = {ACM},
  isbn = {1-59593-090-6},
}

@article{BallandMR08,
  title = {Rewriting Strategies in Java},
  author = {Emilie  Balland and Pierre-Etienne Moreau and Antoine Reilles},
  year = {2008},
  doi = {10.1016/j.entcs.2008.10.037},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.10.037},
  tags = {Java, graph-rewriting, rewriting, rewriting strategies},
  researchr = {https://researchr.org/publication/BallandMR08},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {219},
  pages = {97-111},
}

@article{CirsteaMR05,
  title = {Rule-based Programming in Java For Protocol Verification},
  author = {Horatiu Cirstea and Pierre-Etienne Moreau and Antoine Reilles},
  year = {2005},
  doi = {10.1016/j.entcs.2004.06.022},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.06.022},
  tags = {rule-based, Java, program verification, protocol, rules, programming},
  researchr = {https://researchr.org/publication/CirsteaMR05},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {117},
  pages = {209-227},
}

@article{CirsteaMO09,
  title = {Rewrite Based Specification of Access Control Policies},
  author = {Horatiu Cirstea and Pierre-Etienne Moreau and Anderson Santana de Oliveira},
  year = {2009},
  doi = {10.1016/j.entcs.2009.02.071},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.02.071},
  tags = {rule-based, graph-rewriting, access control policies, access control, rewriting, role-based access control},
  researchr = {https://researchr.org/publication/CirsteaMO09},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {234},
  pages = {37-54},
}

@article{GuyonMR04,
  title = {An Integrated Development Environment for Pattern Matching Programming},
  author = {Julien Guyon and Pierre-Etienne Moreau and Antoine Reilles},
  year = {2004},
  doi = {10.1016/j.entcs.2004.02.045},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.02.045},
  tags = {meta programming, meta-model, model-driven development, pattern matching, programming, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/GuyonMR04},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {107},
  pages = {33-49},
}

@inproceedings{KirchnerKM07,
  title = {Anti-pattern Matching},
  author = {Claude Kirchner and Radu Kopetz and Pierre-Etienne Moreau},
  year = {2007},
  doi = {10.1007/978-3-540-71316-6_9},
  url = {http://dx.doi.org/10.1007/978-3-540-71316-6_9},
  tags = {pattern matching},
  researchr = {https://researchr.org/publication/KirchnerKM07},
  cites = {0},
  citedby = {0},
  pages = {110-124},
  booktitle = {Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  editor = {Rocco De Nicola},
  volume = {4421},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71314-2},
}

@article{BrandMR02,
  title = {The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration},
  author = {Mark G. J. van den Brand and Pierre-Etienne Moreau and Christophe Ringeissen},
  year = {2002},
  url = {http://www.elsevier.com/gej-ng/31/29/23/117/52/show/Products/notes/index.htt#006},
  tags = {rule-based, SDF, graph-rewriting, logic, Meta-Environment, rewriting logic, rewriting, ASF+SDF},
  researchr = {https://researchr.org/publication/BrandMR02},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {65},
  number = {3},
  pages = {50-56},
}

@article{BallandM06,
  title = {Optimizing Pattern Matching Compilation by Program Transformation},
  author = {Emilie  Balland and Pierre-Etienne Moreau},
  year = {2006},
  url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/33},
  tags = {optimization, pattern matching, program optimization, transformation, program transformation},
  researchr = {https://researchr.org/publication/BallandM06},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {3},
}

@inproceedings{KirchnerM98:0,
  title = {Non-deterministic Computations in ELAN},
  author = {Hélène Kirchner and Pierre-Etienne Moreau},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1589/15890168.htm},
  researchr = {https://researchr.org/publication/KirchnerM98%3A0},
  cites = {0},
  citedby = {0},
  pages = {168-182},
  booktitle = {Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT  98, Lisbon, Portugal, April 2-4, 1998, Selected Papers},
  editor = {José Luiz Fiadeiro},
  volume = {1589},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66246-4},
}

@inproceedings{BrandMV03,
  title = {Environments for Term Rewriting Engines for Free!},
  author = {Mark G. J. van den Brand and Pierre-Etienne Moreau and Jurgen J.  Vinju},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2706/27060424.htm},
  tags = {semantics, rule-based, completeness, meta programming, meta-model, ToolBus, term rewriting, cbse, graph-rewriting, programming, Meta-Environment, rewriting, IDE, meta-objects},
  researchr = {https://researchr.org/publication/BrandMV03},
  cites = {0},
  citedby = {0},
  pages = {424-435},
  booktitle = {Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  editor = {Robert Nieuwenhuis},
  volume = {2706},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40254-3},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  volume = {238},
  number = {3},
  pages = {281-291},
}

@inproceedings{VittekBM06,
  title = {A Simple Generic Library for C},
  author = {Marian Vittek and Peter Borovanský and Pierre-Etienne Moreau},
  year = {2006},
  doi = {10.1007/11763864_38},
  url = {http://dx.doi.org/10.1007/11763864_38},
  tags = {C++},
  researchr = {https://researchr.org/publication/VittekBM06},
  cites = {0},
  citedby = {0},
  pages = {423-426},
  booktitle = {Reuse of Off-the-Shelf Components, 9th International Conference on Software Reuse, ICSR 2006, Turin, Italy, June 12-15, 2006, Proceedings},
  editor = {Maurizio Morisio},
  volume = {4039},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-34606-6},
}

@inproceedings{BallandBGM08,
  title = {Towards an Efficient Implementation of Tree Automata Completion},
  author = {Emilie  Balland and Yohan Boichut and Thomas Genet and Pierre-Etienne Moreau},
  year = {2008},
  doi = {10.1007/978-3-540-79980-1_6},
  url = {http://dx.doi.org/10.1007/978-3-540-79980-1_6},
  researchr = {https://researchr.org/publication/BallandBGM08},
  cites = {0},
  citedby = {0},
  pages = {67-82},
  booktitle = {Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
  editor = {José Meseguer and Grigore Rosu},
  volume = {5140},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-79979-5},
}

@article{DanvyFGKMT06,
  title = {Editorial},
  author = {Olivier Danvy and Andrzej Filinski and Jean-Louis Giavitto and Andy King and Pierre-Etienne Moreau and Carolyn L. Talcott},
  year = {2006},
  doi = {10.1007/s10990-006-0478-0},
  url = {http://dx.doi.org/10.1007/s10990-006-0478-0},
  researchr = {https://researchr.org/publication/DanvyFGKMT06},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {19},
  number = {4},
  pages = {343-344},
}

@inproceedings{KopetzM08,
  title = {Software Quality Improvement Via Pattern Matching},
  author = {Radu Kopetz and Pierre-Etienne Moreau},
  year = {2008},
  doi = {10.1007/978-3-540-78743-3_22},
  url = {http://dx.doi.org/10.1007/978-3-540-78743-3_22},
  tags = {pattern matching},
  researchr = {https://researchr.org/publication/KopetzM08},
  cites = {0},
  citedby = {0},
  pages = {296-300},
  booktitle = {Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings},
  editor = {José Luiz Fiadeiro and Paola Inverardi},
  volume = {4961},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78742-6},
}

@inproceedings{BallandKM06,
  title = {Formal Islands},
  author = {Emilie  Balland and Claude Kirchner and Pierre-Etienne Moreau},
  year = {2006},
  doi = {10.1007/11784180_7},
  url = {http://dx.doi.org/10.1007/11784180_7},
  researchr = {https://researchr.org/publication/BallandKM06},
  cites = {0},
  citedby = {0},
  pages = {51-65},
  booktitle = {Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings},
  editor = {Michael Johnson and Varmo Vene},
  volume = {4019},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35633-9},
}

@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 = {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 = {Peter Csaba Ölveczky},
  volume = {6381},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-16309-8},
}

@article{MoreauZ04,
  title = {GC:::2:::: a generational conservative garbage collector for the ATImage library},
  author = {Pierre-Etienne Moreau and Olivier Zendra},
  year = {2004},
  doi = {10.1016/j.jlap.2003.12.003},
  url = {http://dx.doi.org/10.1016/j.jlap.2003.12.003},
  researchr = {https://researchr.org/publication/MoreauZ04},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {59},
  number = {1-2},
  pages = {5-34},
}

@inproceedings{KirchnerMR06,
  title = {Formal Validation of Pattern Matching code},
  author = {Claude Kirchner and Pierre-Etienne Moreau and Antoine Reilles},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2006/697},
  tags = {pattern matching},
  researchr = {https://researchr.org/publication/KirchnerMR06},
  cites = {0},
  citedby = {0},
  booktitle = {Workshop  Trustworthy Software  2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany},
  editor = {Serge Autexier and Stephan Merz and Leendert W. N. van der Torre and Reinhard Wilhelm and Pierre Wolper},
  volume = {06000},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}

@article{KirchnerM01:0,
  title = {Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories},
  author = {Hélène Kirchner and Pierre-Etienne Moreau},
  year = {2001},
  tags = {programming languages, graph-rewriting, compiler, programming, rewriting},
  researchr = {https://researchr.org/publication/KirchnerM01%3A0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {11},
  number = {2},
  pages = {207-251},
}

@inproceedings{MoreauRV03,
  title = {A Pattern Matching Compiler for Multiple Target Languages},
  author = {Pierre-Etienne Moreau and Christophe Ringeissen and Marian Vittek},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2622/26220061.htm},
  tags = {pattern language, pattern matching, compiler},
  researchr = {https://researchr.org/publication/MoreauRV03},
  cites = {0},
  citedby = {0},
  pages = {61-76},
  booktitle = {Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
  editor = {Görel Hedin},
  volume = {2622},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00904-3},
}

@article{MoreauR08,
  title = {Rules and Strategies in Java},
  author = {Pierre-Etienne Moreau and Antoine Reilles},
  year = {2008},
  doi = {10.1016/j.entcs.2008.03.054},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.03.054},
  tags = {rule-based, Java, rules},
  researchr = {https://researchr.org/publication/MoreauR08},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {204},
  pages = {71-82},
}

@inproceedings{Moreau00,
  title = {REM (Reduce Elan Machine): Core of the New ELAN Compiler},
  author = {Pierre-Etienne Moreau},
  year = {2000},
  tags = {compiler},
  researchr = {https://researchr.org/publication/Moreau00},
  cites = {0},
  citedby = {0},
  pages = {265-269},
  booktitle = {Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  editor = {Leo Bachmair},
  volume = {1833},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67778-X},
}

@article{BorovanskyKKMV96,
  title = {ELAN: A logical framework based on computational systems},
  author = {Peter Borovanský and Claude Kirchner and Hélène Kirchner and Pierre-Etienne Moreau and Marian Vittek},
  year = {1996},
  url = {http://www.elsevier.com/gej-ng/31/29/23/29/23/show/Products/notes/index.htt#004},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/BorovanskyKKMV96},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {4},
  pages = {35-50},
}

@inproceedings{KirchnerKM08,
  title = {Anti-pattern Matching Modulo},
  author = {Claude Kirchner and Radu Kopetz and Pierre-Etienne Moreau},
  year = {2008},
  doi = {10.1007/978-3-540-88282-4_26},
  url = {http://dx.doi.org/10.1007/978-3-540-88282-4_26},
  tags = {pattern matching},
  researchr = {https://researchr.org/publication/KirchnerKM08},
  cites = {0},
  citedby = {0},
  pages = {275-286},
  booktitle = {Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers},
  editor = {Carlos Martín-Vide and Friedrich Otto and Henning Fernau},
  volume = {5196},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-88281-7},
}

@article{apigenjava,
  title = {A Generator of efficient strongly typed abstract syntax trees in Java},
  author = {Jurgen J.  Vinju and Pierre-Etienne Moreau and Mark G. J. van den Brand},
  year = {2005},
  month = {apr},
  doi = {10.1049/ip-sen:20041181},
  tags = {programming languages, Java, data-flow language, generic programming, SDF, interpreter, abstract syntax, functional programming, data-flow programming, data-flow, code generation, type checking, compiler, abstract syntax trees, programming, systematic-approach, ASF+SDF, maximal sharing},
  researchr = {https://researchr.org/publication/apigenjava},
  cites = {0},
  citedby = {0},
  journal = {IEE Proceedings Software},
  volume = {152},
  number = {2},
}

@article{BorovanskyKKMR98,
  title = {An overview of ELAN},
  author = {Peter Borovanský and Claude Kirchner and Hélène Kirchner and Pierre-Etienne Moreau and Christophe Ringeissen},
  year = {1998},
  url = {http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#022},
  researchr = {https://researchr.org/publication/BorovanskyKKMR98},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {15},
  pages = {55-70},
}

@inproceedings{MoreauK98,
  title = {A Compiler for Rewrite Programs in Associative-Commutative Theories},
  author = {Pierre-Etienne Moreau and Hélène Kirchner},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1490/14900230.htm},
  tags = {graph-rewriting, compiler, rewriting},
  researchr = {https://researchr.org/publication/MoreauK98},
  cites = {0},
  citedby = {0},
  pages = {230-249},
  booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP 98 Held Jointly with the 7th International Conference, ALP 98, Pisa, Italy, September 16-18, 1998, Proceedings},
  editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke},
  volume = {1490},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65012-1},
}

@article{BorovanskyKKM02,
  title = {ELAN from a rewriting logic point of view},
  author = {Peter Borovanský and Claude Kirchner and Hélène Kirchner and Pierre-Etienne Moreau},
  year = {2002},
  doi = {10.1016/S0304-3975(01)00358-9},
  url = {http://dx.doi.org/10.1016/S0304-3975(01)00358-9},
  tags = {graph-rewriting, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/BorovanskyKKM02},
  cites = {1},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {285},
  number = {2},
  pages = {155-185},
}

@inproceedings{Moreau98,
  title = {A Choice-Point Library for Backtrack Programming},
  author = {Pierre-Etienne Moreau},
  year = {1998},
  tags = {programming},
  researchr = {https://researchr.org/publication/Moreau98},
  cites = {0},
  citedby = {0},
  pages = {16-31},
  booktitle = {Implementation Technology for Programming Languages based on Logic},
}

@article{MoreauRV01,
  title = {Pattern-Matching Compiler},
  author = {Pierre-Etienne Moreau and Christophe Ringeissen and Marian Vittek},
  year = {2001},
  url = {http://www.elsevier.com/gej-ng/31/29/23/73/27/show/Products/notes/index.htt#012},
  tags = {pattern matching, compiler},
  researchr = {https://researchr.org/publication/MoreauRV01},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {44},
  number = {2},
  pages = {161-180},
}

@inproceedings{VittekBM05,
  title = {A collection of C, C++ and Java code understanding and refactoring plugins},
  author = {Marian Vittek and Peter Borovanský and Pierre-Etienne Moreau},
  year = {2005},
  tags = {Java, refactoring, C++},
  researchr = {https://researchr.org/publication/VittekBM05},
  cites = {0},
  citedby = {0},
  pages = {61-64},
  booktitle = {Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume, ICSM 2005, 25-30 September 2005, Budapest, Hungary},
  isbn = {9-6346-0980-5},
}

@article{KirchnerM96,
  title = {A reflective extension of ELAN},
  author = {Hélène Kirchner and Pierre-Etienne Moreau},
  year = {1996},
  url = {http://www.elsevier.com/gej-ng/31/29/23/29/23/show/Products/notes/index.htt#010},
  researchr = {https://researchr.org/publication/KirchnerM96},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {4},
  pages = {149-168},
}
@proceedings{ldta:2010,
  title = {Proceedings of the tenth workshop on Language Descriptions Tools and Applications},
  year = {2010},
  researchr = {https://researchr.org/publication/ldta%3A2010},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the tenth workshop on Language Descriptions Tools and Applications},
  conference = {LDTA},
  editor = {Claus Brabrand and Pierre-Etienne Moreau},
}