Travelled to:1 × Japan
Collaborated with:X.Gong J.Liu B.Zhan S.Wang S.Ying T.Liu Y.Li M.Ying N.Zhan
Talks about:quantum (2) algorithm (1) inpaint (1) kinect (1) formal (1) filter (1) verif (1) logic (1) depth (1) hoar (1)
Person: Junyi Liu
DBLP: Liu:Junyi
Contributed to:
2012
2019Wrote 2 papers:
- ICPR-2012-LiuGL #artificial reality
- Guided inpainting and filtering for Kinect depth maps (JL, XG, JL), pp. 2055–2058.
- 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.