​
Login / Signup
Chengtao Cao
Publication Activity (10 Years)
Years Active: 2004-2021
Publications (10 Years): 2
Top Topics
Provably Correct
Traffic Flows
Formal Methods
Incident Detection
Top Venues
Int. J. Netw. Virtual Organisations
FM
</>
Publications
</>
Wenjing Xu
,
Yongwang Zhao
,
Chengtao Cao
,
Jean Raphael Ngnie Sighom
,
Lei Wang
,
Zhe Jiang
,
Shihong Zou
Apply Formal Methods in Certifying the SyberX High-Assurance Kernel.
FM
(2021)
Chengtao Cao
Research on the intellectual traffic flow control system based on multi-agent along with self-governing vehicle and system of wireless sensor network.
Int. J. Netw. Virtual Organisations
19 (2/3/4) (2018)
Gengqi Guo
,
Chengtao Cao
,
Jiu-Zhong Li
,
Shuo Shi
Traffic Condition Recognition of Probability Neural Network Based on Floating Car Data.
ISNN (3)
(2009)
Chengtao Cao
,
Lihua Xie
,
Huanshui Zhang
Channel Estimator Design for DS-CDMA Systems: A Polynomial Approach in Krein Space.
IEEE Trans. Veh. Technol.
57 (2) (2008)
Chengtao Cao
,
Lihua Xie
,
Huanshui Zhang
,
Shoulie Xie
A robust channel estimator for DS-CDMA systems under multipath fading channels.
IEEE Trans. Signal Process.
54 (1) (2006)
Chengtao Cao
,
Lihua Xie
,
Huanshui Zhang
A Polynomial H∞ Channel Estimator for DS-CDMA Systems under Multipath Fading Channels.
CDC
(2006)
Chengtao Cao
,
Lihua Xie
,
Shoulie Xie
,
Huanshui Zhang
A robust channel estimator for DS-CDMA systems under multipath fading channels.
GLOBECOM
(2004)