Hongzhen Zhong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2020–2021
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICCAD | An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae. | Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei, Biqing Fang, Xiaotong Song |
| 2021 | ICSE | How to Identify Boundary Conditions with Contrasty Metric? | Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen |
| 2020 | APSEC | Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification. | Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang |