Conghua Zhou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2006–2022
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | QRS | Deep Reinforcement Learning for Video Summarization with Semantic Reward. | Haoran Sun, Xiaolong Zhu, Conghua Zhou |
| 2015 | TASE | Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking. | Conghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi, Yang Liu |
| 2007 | SNPD | SAT-based Bounded Model Checking for SE-LTL. | Conghua Zhou, Shiguang Ju |
| 2007 | TAMC | QBF-Based Symbolic Model Checking for Knowledge and Time. | Conghua Zhou, Zhenyu Chen, Zhihong Tao |
| 2006 | TAMC | Improved SAT Based Bounded Model Checking. | Conghua Zhou, Decheng Ding |