He Liang

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 5

Top Topics

Formal Verification

Hierarchical Structure

Top Venues

IEEE Trans. Geosci. Remote. Sens.

Publications

Yuhang Zheng, Qiyao Wang, Chengliang Zhong, He Liang, Zhengxiao Han, Yupeng Zheng
Enhancing Daily Life Through an Interactive Desktop Robotics System. CICAI (2) (2023)
Lei Han, He Liang, Haonan Chen, Wei Zhang, Yurong Ge
Convective Precipitation Nowcasting Using U-Net Model. IEEE Trans. Geosci. Remote. Sens. 60 (2022)
Junyue Tang, He Liang, Cheng Chi, Junxiao Xiao, Zixiao Lu, Ziyun Yao, Zekun Ha, Shengyuan Jiang
Design and Verification of a Projectile Structure for Main-belt Comets Penetration Exploration. ROBIO (2022)
Junyue Tang, Zekun Ha, Junxiao Xiao, Cheng Chi, Ziyun Yao, He Liang, Shengyuan Jiang
A Helium Type Turbo-blasting Device (TBD) into a Penetrating Probe for Main-belt Comets Volatiles Exploration. ROBIO (2022)
He Liang, Haonan Chen, Wei Zhang, Yurong Ge, Lei Han
Convective precipitation nowcasting using U-Net Model. IGARSS (2021)