BibTeX records: Antoine Reilles

download as .bib file

@article{DBLP:journals/spe/BallandMR14,
  author       = {Emilie Balland and
                  Pierre{-}Etienne Moreau and
                  Antoine Reilles},
  title        = {Effective strategic programming for Java developers},
  journal      = {Softw. Pract. Exp.},
  volume       = {44},
  number       = {2},
  pages        = {129--162},
  year         = {2014},
  url          = {https://doi.org/10.1002/spe.2159},
  doi          = {10.1002/SPE.2159},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/BallandMR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/CirsteaMR09,
  author       = {Horatiu Cirstea and
                  Pierre{-}Etienne Moreau and
                  Antoine Reilles},
  editor       = {Guido Governatori and
                  John Hall and
                  Adrian Paschke},
  title        = {TomML: {A} Rule Language for Structured Data},
  booktitle    = {Rule Interchange and Applications, International Symposium, RuleML
                  2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5858},
  pages        = {262--271},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04985-9\_24},
  doi          = {10.1007/978-3-642-04985-9\_24},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/CirsteaMR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BallandBKMR07,
  author       = {Emilie Balland and
                  Paul Brauner and
                  Radu Kopetz and
                  Pierre{-}Etienne Moreau and
                  Antoine Reilles},
  editor       = {Franz Baader},
  title        = {Tom: Piggybacking Rewriting on Java},
  booktitle    = {Term Rewriting and Applications, 18th International Conference, {RTA}
                  2007, Paris, France, June 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4533},
  pages        = {36--47},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73449-9\_5},
  doi          = {10.1007/978-3-540-73449-9\_5},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BallandBKMR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BallandMR07,
  author       = {Emilie Balland and
                  Pierre{-}Etienne Moreau and
                  Antoine Reilles},
  editor       = {Marieke Huisman and
                  Fausto Spoto},
  title        = {Bytecode Rewriting in Tom},
  booktitle    = {Proceedings of the Second Workshop on Bytecode Semantics, Verification,
                  Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal,
                  March 31, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {190},
  number       = {1},
  pages        = {19--33},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.058},
  doi          = {10.1016/J.ENTCS.2007.02.058},
  timestamp    = {Tue, 31 Jan 2023 15:42:47 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BallandMR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MoreauR08,
  author       = {Pierre{-}Etienne Moreau and
                  Antoine Reilles},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Rules and Strategies in Java},
  booktitle    = {Proceedings of the 7th International Workshop on Reduction Strategies
                  in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25,
                  2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {204},
  pages        = {71--82},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.03.054},
  doi          = {10.1016/J.ENTCS.2008.03.054},
  timestamp    = {Mon, 13 Feb 2023 13:51:35 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MoreauR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BallandMR08,
  author       = {Emilie Balland and
                  Pierre{-}Etienne Moreau and
                  Antoine Reilles},
  editor       = {Joost Visser and
                  Victor Winter},
  title        = {Rewriting Strategies in Java},
  booktitle    = {Proceedings of the Eighth International Workshop on Rule Based Programming,
                  RULE@RDP 2007, Paris, France, June 29, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {219},
  pages        = {97--111},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.10.037},
  doi          = {10.1016/J.ENTCS.2008.10.037},
  timestamp    = {Fri, 17 Feb 2023 10:42:59 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BallandMR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/hal/Reilles06,
  author       = {Antoine Reilles},
  title        = {R{\'{e}}{\'{e}}criture et compilation de confiance. (Rewriting
                  and trustworthy compilation)},
  school       = {National Polytechnic Institute of Lorraine, Nancy, France},
  year         = {2006},
  url          = {https://tel.archives-ouvertes.fr/tel-01752777},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Reilles06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/KirchnerMR06,
  author       = {Claude Kirchner and
                  Pierre{-}Etienne Moreau and
                  Antoine Reilles},
  editor       = {Serge Autexier and
                  Stephan Merz and
                  Leendert W. N. van der Torre and
                  Reinhard Wilhelm and
                  Pierre Wolper},
  title        = {Formal Validation of Pattern Matching code},
  booktitle    = {Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University,
                  Saarbr{\"{u}}cken, Germany},
  series       = {OASIcs},
  volume       = {3},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2006/697},
  timestamp    = {Tue, 15 Feb 2022 09:40:05 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/KirchnerMR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Reilles07,
  author       = {Antoine Reilles},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Canonical Abstract Syntax Trees},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {165--179},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.014},
  doi          = {10.1016/J.ENTCS.2007.06.014},
  timestamp    = {Tue, 24 Jan 2023 12:37:22 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Reilles07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0601019,
  author       = {Antoine Reilles},
  title        = {Canonical Abstract Syntax Trees},
  journal      = {CoRR},
  volume       = {abs/cs/0601019},
  year         = {2006},
  url          = {http://arxiv.org/abs/cs/0601019},
  eprinttype    = {arXiv},
  eprint       = {cs/0601019},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0601019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/KirchnerMR05,
  author       = {Claude Kirchner and
                  Pierre{-}Etienne Moreau and
                  Antoine Reilles},
  editor       = {Pedro Barahona and
                  Amy P. Felty},
  title        = {Formal validation of pattern matching code},
  booktitle    = {Proceedings of the 7th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 11-13 2005,
                  Lisbon, Portugal},
  pages        = {187--197},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1069774.1069792},
  doi          = {10.1145/1069774.1069792},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/KirchnerMR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GuyonMR04,
  author       = {Julien Guyon and
                  Pierre{-}Etienne Moreau and
                  Antoine Reilles},
  editor       = {Brian M. Barry and
                  Oege de Moor},
  title        = {An Integrated Development Environment for Pattern Matching Programming},
  booktitle    = {Proceedings of the Second Eclipse Technology Exchange: eTX and the
                  Eclipse Phenomenon, eTX 2004, Barcelona, Spain, March 30, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {107},
  pages        = {33--49},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.02.045},
  doi          = {10.1016/J.ENTCS.2004.02.045},
  timestamp    = {Fri, 09 Dec 2022 12:32:38 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GuyonMR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CirsteaMR05,
  author       = {Horatiu Cirstea and
                  Pierre{-}Etienne Moreau and
                  Antoine Reilles},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Rule-based Programming in Java For Protocol Verification},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {209--227},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.022},
  doi          = {10.1016/J.ENTCS.2004.06.022},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CirsteaMR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.