Collaborated with:M.Ying J.Liu B.Zhan S.Wang S.Ying T.Liu N.Zhan
Talks about:quantum (3) algorithm (2) program (1) problem (1) analysi (1) termin (1) formal (1) verif (1) logic (1) hoar (1)
Person: Yangjia Li
DBLP: Li:Yangjia
Contributed to:
2019
2018Wrote 2 papers:
- CAV-2019-LiuZWYLLYZ #algorithm #hoare #logic #quantum #using #verification
- Formal Verification of Quantum Algorithms Using Quantum Hoare Logic (JL, BZ, SW, SY, TL, YL, MY, NZ), pp. 187–207.
- POPL-2018-LiY #algorithm #analysis #problem #quantum #source code #termination
- Algorithmic analysis of termination problems for quantum programs (YL, MY), p. 29.