Yangjia Li | DeepAI

DeepAI

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

Featured Co-authors

Mingsheng Ying
32 publications
Guohua Wu
14 publications
Mingshuai Chen
11 publications
Naijun Zhan
10 publications
Hui Lu
7 publications
Dominique Unruh
5 publications

research

∙ 03/20/2019

Quantum Relational Hoare Logic with Expectations

We present a variant of the quantum relational Hoare logic from (Unruh, ...

0 Yangjia Li, et al. ∙

research

∙ 10/26/2018

Reasoning about Parallel Quantum Programs

We initiate the study of parallel quantum programming by defining the op...

0 Mingsheng Ying, et al. ∙

research

∙ 10/18/2015

Termination Analysis of Polynomial Programs with Equality Conditions

In this paper, we investigate the termination problem of a family of pol...

0 Yangjia Li, et al. ∙