Demo Data from SIGIR 2026 / reviewers in the wild / expert
Chengtao Cao
dblp:27/4827
· DBLP profile ↗
3ranked-venue papers
1as first author
1since 2021 · last 2021
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1Computer networks · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 1 · 1 since 2021Theory of computation · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Program verification · 100% |
Topics — the 1 heaviest of 1, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program verification › system verification
kernel verification |
0.1 | 1 | 2021 | Apply Formal Methods in Certifying the SyberX High-Assurance Kernel · FM 2021 |
Methods — techniques the papers use, named apart from their topics
formal methods · 0.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Apply Formal Methods in Certifying the SyberX High-Assurance Kernel
Yongwang Zhao, Chengtao Cao, Jean Raphael Ngnie Sighom, Shihong Zou |
FM | 3 |
| 2009 | Traffic Condition Recognition of Probability Neural Network Based on Floating Car Data
Gengqi Guo, Chengtao Cao, Jiu-Zhong Li |
ISNN (3) | 2 |
| 2004 | A robust channel estimator for DS-CDMA systems under multipath fading channelsabstractThe paper addresses the problem of channel estimation for DS-CDMA systems undergoing time-varying multipath fading channels. The multipath fading channels are modeled as AR models. Based on the minimum mean square error (MMSE) criterion, the linear optimal estimator is obtained by a spectral factorization and a Diophantine polynomial matrix equation. The uncertainty of the channel model is taken into consideration to improve the robustness of the estimator. Compared with the Kalman estimator, the proposed algorithm has O(K/sup 2/) computational complexity, where K is the number of users. The simulation results show that the proposed estimator provides good estimation performance and robustness for fast fading channels. Chengtao Cao, Lihua Xie 0001, Shoulie Xie, Huanshui Zhang |
GLOBECOM | 1 |