Zining Cao

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Zhiqiu Huang [14]
2Chunyi Shi [1]
3Fangxiong Xiao [14]
4Junhua Zhang [14]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)