

@inproceedings{BallandBKMR-RTA2007,
  author = {Balland, Emilie and Brauner, Paul and Kopetz, Radu and Moreau, Pierre-Etienne and Reilles, Antoine},
  booktitle = {Proceedings of the 18th Conference on Rewriting Techniques and Applications},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  title = {{Tom}: Piggybacking Rewriting on {Java}},
  year = {2007},
}

@inproceedings{termgraph07,
  author = {Balland, Emilie and Brauner, Paul},
  title = {Term-graph rewriting in Tom using relative positions},
  booktitle = {4th International Workshop on Computing with Terms and Graphs (TermGraph 2007)},
  year = {2007},
  address = {Braga/Portugal},
}

@inproceedings{bytecode2007,
  author = {Balland, Emilie and Moreau, Pierre-Etienne and Reilles, Antoine},
  title = {Bytecode rewriting in Tom},
  booktitle = {Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 07)},
  year = {2007},
  address = {Braga/Portugal},
}

@inproceedings{anti-ESOP07,
  author = {Kirchner, Claude and Kopetz, Radu and Moreau, Pierre-Etienne},
  title = {Anti-Pattern Matching},
  booktitle = {16th European Symposium on Programming (ESOP'07)},
  year = {2007},
  address = {Braga/Portugal},
}

@inproceedings{SETRA-06,
  author = {Balland, Emilie and Moreau, Pierre-Etienne},
  booktitle = {3rd Workshop on Software Evolution through Transformations
    (SeTra'06)},
  editor = {Favre, Jean-Marie and Heckel, Reiko and Mens, Tom},
  publisher = {Electronic Communications of EASST},
  note = {To appear},
  title = {Optimizing Pattern Matching Compilation by Program Transformation},
  year = {2006},
}

@inproceedings{balland-amast06,
  author={Balland, Emilie
    and Kirchner, Claude
    and Moreau, Pierre-Etienne},
  title = {Formal Islands},
  booktitle = {Proceedings of the 11th International Conference on Algebraic
    Methodology and Software Technology (AMAST'06)},
  address = {Kuressaare, Estonia},
  year={2006},
}

@inproceedings{Reilles-WRLA2006,
  author = {Reilles, Antoine},
  title = {Canonical Abstract Syntax Trees},
  year = {2006},
  booktitle = {Proceedings of the 6th International Workshop on Rewriting Logic
	  and its Applications},
  publisher = {Electronic Notes in Theoretical Computer Science},
  note = 	 {to appear},
  location = {Vienna, Austria},
}

@inproceedings{KirchnerMR-2005,
  author = {Kirchner, Claude
    and Moreau, Pierre-Etienne
    and Reilles, Antoine},
  title = {Formal Validation of Pattern Matching Code},
  pages = {187--197},
  year = 2005,
  month = jul,
  booktitle = {Proceedings of the 7th ACM SIGPLAN international conference on
    Principles and practice of declarative programming},
  editor = {Barahone, Pedro and Felty, Amy},
  publisher = "ACM Press",
  location = {Lisboa, Portugal},
}

@inproceedings{KahramanogullariMR-SD05,
  author = {{Kahramano{\u g}ullar{\i}}, Ozan 
    and Moreau, Pierre-Etienne
    and Reilles, Antoine},
  title = {Implementing Deep Inference in {TOM}},
  booktitle = {Structures and Deduction},
  editor = {Bruscoli, Paola and Lamarche, {Fran{\c c}ois} and Stewart, Charles},
  publisher = {Technische Universit{\"a}t Dresden},
  pages = {158--172},
  year = 2005,
  month = jul,
  note = {ISSN 1430-211X},
  location = {Lisboa, Portugal},
}

@article{apigen04,
  author = "van den Brand, Mark 
            and Moreau, Pierre-Etienne
            and Vinju, Jurgen",
  title = {
    A generator of efficient strongly typed abstract syntax trees in {Java}},
  journal = {IEE Proceedings - Software Engineering},
  volume = "152",
  number = "2",
  pages = "70--78",
  year = "2004",
  month = dec
}

@inproceedings{GuyonMR-ETX2004,
  author = {Guyon, Julien and Moreau, Pierre-{\'E}tienne and Reilles, Antoine},
  title = {An Integrated Development Environment for Pattern Matching
    Programming},
  year = {2004},
  booktitle = {Proceedings of the 2nd eclipse Technology eXchange workshop
    (eTX'2004)},
  editor = {Barry, Brian and  de Moor, Oege},
  publisher = {Electronic Notes in Theoretical Computer Science},
  location = {Barcelona, Spain},
  month = apr
}

@inproceedings{CirsteaMR-WRLA2004,
  author = {Cirstea, Horatiu and Moreau, Pierre-Etienne and Reilles, Antoine},
  title = {Rule based programming in {J}ava for protocol verification},
  year = {2004},
  booktitle = {Proceedings of the 5th International Workshop on Rewriting Logic
          and its Applications},
  editor = {Marti-Oliet, Narcisso},
  volume = 117,
  pages = {209--227},
  publisher = {Electronic Notes in Theoretical Computer Science},
  location = {Barcelona, Spain},
  month = apr
}

@inproceedings{MoreauRV-2003,
  author = {Moreau, Pierre-{\'E}tienne
    and Ringeissen, Christophe
    and Vittek, Marian},
  title = {{A Pattern Matching Compiler for Multiple Target Languages}},
  booktitle = {12th Conference on Compiler Construction},
  editor = {G. Hedin},
  month = may,
  pages = {61--76},
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = {2622},
  year = {2003},
}

@inproceedings{MoreauRV-LDTA2001,
  author = {Moreau, Pierre-Etienne and Ringeissen, Christophe and Vittek, Marian},
  title = {A Pattern-Matching Compiler},
  year = {2001},
  booktitle = {Proceedings of the 1st International Workshop on Language Descriptions, Tools and Applications}, 
  editor = {Parigot, Didier and van den Brand, Mark G. J.},
  publisher = {Electronic Notes in Theoretical Computer Science},
  Volume = 44,
  address = {Genova (Italy)},
  month = apr
}
