Verifying automata specification of distributed probabilistic real-time systems. - Tiegeng Luo; Huowang Chen; Bingshan Wang; Ji Wang 001; Zhenghu Gong; Zhichang Qi (J. Comput. Sci. Technol., 1998)

Universal abstract consistency class and universal refutation. - Bingshan Wang; Zhoujun Li; Huowang Chen (J. Comput. Sci. Technol., 1999)

Joint Optimization of Transmission and Computing Resource in IRS-Assisted Mobile Edge Computing System. - Bingshan Wang; Rui Liu; Yang Li; Changfeng Ding; Jun-Bo Wang; Hua Zhang 002 (WCNC, 2022)

Joint Optimization of Transmission and Computing Resource in Intelligent Reflecting Surface-Assisted Mobile-Edge Computing System. - Jun-Bo Wang; Bingshan Wang; Changfeng Ding; Min Lin 001; Jiangzhou Wang (IEEE Trans. Green Commun. Netw., 2024)