Zining Cao

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
More on bisimulations for higher order \(\pi\)-calculus Theoretical Computer Science	2012-08-10	Paper
Extending interface automata with Z notation Fundamentals of Software Engineering	2012-06-29	Paper
Process algebra extended with price information	2010-11-05	Paper
Representation properties of abstract default reasoning frameworks	2009-10-12	Paper
A Complete Probabilistic Belief Logic Lecture Notes in Computer Science	2009-01-20	Paper
Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems Lecture Notes in Computer Science	2009-01-20	Paper
Towards an Epistemic Logic for Uncertain Agents Multi-Agent Systems and Applications V	2008-09-25	Paper
Bisimulations for a Distributed Higher Order π-Calculus Theoretical Aspects of Computing – ICTAC 2007	2008-09-17	Paper
A Logic for Distributed Higher Order π-Calculus Lecture Notes in Computer Science	2008-05-27	Paper
Equivalence Checking for a Finite Higher Order π-Calculus Tests and Proofs	2008-04-24	Paper
On logical foundation for incomplete information databases	2007-08-28	Paper
Foundations of Software Science and Computation Structures Lecture Notes in Computer Science	2007-05-02	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2005-08-17	Paper
Probabilistic belief logic and its probabilistic Aumann semantics Journal of Computer Science and Technology	2003-11-06	Paper
scientific article; zbMATH DE number 1779398 (Why is no real title available?)	2002-08-25	Paper

Research outcomes over time

This page was built for person: Zining Cao