| 2026 | DASFAA | G | Heng Zheng, Haochen You, Zijun Liu, Zijian Zhang, Lubin Gan, Hao Zhang, Wenjun Huang, Jin Huang |
| 2025 | ICAIL | AF-XRAY: Visual Explanation and Resolution of Ambiguity in Legal Argumentation Frameworks. | Yilin Xia, Heng Zheng, Shawn Bowers, Bertram Ludscher |
| 2025 | JURIX | Modeling U.S. Supreme Court Briefs with Computational Argumentation. | Heng Zheng, Dexter Williams, Bertram Ludscher |
| 2025 | MICCAI | IE-UNet: Implicit Neural Representation-Driven Whole Heart Segmentation. | Heng Zheng, Mingjing Yang |
| 2021 | ICAIL | Hardness of case-based decisions: a formal theory. | Heng Zheng, Davide Grossi, Bart Verheij |
| 2020 | COMMA | Case-Based Reasoning with Precedent Models: Preliminary Report. | Heng Zheng, Davide Grossi, Bart Verheij |
| 2020 | IJCNN | Attention-Based Multi-Model Ensemble for Automatic Cataract Detection in B-Scan Eye Ultrasound Images. | Xiaofei Zhang, Jiancheng Lv, Heng Zheng, Yongsheng Sang |
| 2020 | JURIX | Precedent Comparison in the Precedent Model Formalism: A Technical Note. | Heng Zheng, Davide Grossi, Bart Verheij |
| 2020 | JURIX | Precedent Comparison in the Precedent Model Formalism: Theory and Application to Legal Cases. | Heng Zheng, Davide Grossi, Bart Verheij |
| 2018 | JURIX | Checking the Validity of Rule-Based Arguments Grounded in Cases: A Computational Approach. | Heng Zheng, Minghui Xiong, Bart Verheij |