EHSAT Modeling from Algorithm Description for RTL Model Checking. - Xiaoqing Yang; Jinian Bian; Shujun Deng; Yanni Zhao (ATS, 2007)

EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure. - Shujun Deng; Jinian Bian; Weimin Wu; Xiaoqing Yang; Yanni Zhao (DAC, 2007)

Self-adjusting constrained random stimulus generation using splitting evenness evaluation and XOR constraints. - Shujun Deng; Zhiqiu Kong; Jinian Bian; Yanni Zhao (ASP-DAC, 2009)

Random stimulus generation with self-tuning. - Yanni Zhao; Jinian Bian; Shujun Deng; Zhiqiu Kong (CSCWD, 2009)

Constrained Stimulus Generation with Self-Adjusting Using Tabu Search with Memory. - Yanni Zhao; Jinian Bian; Shujun Deng; Zhiqiu Kong; Kang Zhao (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009)

A Hole Repairing Method Based on Edge-Preserving Projection. - Yinghui Wang 001; Yanni Zhao; Ningna Wang; Xiaojuan Ning; Zhenghao Shi; Minghua Zhao; Ke Lv 002; Liangyi Huang (Edutainment, 2018)

A Hole Repairing Method Based on Slicing. - Yanni Zhao; Yinghui Wang 001; Ningna Wang; Xiaojuan Ning; Zhenghao Shi; Minghua Zhao; Ke Lv 002; Liangyi Huang (Edutainment, 2018)

Rotational-guided optimal cutting-plane extraction from point cloud. - Yinghui Wang 001; Huanhuan Zhang; Ningna Wang; Xiaojuan Ning; Yanni Zhao; Lijuan Wang; Ke Lv 002 (Multim. Tools Appl., 2020)

Design of ROS Automatic Search Robot based on Voice Interaction and Object Recognition. - Yanni Zhao; Huaizhong Zhu; Yan He (ICCAI, 2021)

Improved YOLOv5 UAV Target Detection Algorithm by Fused Attention Mechanism. - Yan He; Yanni Zhao; Hongfei Nie (CACML, 2023)

The nexus of intelligent transportation: A lightweight Bi-input fusion detection model for autonomous-rail rapid transit. - Hongjie Tang; Jirui Wang; Jiaoyi Wu; Yanni Zhao; Jiangfan Chen; Fujian Liang; Zutao Zhang (Eng. Appl. Artif. Intell., 2025)