| 2025 | ICPADS | NL2CSP: Towards Automated CSP Code Generation with Large Language Models. | Chenhui Wang, Nuowei Liu, Han Bao, Di Wu, Huiying Liu, Jiaqi Yin, Huibiao Zhu |
| 2025 | MICCAI | Autoregressive Medical Image Segmentation via Next-Scale Mask Prediction. | Tao Chen, Chenhui Wang, Zhihao Chen, Hongming Shan |
| 2025 | SEKE | Verifying the Communication and Security Mechanisms of WAMP. | Han Bao, Chenhui Wang, Huibiao Zhu |
| 2024 | COMPSAC | Formalization and Verification of Percolator Using CSP. | Chenhui Wang, Ziqing Su, Huibiao Zhu |
| 2024 | IJCAI | FLDM-VTON: Faithful Latent Diffusion Model for Virtual Try-on. | Chenhui Wang, Tao Chen, Zhihao Chen, Zhizhong Huang, Taoran Jiang, Qi Wang, Hongming Shan |
| 2023 | MICCAI | BerDiff: Conditional Bernoulli Diffusion Model for Medical Image Segmentation. | Tao Chen, Chenhui Wang, Hongming Shan |
| 2020 | QRS | Research and Development of ICT Call Center Data Auxiliary Analysis System Based on Knowledge Discovery. | Xiangna Li, Zhongping Xu, Xuedong Li, Tao Zhang, Rongrong Zheng, Xiao Han, Chenhui Wang, Bing Tian |