| 2026 | ACL | ProtoCycle: Reflective Tool-Augmented Planning for Text-Guided Protein Design. | Yutang Ge, Guojiang Zhao, Sihang Li, Zheng Cheng, Zifeng Zhao, Hanchen Xia, Guolin Ke, Linfeng Zhang, Zhifeng Gao, Yu Guang Wang |
| 2025 | NAACL | SciAssess: Benchmarking LLM Proficiency in Scientific Literature Analysis. | Hengxing Cai, Xiaochen Cai, Junhan Chang, Sihang Li, Lin Yao, Changxin Wang, Zhifeng Gao, Hongshuai Wang, Yongge Li, Mujie Lin, Shuwen Yang, Jiankun Wang, Mingjun Xu, Jin Huang, Xi Fang, Jiaxi Zhuang, Yuqi Yin, Yaqi Li, Changhong Chen, Zheng Cheng, Zifeng Zhao, Linfeng Zhang, Guolin Ke |
| 2023 | ASSETS | VisPhoto: Photography for People with Visual Impairments via Post-Production of Omnidirectional Camera Imaging. | Naoki Hirabayashi, Masakazu Iwamura, Zheng Cheng, Kazunori Minatani, Koichi Kise |
| 2021 | MEDI | A Refinement Strategy for Hybrid System Design with Safety Constraints. | Zheng Cheng, Dominique Mry |
| 2020 | CHI | VisPhoto: Photography for People with Visual Impairment as Post-Production of Omni-Directional Camera Image. | Masakazu Iwamura, Naoki Hirabayashi, Zheng Cheng, Kazunori Minatani, Koichi Kise |
| 2020 | IGARSS | Polsar Image Classification based on Optimal Feature and Convolution Neural Network. | Ping Han, Zetao Chen, Yishuang Wan, Zheng Cheng |
| 2020 | MODELS | Certifying a rule-based model transformation engine for proof preservation. | Zheng Cheng, Massimo Tisi, Joachim Hotonnier |
| 2019 | SEC | Removing Problems in Rule-Based Policies. | Zheng Cheng, Jean-Claude Royer, Massimo Tisi |
| 2018 | IFM | Efficiently Characterizing the Undefined Requests of a Rule-Based System. | Zheng Cheng, Jean-Claude Royer, Massimo Tisi |
| 2017 | FASE | A Deductive Approach for Fault Localization in ATL Model Transformations. | Zheng Cheng, Massimo Tisi |
| 2017 | ICST | Incremental Deductive Verification for Relational Model Transformations. | Zheng Cheng, Massimo Tisi |
| 2016 | ISoLA | On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin. | Zheng Cheng, Dominique Mry, Rosemary Monahan |
| 2016 | MODELS | Towards incremental deductive verification for ATL. | Zheng Cheng, Massimo Tisi |
| 2013 | FIT | Characterization of Millimeter-Wave Active and Passive Components Embedded in Test Fixtures. | Ghulam Mehdi, Anyong Hu, Zheng Cheng, Jungang Miao, Abdul Mueed |
| 2012 | CADE | A Simple Complexity Measurement for Software Verification and Software Testing. | Zheng Cheng, Rosemary Monahan, James F. Power |
| 2010 | CSCWD | Research of configuration management in complex equipment collaborative R&D. | Dingyong Tang, Zheng Cheng, Dongmei Xie, Yizhen Tao |