Chengtao Cao
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2004–2021
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FM | Apply Formal Methods in Certifying the SyberX High-Assurance Kernel. | Wenjing Xu, Yongwang Zhao, Chengtao Cao, Jean Raphael Ngnie Sighom, Lei Wang, Zhe Jiang, Shihong Zou |
| 2009 | ISNN | Traffic Condition Recognition of Probability Neural Network Based on Floating Car Data. | Gengqi Guo, Chengtao Cao, Jiu-Zhong Li, Shuo Shi |
| 2004 | GLOBECOM | A robust channel estimator for DS-CDMA systems under multipath fading channels. | Chengtao Cao, Lihua Xie, Shoulie Xie, Huanshui Zhang |