Haoqing Zhu

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 4

Top Topics

Sensor Networks

Oriented Programming

Open Source Software

Cognitive Agents

Top Venues

Vehicular Ad Hoc Networks

Int. J. Distributed Sens. Networks

Publications

Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra
Verse: A Python library for reasoning about multi-agent hybrid system scenarios. CoRR (2023)
Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra
Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios. CAV (1) (2023)
Haoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra
Parallel and Incremental Verification of Hybrid Automata with Ray and Verse. ATVA (1) (2023)
Linjun Shi, Xiaozhe Wang, Haoqing Zhu, Shilong Wang, Qihang Yang, Kejun Qian
Operation optimization of Household Intelligent Electrical Equipment Based on Time-of-Use Price. CCECE (2019)
Junqi Duan, Dong Yang, Haoqing Zhu, Sidong Zhang, Jing Zhao
TSRF: A Trust-Aware Secure Routing Framework in Wireless Sensor Networks. Int. J. Distributed Sens. Networks 10 (2014)
Miao Hu, Zhangdui Zhong, Haoqing Zhu, Minming Ni, Chih-Yung Chang
Analytical modeling of link duration for vehicular ad hoc networks in urban environment. Vehicular Ad Hoc Networks (2013)