TPS: An Efficient VM Scheduling Algorithm for HPC Applications in Cloud. - Duoqiang Wang; Wei Dai; Chi Zhang 117; Xuanhua Shi; Hai Jin 001 (GPC, 2017)

Toward Automated Attack Discovery in SDN Controllers Through Formal Verification. - Bin Yuan; Chi Zhang 117; Jiajun Ren; Qunjinming Chen; Biang Xu; Qiankun Zhang 001; Zhen Li 027; Deqing Zou; Fan Zhang 024; Hai Jin 001 (IEEE Trans. Netw. Serv. Manag., 2024)