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