Prototyping Completion with Constraints Using Computational Systems. - Hélène Kirchner; Pierre-Etienne Moreau (RTA, 1995)

ELAN: A logical framework based on computational systems. - Peter Borovanský; Claude Kirchner; Hélène Kirchner; Pierre-Etienne Moreau; Marian Vittek (WRLA, 1996)

A reflective extension of ELAN. - Hélène Kirchner; Pierre-Etienne Moreau (WRLA, 1996)

A Choice-Point Library for Backtrack Programming. - Pierre-Etienne Moreau (Implementation Technology for Programming Languages based on Logic, 1998)

A Compiler for Rewrite Programs in Associative-Commutative Theories. - Pierre-Etienne Moreau; Hélène Kirchner (PLILP/ALP, 1998)

Non-deterministic Computations in ELAN. - Hélène Kirchner; Pierre-Etienne Moreau (WADT, 1998)

Handling ELAN rewrite programs via an exchange format. - Peter Borovanský; Salma Jamoussi; Pierre-Etienne Moreau; Christophe Ringeissen (WRLA, 1998)

An overview of ELAN. - Peter Borovanský; Claude Kirchner; Hélène Kirchner; Pierre-Etienne Moreau; Christophe Ringeissen (WRLA, 1998)

REM (Reduce Elan Machine): Core of the New ELAN Compiler. - Pierre-Etienne Moreau (RTA, 2000)

Pattern-Matching Compiler. - Pierre-Etienne Moreau; Christophe Ringeissen; Marian Vittek (LDTA@ETAPS, 2001)

Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories. - Hélène Kirchner; Pierre-Etienne Moreau (J. Funct. Program., 2001)

The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration. - Mark van den Brand; Pierre-Etienne Moreau; Christophe Ringeissen (LDTA@ETAPS, 2002)

ELAN from a rewriting logic point of view. - Peter Borovanský; Claude Kirchner; Hélène Kirchner; Pierre-Etienne Moreau (Theor. Comput. Sci., 2002)

A Pattern Matching Compiler for Multiple Target Languages. - Pierre-Etienne Moreau; Christophe Ringeissen; Marian Vittek (CC, 2003)

Environments for Term Rewriting Engines for Free! - Mark van den Brand; Pierre-Etienne Moreau; Jurgen J. Vinju (RTA, 2003)

Preface. - Jean-Louis Giavitto; Pierre-Etienne Moreau (RULE@RDP, 2003)

Rule-based Programming in Java For Protocol Verification. - Horatiu Cirstea; Pierre-Etienne Moreau; Antoine Reilles (WRLA, 2004)

An Integrated Development Environment for Pattern Matching Programming. - Julien Guyon; Pierre-Etienne Moreau; Antoine Reilles (eTX, 2004)

GC2: a generational conservative garbage collector for the ATImage library. - Pierre-Etienne Moreau; Olivier Zendra (J. Log. Algebraic Methods Program., 2004)

A collection of C, C++ and Java code understanding and refactoring plugins. - Marian Vittek; Peter Borovanský; Pierre-Etienne Moreau (ICSM (Industrial and Tool Volume), 2005)

Formal validation of pattern matching code. - Claude Kirchner; Pierre-Etienne Moreau; Antoine Reilles (PPDP, 2005)

Generator of efficient strongly typed abstract syntax trees in Java. - Mark van den Brand; Pierre-Etienne Moreau; Jurgen J. Vinju (IEE Proc. Softw., 2005)

Formal Islands. - Emilie Balland; Claude Kirchner; Pierre-Etienne Moreau (AMAST, 2006)

A Simple Generic Library for C. - Marian Vittek; Peter Borovanský; Pierre-Etienne Moreau (ICSR, 2006)

A C++ Refactoring Browser and Method Extraction. - Marian Vittek; Peter Borovanský; Pierre-Etienne Moreau (SET, 2006)

