Querying Parametric Temporal Logic Properties on Embedded Systems. - Hengyi Yang; Bardh Hoxha; Georgios E. Fainekos (ICTSS, 2012)

A Detection Algorithm of Giant Panda in Wild Video Image Based on Wavelet-SSD Network. - Jingzhi Fang; Hengyi Yang; Peng Chen; Chenyang Wang; Shaoxiang Hu (SMC, 2020)

Flexible Fusion Network for Multi-Modal Brain Tumor Segmentation. - Hengyi Yang; Tao Zhou 002; Yi Zhou 007; Yizhe Zhang 001; Huazhu Fu (IEEE J. Biomed. Health Informatics, 2023)

Aviation Communication Protection Protocol Based on SM4 Cryptography Algorithm. - Liang Liu 012; Hengyi Yang; Zhijun Wu 001; Meng Yue (CCCE, 2024)