| 2026 | FM | FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines. | Xindi Zhang, Furong Ye, Zhihan Chen, Shaowei Cai |
| 2025 | DAC | X-SAT: An Efficient Circuit-Based SAT Solver. | Yuhang Qian, Zhihan Chen, Xindi Zhang, Shaowei Cai |
| 2025 | WCNC | Self-Correcting Beam Training Scheme for Metasurface Enabled XL-MIMO with Hardware Limitations. | Zhihan Chen, Shupei Zhang, Shaohua Yue, Boya Di |
| 2024 | CP | ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization. | Zhihan Chen, Peng Lin, Hao Hu, Shaowei Cai |
| 2024 | IJCAI | ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism. | Peng Lin, Mengchuan Zou, Zhihan Chen, Shaowei Cai |
| 2024 | IGARSS | SAR Despeckling Via Regional Denoising Diffusion Probabilistic Model. | Xuran Hu, Ziqiang Xu, Zhihan Chen, Zhenpeng Feng, Mingzhe Zhu, Ljubisa Stankovic |
| 2023 | ICCAD | Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking. | Zhihan Chen, Xindi Zhang, Yuhang Qian, Qiang Xu, Shaowei Cai |
| 2023 | VTC | Transfer Learning assisted Beam Training via Large-Scale Intelligent Omni-surface in Dynamic Environments. | Zhihan Chen, Shuhang Zhang, Shuhao Zeng, Boya Di |