A Scheduling Strategy for Parallel Proof Checking and Verification. - Pei He; Lishan Kang; Zengliang Xiao; Zhuoyu Xiao (ICNSC, 2008)

Computing Quasi-Nash Equilibria via Gradient-Response Schemes. - Zhuoyu Xiao; Uday V. Shanbhag (L4DC, 2025)