| 2026 | EACL | Word Surprisal Correlates with Sentential Contradiction in LLMs. | Ning Shi, Bradley Hauer, David Basil, John Zhang, Grzegorz Kondrak |
| 2025 | ASPLOS | Rethinking Java Performance Analysis. | Stephen M. Blackburn, Zixian Cai, Rui Chen, Xi Yang, John Zhang, John N. Zigman |
| 2023 | ICECCS | Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models. | Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He |
| 2023 | SEKE | Modeling and Verification of Autonomous Driving Systems under Stochastic Spatio-Temporal Constraints. | Mengyuan Wang, Tengfei Li, Jing Liu, Hui Dou, HongTao Chen, John Zhang, Lipeng Zhang |
| 2022 | FRUCT | Where to Put A Rower: A Novel and Practical Solution to Dragon Boat Partition Problem. | Brett Regnier, John Zhang |
| 2022 | QRS | Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems. | Huiyu Liu, Jing Liu, Haiying Sun, Tengfei Li, John Zhang |
| 2022 | SEKE | A Novel Approach to Maintain Traceability between Safety Requirements and Model Design. | Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He |
| 2020 | HealthCom | A Knowledge-Based Decision Support System for In Vitro Fertilization Treatment. | Xizhe Wang, Ning Zhang, Jia Wang, Jing Ni, Xinzi Sun, John Zhang, Zitao Liu, Yu Cao, Benyuan Liu |
| 2011 | ICCV | Handling label noise in video classification via multiple instance learning. | Thomas Leung, Yang Song, John Zhang |
| 1999 | ICIAP | How to Rotate a Camera. | Carlo Tomasi, John Zhang |