| 2026 | ICPR | Explicit Analytical Reconstruction and Global Geometric Constraints for Micron-Level Telecentric 3D Metrology. | Zhenhua Liu, Yuping Ye, Jixin Liang, Feifei Gu, Zhan Song |
| 2026 | TACAS | ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers. | Chen Chen, Daniela Kaufmann, Chenhui Deng, Zhan Song, Hongce Zhang, Cunxi Yu |
| 2025 | DAC | BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation. | Jiaqi Yin, Zhan Song, Chen Chen, Qihao Hu, Cunxi Yu |
| 2025 | ICASSP | Accurate 3D Facial Paralysis Analysis Using Multi-View Infrared Structured Light System. | Di Wu, Yuping Ye, Jixin Liang, Shiyang Long, Zhan Song |
| 2025 | ICCAD | e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving. | Jiaqi Yin, Zhan Song, Chen Chen, Yaohui Cai, Zhiru Zhang, Cunxi Yu |
| 2025 | USENIX | HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation. | Jiaqi Yin, Zhan Song, Nicolas Bohm Agostini, Antonino Tumeo, Cunxi Yu |
| 2024 | ICASSP | Adaptive Head Pose Estimation with Real-Time Structured Light. | Yijun Wang, Yuping Ye, Feifei Gu, Zhan Song, Xiaodong Bai |
| 2022 | ACCV | CSIE: Coded Strip-Patterns Image Enhancement Embedded in Structured Light-Based Methods. | Wei Cao, Yuping Ye, Chu Shi, Zhan Song |
| 2019 | MMSP | Vehicle Positioning and Ranging with Static Traffic Camera based on 2D-3D Tracking and Re-Projection. | Zhan Song, Yipeng Liu, Yiling Xu, Le Yang, Quan Li |
| 2018 | ICPR | Non-iterative multiple data registration method based on the motion screw theory and trackable features. | Pei Xu, Feifei Gu, Zhan Song, Jun Li |
| 2017 | ICVS | An Automatic 3D Textured Model Building Method Using Stripe Structured Light System. | Hualie Jiang, Yuping Ye, Zhan Song, Suming Tang, Yuming Dong |
| 2017 | ICVS | Calibration of a Structured Light Measurement System Using Binary Shape Coding. | Hai Zeng, Suming Tang, Zhan Song, Feifei Gu, Ziyu Huang |
| 2016 | ICIP | A practical means for the optimization of structured light system calibration parameters. | Yuping Ye, Zhan Song |
| 2016 | ICPR | A novel photometric stereo method with nonisotropic point light sources. | Ying Nie, Zhan Song |
| 2014 | ICIP | Hand posture recognition using approximate vanishing ideal generators. | Yanguo Zhao, Zhan Song |
| 2014 | SMC | Mean shift-based single image dehazing with re-refined transmission map. | Qingsong Zhu, Jiaming Mai, Zhan Song, Di Wu, Jianjun Wang, Lei Wang |
| 2013 | ICIP | SUPERCUT: An accurate and effective interactive image segmentation algorithm. | Qingsong Zhu, Ling Shao, Zhan Song, Yaoqin Xie |
| 2012 | ICPR | An efficient r-KDE model for the segmentation of dynamic scenes. | Qingsong Zhu, Zhan Song, Yaoqin Xie |
| 2010 | ICIP | Dynamic video segmentation via a novel recursive Bayesian learning method. | Qingsong Zhu, Zhan Song |
| 2010 | ISVC | A Local-Frame Based Method for Vector Field Construction on Raw Point Cloud. | Xufang Pang, Zhan Song, Xi Chen |
| 2010 | ISVC | Hand Detection and Gesture Recognition Exploit Motion Times Image in Complicate Scenarios. | Zhan Song, Hanxuan Yang, Yanguo Zhao, Feng Zheng |
| 2010 | ISVC | A Novel Photometric Method for Real-Time 3D Reconstruction of Fingerprint. | Wuyuan Xie, Zhan Song, Xiaoting Zhang |
| 2010 | ISVC | An Incremental PCA-HOG Descriptor for Robust Visual Hand Tracking. | Hanxuan Yang, Zhan Song, Runen Chen |
| 2008 | ICIP | Grid point extraction exploiting point symmetry in a pseudo-random color pattern. | Zhan Song, Ronald Chung |
| 2007 | ISVC | 3D Shape Recovery by the Use of Single Image Plus Simple Pattern Illumination. | Zhan Song, Ronald Chung |