A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks. - Zhe Chen 011; Daqiang Zhang 001; Rongbo Zhu; Yinxue Ma; Ping Yin; Feng Xie (CoRR, 2013)

Model Checking the Convergence Property of BGP Networks. - Ping Yin; Yinxue Ma; Zhe Chen (J. Softw., 2014)

Modeling and analyzing the convergence property of the BGP routing protocol in SPIN. - Zhe Chen 011; Daqiang Zhang 001; Yinxue Ma (Telecommun. Syst., 2015)

BCMF: A bidirectional cross-modal fusion model for fake news detection. - Chuanming Yu; Yinxue Ma; Lu An; Gang Li (Inf. Process. Manag., 2022)