2023
Bird Intrusion Detection Method for Transmission Lines Based on YOLOv5-SBM.
Proceedings of the 4th International Conference on Big Data & Artificial Intelligence & Software Engineering, 2023

2013
Effective Message-Sequence Generation for Testing BPEL Programs.
IEEE Trans. Serv. Comput., 2013

2012
Secure quantum report with authentication based on six-particle cluster state and entanglement swapping.
Sci. China Inf. Sci., 2012

2010
A quantitative method of n-Valued R0 propositional logic.
Proceedings of the Seventh International Conference on Fuzzy Systems and Knowledge Discovery, 2010

2009
Generating Effective Test Sequences for BPEL Testing.
Proceedings of the Ninth International Conference on Quality Software, 2009

Consistency Degrees of Theories in the Revised n-Valued Kleene Logical System.
Proceedings of the Fifth International Conference on Natural Computation, 2009