Guoyan Zeng
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2004–2021
Best venue rank
National
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ISKE | Formalization and Verification of Cyclic Group. | Yue Tang, Yang Xu, Peiyao Liu, Guoyan Zeng |
| 2021 | ISKE | Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy. | Guoyan Zeng, Yang Xu, Guanfeng Wu, Feng Cao |
| 2004 | WCNC | Analysis and optimization of pilot-symbol-assisted MC-CDMA systems. | Kan Zheng, Guoyan Zeng, Wenbo Wang |