 | 2009 |
| 15 |  | Fangxiong Xiao,
Zhiqiu Huang,
Zining Cao,
Jun Hu,
LinYuan Liu:
Modeling Cost-Aware Web Services Composition Using PTCCS.
ICWS 2009: 461-468 |
| 2008 |
| 14 |  | Junhua Zhang,
Zhiqiu Huang,
Zining Cao,
Fangxiong Xiao:
Counterexample Generation for Probabilistic Timed Automata Model Checking.
CSSE (2) 2008: 210-214 |
| 13 |  | Zining Cao:
A Logic for Distributed Higher Order pi-Calculus.
TAMC 2008: 351-363 |
| 12 |  | Zining Cao:
Equivalence Checking for a Finite Higher Order pi-Calculus.
TAP 2008: 30-47 |
| 2007 |
| 11 |  | Zining Cao:
Towards an Epistemic Logic for Uncertain Agents.
CEEMAS 2007: 266-276 |
| 10 |  | Zining Cao:
Bisimulations for a Distributed Higher Order pi -Calculus.
ICTAC 2007: 94-108 |
| 2006 |
| 9 |  | Zining Cao:
A Spatial Logical Characterisation of Context Bisimulation.
ASIAN 2006: 231-239 |
| 8 |  | Zining Cao:
Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems.
CLIMA VII 2006: 134-150 |
| 7 |  | Zining Cao:
A Complete Probabilistic Belief Logic.
CLIMA VII 2006: 80-94 |
| 6 |  | Zining Cao:
More on Bisimulations for Higher Order pi-Calculus.
FoSSaCS 2006: 63-78 |
| 5 |  | Zining Cao:
Model Checking for Real-Time Temporal, Cooperation and Epistemic Properties.
Intelligent Information Processing 2006: 63-72 |
| 4 |  | Zining Cao:
Verifying Real-Time Temporal, Cooperation and Epistemic Properties for Uncertain Agents.
MICAI 2006: 1095-1104 |
| 3 |  | Zining Cao:
Model Checking for Epistemic and Temporal Properties of Uncertain Agents.
PRIMA 2006: 46-58 |
| 2004 |
| 2 |  | Zining Cao:
A Uniform Reduction Equivalence for Process Calculi.
APLAS 2004: 179-195 |
| 2003 |
| 1 |  | Zining Cao,
Chunyi Shi:
Probabilistic Belief Logic and Its Probabilistic Aumann Semantics.
J. Comput. Sci. Technol. 18(5): 571-579 (2003) |