Reasoning method between polynomial error assertions (Jul 2021) Peng Wu, Ning Xiong, Juxia Xiong, Jinzhao Wu Information (INF2021)
Quadratic difference set-based quorum generation algorithm in distributed system (Sep 2020) Peng Wu, Ning Xiong, Jiqiang Liu, Jie Meng, Jinzhao Wu 2nd World Symposium on Software Engineering (WSSE20)