| 2021 | ISKE | A Language for Performance Evaluation Based on the Combination of CTRML and MMTD and Its Algorithm. | Fujun Wang, Zining Cao, Shuya Wang, Hui Zong, Weiwei Lu |
| 2019 | ISKE | Parallel Monte Carlo Integration Algorithm Based on GPU. | Hui Zong, Renfeng Hua, Jianyang Zhao, Zining Cao |
| 2019 | SERA | Genetic Algorithm-Based Assume-Guarantee Reasoning for Stochastic Model Checking. | Yan Ma, Zining Cao, Yang Liu |
| 2017 | ISKE | Modeling and validation for embedded software confidentiality and integrity. | Xinwen Hu, Yi Zhuang, Zining Cao, Tong Ye, Mi Li |
| 2017 | ISKE | A specification with performance evaluation for probabilistic timed automata. | Yan Ma, Zining Cao, Yang Liu |
| 2013 | TASE | Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. | Zining Cao |
| 2013 | TASE | Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. | Zining Cao |
| 2012 | SEKE | Modal ZIA, Modal Refinement Relation and Logical Characterization. | Zining Cao |
| 2012 | TASE | A Calculus of Higher Order Safe Ambients and Its Bisimulations. | Zining Cao |
| 2011 | ENASE | Hybrid ZIA and its Approximated Refinement Relation. | Zining Cao, Hui Wang |
| 2010 | SEKE | Refinement Checking for Interface Automata with Z Notation. | Zining Cao |
| 2010 | TASE | Bisimulations for Open Processes in Higher Order p-Calculus. | Zining Cao |
| 2009 | ICWS | Modeling Cost-Aware Web Services Composition Using PTCCS. | Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Jun Hu, LinYuan Liu |
| 2009 | SNPD | A True Concurrent Process Calculus and Its Conflict Bisimulation. | Zining Cao |
| 2008 | TAMC | A Logic for Distributed Higher Order pi-Calculus. | Zining Cao |
| 2008 | TAP | Equivalence Checking for a Finite Higher Order pi-Calculus. | Zining Cao |
| 2007 | ICTAC | Bisimulations for a Distributed Higher Order | Zining Cao |
| 2006 | FOSSACS | More on Bisimulations for Higher Order | Zining Cao |
| 2006 | PRIMA | Model Checking for Epistemic and Temporal Properties of Uncertain Agents. | Zining Cao |
| 2004 | APLAS | A Uniform Reduction Equivalence for Process Calculi. | Zining Cao |