garchery.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc garchery.cite -ob garchery.bib -c 'author : "garchery"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@techreport{garchery18master,
  title = {D{\'e}monstration automatique en {Coq}},
  author = {Garchery, Quentin},
  hal = {https://hal.archives-ouvertes.fr/hal-01874777},
  type = {Master thesis},
  institution = {Universit{\'e} Paris Diderot},
  year = 2018
}

@inproceedings{blot19jfla,
  topics = {team},
  title = {{SMTCoq}: automatisation expressive et extensible dans {Coq}},
  author = {Blot, Valentin and Bousalem, Amina and Garchery, Quentin and Keller, Chantal},
  hal = {https://hal.archives-ouvertes.fr/hal-02369249},
  crossref = {jfla19}
}

@inproceedings{garchery20jfla,
  topics = {team},
  title = {Des transformations logiques passent leur certicat},
  author = {Garchery, Quentin and Keller, Chantal and March{\'e}, Claude and Paskevich, Andrei},
  hal = {https://hal.inria.fr/hal-02384946},
  crossref = {jfla20}
}

@inproceedings{garchery21pxtp,
  topics = {team},
  hal = {https://hal.archives-ouvertes.fr/hal-03349223},
  title = {A Framework for Proof-carrying Logical Transformations},
  author = {Garchery, Quentin},
  booktitle = {Proof eXchange for Theorem Proving},
  series = {Electronic Proceedings in Theoretical Computer Science},
  volume = 336,
  pages = {5--23},
  year = 2021,
  month = jul,
  doi = {10.4204/EPTCS.336.2}
}

@phdthesis{garchery22phd,
  topics = {team},
  title = {Certification de la transformation de t{\^a}ches de preuve},
  author = {Garchery, Quentin},
  hal = {https://theses.hal.science/tel-03560564},
  number = {2022UPASG006},
  school = {Universit{\'e} Paris-Saclay},
  year = 2022,
  type = {Th{\`e}se de Doctorat}
}

@proceedings{jfla19,
  title = {Trenti\`emes Journ\'ees Francophones des Langages Applicatifs},
  booktitle = {Trenti\`emes Journ{\'e}es Francophones des Langages Applicatifs},
  address = {Les Rousses, France},
  year = 2019,
  month = jan,
  editor = {Magaud, Nicolas and Dargaye, Zaynah},
  hal = {https://hal.archives-ouvertes.fr/hal-01985195v1}
}

@proceedings{jfla20,
  title = {Trente-et-uni\`emes Journ\'ees Francophones des Langages Applicatifs},
  booktitle = {Trente-et-uni\`emes Journ{\'e}es Francophones des Langages Applicatifs},
  address = {Gruissan, France},
  year = 2020,
  month = jan,
  editor = {Dargaye, Zaynah and R\'egis-Gianas, Yann}
}