Huadong Ma

Guest Editorial

Guojun Wang, Huadong Ma, Huadong Ma, 2009, J. Comput..

OnRL

Xinyu Zhang, Anfu Zhou, Jiamin Lu, 2020, Proceedings of the 26th Annual International Conference on Mobile Computing and Networking.

Modeling and verification of a simple network payment protocol

Huadong Ma, Zeli Zhang, Huadong Ma, 2003, International Conference on Communication Technology Proceedings, 2003. ICCT 2003..

The formal model of a simple network payment protocol

Huadong Ma, Zeli Zhang, Huadong Ma, 2001, 2001 International Conferences on Info-Tech and Info-Net. Proceedings (Cat. No.01EX479).

RHINE: Relation Structure-Aware Heterogeneous Information Network Embedding

Linmei Hu, Chuan Shi, Huadong Ma, 2022, IEEE Transactions on Knowledge and Data Engineering.