Chengtao Cao

According to our database, Chengtao Cao authored at least 6 papers between 2006 and 2021.

Collaborative distances:

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

2021

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

Proceedings of the Formal Methods - 24th International Symposium, 2021

2018

Research on the intellectual traffic flow control system based on multi-agent along with self-governing vehicle and system of wireless sensor network.

Chengtao Cao

Int. J. Netw. Virtual Organisations, 2018

2009

Traffic Condition Recognition of Probability Neural Network Based on Floating Car Data.

Gengqi Guo, Chengtao Cao, Jiu-Zhong Li, Shuo Shi

Proceedings of the Advances in Neural Networks, 2009

2008

Channel Estimator Design for DS-CDMA Systems: A Polynomial Approach in Krein Space.

Chengtao Cao, Lihua Xie, Huanshui Zhang

IEEE Trans. Veh. Technol., 2008

2006

A robust channel estimator for DS-CDMA systems under multipath fading channels.

Chengtao Cao, Lihua Xie, Huanshui Zhang, Shoulie Xie

IEEE Trans. Signal Process., 2006

A Polynomial H∞ Channel Estimator for DS-CDMA Systems under Multipath Fading Channels.

Chengtao Cao, Lihua Xie, Huanshui Zhang

Proceedings of the 45th IEEE Conference on Decision and Control, 2006