C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Yanjin Zhu
Publication Activity (10 Years)
Years Active: 2010-2023
Publications (10 Years): 2
Top Topics
D Mesh
Home Environments
Thermal Imaging
Database
Top Venues
CoRR
Sensors
ACM SIGOPS Oper. Syst. Rev.
</>
Publications
</>
Yanjin Zhu
,
Xin Zheng
,
Jianke Zhu
Mesh-LOAM: Real-time Mesh-Based LiDAR Odometry and Mapping.
CoRR
(2023)
Lei Zhang
,
Yanjin Zhu
,
Mingliang Jiang
,
Yuchen Wu
,
Kailian Deng
,
Qin Ni
Body Temperature Monitoring for Regular COVID-19 Prevention Based on Human Daily Activity Recognition.
Sensors
21 (22) (2021)
Sidney Amani
,
Peter Chubb
,
Alastair F. Donaldson
,
Alexander Legg
,
Keng Chai Ong
,
Leonid Ryzhyk
,
Yanjin Zhu
Automatic verification of active device drivers.
ACM SIGOPS Oper. Syst. Rev.
48 (1) (2014)
Sidney Amani
,
Peter Chubb
,
Alastair F. Donaldson
,
Alexander Legg
,
Leonid Ryzhyk
,
Yanjin Zhu
Automatic Verification of Message-Based Device Drivers
SSV
(2012)
Sidney Amani
,
Leonid Ryzhyk
,
Alastair F. Donaldson
,
Gernot Heiser
,
Alexander Legg
,
Yanjin Zhu
Static analysis of device drivers: we can do better!
APSys
(2011)
Leonid Ryzhyk
,
Yanjin Zhu
,
Gernot Heiser
The case for active device drivers.
ApSys
(2010)