Pierre-Etienne Moreau
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
11
Active years
1998–2023
Best venue rank
C
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SYNASC | Generic Encodings and Static Analysis of Constructor Rewriting Systems. | Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau |
| 2021 | PPDP | Static analysis of pattern-free properties. | Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau |
| 2020 | LOPSTR | Pattern Eliminating Transformations. | Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau |
| 2019 | FM | A Mission Definition, Verification and Validation Architecture. | Louis Viard, Laurent Ciarletta, Pierre-Etienne Moreau |
| 2019 | PPDP | Generic Encodings of Constructor Rewriting Systems. | Horatiu Cirstea, Pierre-Etienne Moreau |
| 2012 | SLE | 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 |
| 2008 | FASE | Software Quality Improvement Via Pattern Matching. | Radu Kopetz, Pierre-Etienne Moreau |
| 2008 | LATA | Anti-pattern Matching Modulo. | Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau |
| 2007 | ESOP | Anti-pattern Matching. | Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau |
| 2006 | ICSR | A Simple Generic Library for C. | Marian Vittek, Peter Borovansk, Pierre-Etienne Moreau |
| 2005 | PPDP | Formal validation of pattern matching code. | Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles |
| 2003 | CC | A Pattern Matching Compiler for Multiple Target Languages. | Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek |
| 1998 | ICLP | A Choice-Point Library for Backtrack Programming. | Pierre-Etienne Moreau |