Zhaowei Xu | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Mingsheng Ying
32 publications
Sébastien Bardin
18 publications
Benoît Valiron
14 publications
Renaud Vilmart
9 publications
Christophe Chareton
2 publications
Valentin Perrelle
2 publications
Shenggang Ying
2 publications
Dongho Lee
2 publications

research

∙ 10/06/2021

Concrete Categorical Model of a Quantum Circuit Description Language with Measurement

In this paper, we introduce dynamic lifting to a quantum circuit-descrip...

0 Dongho Lee, et al. ∙

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

∙ 07/24/2021

Reasoning about Recursive Quantum Programs

Most modern (classical) programming languages support recursion. Recursi...

0 Zhaowei Xu, et al. ∙

research

∙ 12/02/2018

A Logic for Recursive Quantum Programs

Most modern (classical) programming languages support recursion. Recursi...

0 Zhaowei Xu, et al. ∙