EDBT 2026 Demo / reviewers in the wild / expert
Chaofeng Yu
dblp:342/4977
· DBLP profile ↗
5ranked-venue papers
1as first author
5since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 1 first-author · 3 since 2021Software engineering, systems software and programming languages · 2 · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Verifying chip designs at RTL level
Nan Zhang 0001, Zhijie Xu, Cong Tian 0001, Chaofeng Yu |
Sci. Comput. Program. | 6 |
| 2025 | SAT-based bounded model checking for propositional projection temporal logic
Cong Tian 0001, Nan Zhang 0001, Chaofeng Yu, Mengfei Yang |
Theor. Comput. Sci. | 4 |
| 2023 | An Approach to Agent Path Planning Under Temporal Logic Constraints
Chaofeng Yu, Nan Zhang 0001, Cong Tian 0001 |
COCOON (2) | 1 |
| 2023 | Verifying Chips Design at RTL Level
Nan Zhang 0001, Cong Tian 0001, Zhijie Xu, Chaofeng Yu |
TASE | 6 |
| 2023 | A proof system for unified temporal logic
Nan Zhang 0001, Chaofeng Yu, Cong Tian 0001 |
Theor. Comput. Sci. | 2 |