2019-phd.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2019-phd.cite -ob 2019-phd.bib -c 'year = 2019 and topics : "team" and $type="phdthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@phdthesis{melquiond19hdr,
  topics = {team},
  title = {Formal Verification for Numerical Computations, and the Other Way Around},
  author = {Melquiond, Guillaume},
  hal = {https://tel.archives-ouvertes.fr/tel-02194683},
  school = {Universit\'e Paris Sud},
  year = 2019,
  month = apr,
  type = {Habilitation \`a diriger des recherches}
}

@phdthesis{coquereau19phd,
  topics = {team},
  title = {Am{\'e}lioration de performances du solveur {SMT} {Alt-Ergo} gr{\^a}ce {\`a} l'int{\'e}gration d'un solveur {SAT} efficace},
  author = {Coquereau, Albin},
  hal = {https://pastel.archives-ouvertes.fr/tel-02504894},
  number = {2019SACLY007},
  school = {Universit{\'e} Paris-Saclay},
  year = 2019,
  type = {Th{\`e}se de Doctorat}
}

@phdthesis{faissole19phd,
  topics = {team},
  title = {Formalisations d'analyses d'erreurs en analyse num{\'e}rique et en arithm{\'e}tique {\`a} virgule flottante},
  author = {Faissole, Florian},
  hal = {https://tel.archives-ouvertes.fr/tel-02470728},
  number = {2019SACLS594},
  school = {Universit{\'e} Paris Saclay},
  year = 2019,
  type = {Th{\`e}se de Doctorat}
}

@phdthesis{roux19phd,
  topics = {team},
  title = {Extensions de l'algorithme d'atteignabilit{\'e} arri{\`e}re dans le cadre de la v{\'e}rification de mod{\`e}les modulo th{\'e}ories},
  author = {Roux, Mattias},
  hal = {https://tel.archives-ouvertes.fr/tel-02496033},
  number = {2019SACLS582},
  school = {Universit{\'e} Paris Saclay},
  year = 2019,
  type = {Th{\`e}se de Doctorat}
}