| 2008 |
|---|
| 8 | EE | Emilie Balland,
Yohan Boichut,
Thomas Genet,
Pierre-Etienne Moreau:
Towards an Efficient Implementation of Tree Automata Completion.
AMAST 2008: 67-82 |
| 7 | EE | Emilie Balland,
Pierre-Etienne Moreau:
Term-Graph Rewriting Via Explicit Paths.
RTA 2008: 32-47 |
| 6 | EE | Emilie Balland,
Paul Brauner:
Term-graph Rewriting in Tom Using Relative Positions.
Electr. Notes Theor. Comput. Sci. 203(1): 3-17 (2008) |
| 5 | EE | Emilie Balland,
Pierre-Etienne Moreau,
Antoine Reilles:
Rewriting Strategies in Java.
Electr. Notes Theor. Comput. Sci. 219: 97-111 (2008) |
| 2007 |
|---|
| 4 | EE | Emilie Balland,
Paul Brauner,
Radu Kopetz,
Pierre-Etienne Moreau,
Antoine Reilles:
Tom: Piggybacking Rewriting on Java.
RTA 2007: 36-47 |
| 3 | EE | Emilie Balland,
Pierre-Etienne Moreau,
Antoine Reilles:
Bytecode Rewriting in Tom.
Electr. Notes Theor. Comput. Sci. 190(1): 19-33 (2007) |
| 2006 |
|---|
| 2 | EE | Emilie Balland,
Claude Kirchner,
Pierre-Etienne Moreau:
Formal Islands.
AMAST 2006: 51-65 |
| 1 | EE | Emilie Balland,
Pierre-Etienne Moreau:
Optimizing Pattern Matching Compilation by Program Transformation.
ECEASST 3: (2006) |
