Yinxue Ma

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 2

Top Topics

Convergence Property

Routing Protocol

Top Venues

Inf. Process. Manag.

Telecommun. Syst.

Publications

Chuanming Yu, Yinxue Ma, Lu An, Gang Li
BCMF: A bidirectional cross-modal fusion model for fake news detection. Inf. Process. Manag. 59 (5) (2022)
Zhe Chen, Daqiang Zhang, Yinxue Ma
Modeling and analyzing the convergence property of the BGP routing protocol in SPIN. Telecommun. Syst. 58 (3) (2015)
Ping Yin, Yinxue Ma, Zhe Chen
Model Checking the Convergence Property of BGP Networks. J. Softw. 9 (6) (2014)
Zhe Chen, Daqiang Zhang, Rongbo Zhu, Yinxue Ma, Ping Yin, Feng Xie
A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks. CoRR (2013)