Demo Data from EDBT 2026 / reviewers in the wild / expert
Cao Feng
dblp:26/1038
· DBLP profile ↗
4ranked-venue papers
2as first author
2since 2021 · last 2026
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021Human-computer interaction and ubiquitous computing · 1 · 1 since 2021Theory of computation · 1
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.
| Theoretical computer science
1 paper |
Logic in computer science · 50% Automated reasoning and model checking · 50% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Logic in computer science
higher-order logic |
0.0 | 1 | 1992 | Towards Inductive Generalization in Higher Order Logic · ML 1992 |
Automated reasoning and model checking › theorem proving
inductive generalization |
0.0 | 1 | 1992 | Towards Inductive Generalization in Higher Order Logic · ML 1992 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Exfiltration-resistant edge computing framework for secure intelligent transportation systems
Ahmed Elkhalil, Wael Khalafalla, Salahuddin Unar, Cao Feng, Udit Mamodiya |
Pervasive Mob. Comput. | 5 |
| 2025 | A Web-based Framework for Spatiotemporal Integrity Verification of Dam Safety Monitoring DataabstractEnsuring the completeness and accuracy of dam safety monitoring data is critical for structural health assessment and risk management. Traditional monitoring systems often lack mechanisms to systematically validate data integrity across time and space, resulting in missed anomalies and delayed interventions. This paper presents a web-based framework for spatiotemporal integrity verification tailored to dam safety applications. The framework combines rule-based validation logic, semantic metadata modeling, and interactive web visualization to automate the detection of missing values, inconsistent sampling, and logical violations. It supports real-time data ingestion, validation execution, and anomaly reporting through an intuitive web interface. A case study using publicly available dam datasets demonstrates the system’s effectiveness in identifying data gaps and improving operational awareness. Evaluation results confirm high accuracy in anomaly detection, efficient processing under load, and enhanced usability for engineering users. The proposed solution offers a scalable, extensible, and domain-aware platform for intelligent infrastructure monitoring. Cao Feng, Li Xiaowei, Han Jishuang |
J. Web Eng. | 1 |
| 1997 | Improving Image Classification by Combining Statistical, Case-Based and Model Based Prediction MethodsabstractEvidence for image classification can be considered to come from two sources: traditional statistical information derived algorithmically from image data, and model-based evidence arising from previous expertise and experience in a given application Peter Clark, Cao Feng, Stan Matwin, Ko Fung |
Fundam. Informaticae | 2 |
| 1992 | Towards Inductive Generalization in Higher Order Logic
Cao Feng, Stephen H. Muggleton |
ML | 1 |