Optimizing Pattern Matching Compilation by Program Transformation. - Emilie Balland; Pierre-Etienne Moreau (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Editorial. - Olivier Danvy; Andrzej Filinski; Jean-Louis Giavitto; Andy King; Pierre-Etienne Moreau; Carolyn L. Talcott (High. Order Symb. Comput., 2006)

Anti-pattern Matching. - Claude Kirchner; Radu Kopetz; Pierre-Etienne Moreau (ESOP, 2007)

Tom: Piggybacking Rewriting on Java. - Emilie Balland; Paul Brauner; Radu Kopetz; Pierre-Etienne Moreau; Antoine Reilles (RTA, 2007)

Bytecode Rewriting in Tom. - Emilie Balland; Pierre-Etienne Moreau; Antoine Reilles (Bytecode@ETAPS, 2007)

Rewriting Strategies in Java. - Emilie Balland; Pierre-Etienne Moreau; Antoine Reilles (RULE@RDP, 2007)

Rules and Strategies in Java. - Pierre-Etienne Moreau; Antoine Reilles (WRS@RDP, 2007)

Programmation et confiance. (Programming and Confidence). - Pierre-Etienne Moreau (2008)

Towards an Efficient Implementation of Tree Automata Completion. - Emilie Balland; Yohan Boichut; Thomas Genet; Pierre-Etienne Moreau (AMAST, 2008)

Software Quality Improvement Via Pattern Matching. - Radu Kopetz; Pierre-Etienne Moreau (FASE, 2008)

Anti-pattern Matching Modulo. - Claude Kirchner; Radu Kopetz; Pierre-Etienne Moreau (LATA, 2008)

Term-Graph Rewriting Via Explicit Paths. - Emilie Balland; Pierre-Etienne Moreau (RTA, 2008)

Rewrite Based Specification of Access Control Policies. - Horatiu Cirstea; Pierre-Etienne Moreau; Anderson Santana de Oliveira (SecReT@LICS/CSF, 2008)

The Second Rewrite Engines Competition. - Francisco Durán 001; Manuel Roldán; Emilie Balland; Mark van den Brand; Steven Eker; Karl Trygve Kalleberg; Lennart C. L. Kats; Pierre-Etienne Moreau; Ruslan Schevchenko; Eelco Visser (WRLA, 2008)

TomML: A Rule Language for Structured Data. - Horatiu Cirstea; Pierre-Etienne Moreau; Antoine Reilles (RuleML, 2009)

A Type System for Tom - Claude Kirchner; Pierre-Etienne Moreau; Cláudia Tavares (RULE, 2009)

Preface. - Claus Brabrand; Pierre-Etienne Moreau (LDTA, 2010)

The Third Rewrite Engines Competition. - Francisco Durán 001; Manuel Roldán; Jean-Christophe Bach; Emilie Balland; Mark van den Brand; James R. Cordy; Steven Eker; Luc Engelen; Maartje de Jonge; Karl Trygve Kalleberg; Lennart C. L. Kats; Pierre-Etienne Moreau; et al. (WRLA, 2010)

Anti-patterns for rule-based languages. - Horatiu Cirstea; Claude Kirchner; Radu Kopetz; Pierre-Etienne Moreau (J. Symb. Comput., 2010)

Model transformations with Tom. - Jean-Christophe Bach; Xavier Crégut; Pierre-Etienne Moreau; Marc Pantel (LDTA, 2012)

Island Grammar-Based Parsing Using GLL and Tom. - Ali Afroozeh; Jean-Christophe Bach; Mark van den Brand; Adrian Johnstone; Maarten Manders; Pierre-Etienne Moreau; Elizabeth Scott (SLE, 2012)

Effective strategic programming for Java developers. - Emilie Balland; Pierre-Etienne Moreau; Antoine Reilles (Softw. Pract. Exp., 2014)

A faithful encoding of programmable strategies into term rewriting systems. - Horatiu Cirstea; Sergueï Lenglet; Pierre-Etienne Moreau (RTA, 2015)

Chronique - Défis 2015. - Philippe Collet; Lydie du Bousquet; Laurence Duchien; Pierre-Etienne Moreau (Tech. Sci. Informatiques, 2015)

Faithful (meta-)encodings of programmable strategies into term rewriting systems. - Horatiu Cirstea; Sergueï Lenglet; Pierre-Etienne Moreau (Log. Methods Comput. Sci., 2017)

A Mission Definition, Verification and Validation Architecture. - Louis Viard; Laurent Ciarletta; Pierre-Etienne Moreau (FM Workshops (1), 2019)

Generic Encodings of Constructor Rewriting Systems. - Horatiu Cirstea; Pierre-Etienne Moreau (PPDP, 2019)

Pattern Eliminating Transformations. - Horatiu Cirstea; Pierre Lermusiaux; Pierre-Etienne Moreau (LOPSTR, 2020)

Static analysis of pattern-free properties. - Horatiu Cirstea; Pierre Lermusiaux; Pierre-Etienne Moreau (PPDP, 2021)

Generic Encodings and Static Analysis of Constructor Rewriting Systems. - Horatiu Cirstea; Pierre Lermusiaux; Pierre-Etienne Moreau (SYNASC, 2023)