Performance analysis for synchronous OFDM-CDMA with joint frequency-time spreading. - Kan Zheng; Guoyan Zeng; Lei Lei 004; Wenbo Wang 007 (ICC, 2004)

Analysis and optimization of pilot-symbol-assisted MC-CDMA systems. - Kan Zheng; Guoyan Zeng; Wenbo Wang 007 (WCNC, 2004)

A novel uplink channel estimation in OFDM-CDMA systems. - Kan Zheng; Guoyan Zeng; Wenbo Wang 007 (IEEE Trans. Consumer Electron., 2004)

Performance analysis for OFDM-CDMA with joint frequency-time spreading. - Kan Zheng; Guoyan Zeng; Wenbo Wang 007 (IEEE Trans. Broadcast., 2005)

Formalization and Verification of Cyclic Group. - Yue Tang; Yang Xu 001; Peiyao Liu; Guoyan Zeng (ISKE, 2021)

Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy. - Guoyan Zeng; Yang Xu 001; Guanfeng Wu; Feng Cao (ISKE, 2021)

Data Complexity and Its Effect on EBRB System Accuracy. - Yiqing Xian; Guoyan Zeng; Jun Liu 001 (UCAmI, 2024)

A complementary ratio based clause selection method for contradiction separation dynamic deduction. - Guoyan Zeng; Shuwei Chen 001; Jun Liu 001; Yang Xu 001; Peiyao Liu (Knowl. Based Syst., 2024)