The case for active device drivers. - Leonid Ryzhyk; Yanjin Zhu; Gernot Heiser (ApSys, 2010)

Static analysis of device drivers: we can do better! - Sidney Amani; Leonid Ryzhyk; Alastair F. Donaldson; Gernot Heiser; Alexander Legg; Yanjin Zhu (APSys, 2011)

Automatic Verification of Message-Based Device Drivers - Sidney Amani; Peter Chubb; Alastair F. Donaldson; Alexander Legg; Leonid Ryzhyk; Yanjin Zhu (SSV, 2012)

Automatic verification of active device drivers. - Sidney Amani; Peter Chubb; Alastair F. Donaldson; Alexander Legg; Keng Chai Ong; Leonid Ryzhyk; Yanjin Zhu (ACM SIGOPS Oper. Syst. Rev., 2014)

Body Temperature Monitoring for Regular COVID-19 Prevention Based on Human Daily Activity Recognition. - Lei Zhang 139; Yanjin Zhu; Mingliang Jiang; Yuchen Wu; Kailian Deng; Qin Ni (Sensors, 2021)

Mesh-LOAM: Real-time Mesh-Based LiDAR Odometry and Mapping. - Yanjin Zhu; Xin Zheng; Jianke Zhu (CoRR, 2023)

Local/Global explainability empowered expert-involved frameworks for essential tremor action recognition. - Lei Zhang 139; Yanjin Zhu; Qin Ni; Xiaochen Zheng; Zhenyu Gao; Qing Zhao (Biomed. Signal Process. Control., 2024)

Leverage Learning Behaviour Data for Students' Learning Performance Prediction and Influence Factor Analysis. - Qin Ni; Yanjin Zhu; Lingying Zhang; Xiaochen Lu; Lei Zhang 139 (IEEE Trans. Artif. Intell., 2024)

Mesh-LOAM: Real-Time Mesh-Based LiDAR Odometry and Mapping. - Yanjin Zhu; Xin Zheng 009; Jianke Zhu (IEEE Trans. Intell. Veh., 2025)

Energy Scheduling of Virtual Power Plants: A Data-Driven Enclosing Polyhedron Method. - Haoyong Chen; Yanjin Zhu; Zipeng Liang; C. Y. Chung 001; Xin Yin; Haosen Yang 001; Jianrun Chen (IEEE Trans. Ind. Informatics, 2025)