Christophe Chareton | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Sébastien Bardin
18 publications
Benoît Valiron
14 publications
Renaud Vilmart
9 publications
Zhaowei Xu
4 publications
François Bobot
3 publications
Valentin Perrelle
2 publications
Dongho Lee
2 publications

research

∙ 09/14/2021

Formal Methods for Quantum Programs: A Survey

While recent progress in quantum hardware open the door for significant ...

0 Christophe Chareton, et al. ∙

research

∙ 03/12/2020

A Deductive Verification Framework for Circuit-building Quantum Programs

While recent progress in quantum hardware open the door for significant ...

0 Christophe Chareton, et al. ∙