Guoyan Zeng

According to our database, Guoyan Zeng authored at least 9 papers between 2004 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Multilayer inverse dynamic deduction algorithm of standard contradiction separation rule based on parallel mechanism.

Guoyan Zeng, Guanfeng Wu, Shuwei Chen, Peiyao Liu, Jun Liu, Yang Xu, Jian Zhong

Eng. Appl. Artif. Intell., 2026

2024

A complementary ratio based clause selection method for contradiction separation dynamic deduction.

Guoyan Zeng, Shuwei Chen, Jun Liu, Yang Xu, Peiyao Liu

Knowl. Based Syst., 2024

Data Complexity and Its Effect on EBRB System Accuracy.

Yiqing Xian, Guoyan Zeng, Jun Liu

Proceedings of the International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI 2024), 2024

2021

Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy.

Guoyan Zeng, Yang Xu, Guanfeng Wu, Feng Cao

Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

Formalization and Verification of Cyclic Group.

Yue Tang, Yang Xu, Peiyao Liu, Guoyan Zeng

Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

2005

Performance analysis for OFDM-CDMA with joint frequency-time spreading.

Kan Zheng, Guoyan Zeng, Wenbo Wang

IEEE Trans. Broadcast., 2005

2004

A novel uplink channel estimation in OFDM-CDMA systems.

Kan Zheng, Guoyan Zeng, Wenbo Wang

IEEE Trans. Consumer Electron., 2004

Analysis and optimization of pilot-symbol-assisted MC-CDMA systems.

Kan Zheng, Guoyan Zeng, Wenbo Wang

Proceedings of the 2004 IEEE Wireless Communications and Networking Conference , 2004

Performance analysis for synchronous OFDM-CDMA with joint frequency-time spreading.

Kan Zheng, Guoyan Zeng, Lei Lei, Wenbo Wang

Proceedings of IEEE International Conference on Communications, 2004