Login / Signup
Kaiqiang Hu
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 3
Top Topics
Signature Verification
Model Checking
Intelligent User Interfaces
Cloud Computing
Top Venues
FMANO@SIGCOMM
APNet
SmartCloud
</>
Publications
</>
Kaiqiang Hu
,
Haizhou Du
,
Yao Wang
Heracles: A Novel State-based Distributed Verification Framework for DNS Configurations.
FMANO@SIGCOMM
(2024)
Yao Wang
,
Kexin Yu
,
Ziyi Wang
,
Kaiqiang Hu
,
Haizhou Du
,
Qiao Xiang
,
Xing Fang
,
Geng Li
,
Ruiting Zhou
,
Linghe Kong
,
Jiwu Shu
Rethinking DNS Configuration Verification with a Distributed Architecture.
APNet
(2024)
Ziyi Zhang
,
Caishan Guo
,
Yuyan Sun
,
Kaiqiang Hu
,
Qinghai Wang
,
Yuzhao Wu
,
Zexiang Cai
Cloud Computing Placement Optimization Under Ubiquitous Power Internet of Things Background.
SmartCloud
(2019)