BibTeX | Compact BibTeX | - Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira. Rewrite Based Specification of Access Control Policies. ENTCS, 234:37-54, 2009. [doi]
- Francisco Durán, Manuel Roldán, Emilie Balland, Mark G. J. van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Shevchenko, Eelco Visser. The Second Rewrite Engines Competition. ENTCS, 238(3):281-291, 2009. [doi]
- Pierre-Etienne Moreau, Antoine Reilles. Rules and Strategies in Java. ENTCS, 204:71-82, 2008. [doi]
- Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau. Towards an Efficient Implementation of Tree Automata Completion. amast 2008: 67-82 [doi]
- Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau. Anti-pattern Matching Modulo. lata 2008: 275-286 [doi]
- Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles. Rewriting Strategies in Java. ENTCS, 219:97-111, 2008. [doi]
- Radu Kopetz, Pierre-Etienne Moreau. Software Quality Improvement Via Pattern Matching. FASE 2008: 296-300 [doi]
- Emilie Balland, Pierre-Etienne Moreau. Optimizing Pattern Matching Compilation by Program Transformation. eceasst, 3, 2006. [doi]
- Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau. A Simple Generic Library for C. icsr 2006: 423-426 [doi]
- Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott. Editorial. lisp, 19(4):343-344, 2006. [doi]
- Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles. Formal Validation of Pattern Matching code. dagstuhl 2006: [doi]
- Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau. Formal Islands. amast 2006: 51-65 [doi]
- Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau. A collection of C, C++ and Java code understanding and refactoring plugins. ICSM 2005: 61-64
- Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles. Rule-based Programming in Java For Protocol Verification. ENTCS, 117:209-227, 2005. [doi]
- Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles. Formal validation of pattern matching code. ppdp 2005: 187-197 [doi]
- Jurgen J. Vinju, Pierre-Etienne Moreau, Mark G. J. van den Brand. A Generator of efficient strongly typed abstract syntax trees in Java. (no title), 152(2):70-78, apr 2005. [doi]