Analytical modeling of link duration for vehicular ad hoc networks in urban environment. - Miao Hu 001; Zhangdui Zhong; Haoqing Zhu; Minming Ni; Chih-Yung Chang (Vehicular Ad Hoc Networks, 2013)

TSRF: A Trust-Aware Secure Routing Framework in Wireless Sensor Networks. - Junqi Duan; Dong Yang 001; Haoqing Zhu; Sidong Zhang; Jing Zhao 004 (Int. J. Distributed Sens. Networks, 2014)

Operation optimization of Household Intelligent Electrical Equipment Based on Time-of-Use Price. - Linjun Shi; Xiaozhe Wang; Haoqing Zhu; Shilong Wang; Qihang Yang; Kejun Qian (CCECE, 2019)

Parallel and Incremental Verification of Hybrid Automata with Ray and Verse. - Haoqing Zhu; Yangge Li; Keyi Shen; Sayan Mitra (ATVA (1), 2023)

Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios. - Yangge Li; Haoqing Zhu; Katherine Braught; Keyi Shen; Sayan Mitra (CAV (1), 2023)