Multi-target Dynamic Group Segmentation Algorithm Based on Trajectory Probability Hypothesis Density. - Qingdong Huang; Yiyuan Cao; Xiaorui Li; Qing Liu (AIPR, 2021)

Automated periodontitis bone loss diagnosis in panoramic radiographs using a bespoke two-stage detector. - Zhengmin Kong; Hui Ouyang; Yiyuan Cao; Tao Huang 008; Euijoon Ahn; Maoqi Zhang; Huan Liu (Comput. Biol. Medicine, 2023)

Semantics Lifting for Syntactic Sugar. - Zhichao Guan; Yiyuan Cao; Tailai Yu; Ziheng Wang; Di Wang 017; Zhenjiang Hu (Proc. ACM Program. Lang., 2024)

Artifact for OOPSLA'24: Semantics Lifting for Syntactic Sugar. - Zhichao Guan; Yiyuan Cao; Tailai Yu; Ziheng Wang; Di Wang 017; Zhenjiang Hu (Zenodo, 2024)

Artifact for OOPSLA'24: Semantics Lifting for Syntactic Sugar. - Zhichao Guan; Yiyuan Cao; Tailai Yu; Ziheng Wang; Di Wang 017; Zhenjiang Hu (Zenodo, 2024)

C*: Unifying Programming and Verification in C. - Yiyuan Cao; Jiayi Zhuang; Houjin Chen; Jinkai Fan; Wenbo Xu; Zhiyi Wang; Di Wang 017; Qinxiang Cao; Yingfei Xiong 001; Haiyan Zhao 001; Zhenjiang Hu (CoRR, 2025)