The complexity of reasoning about knowledge and time
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Reasoning about knowledge and time in asynchronous systems
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
A knowledge-based analysis of zero knowledge
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
What can machines know?: On the properties of knowledge in distributed systems
Journal of the ACM (JACM)
Efficient Model Checking of Causal-Knowledge Protocols
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Common knowledge and update in finite environments. I: extended abstract
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Reasoning about knowledge: an overview
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Knowledge, Time, and Logical Omniscience
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Automata for Epistemic Temporal Logic with Synchronous Communication
Journal of Logic, Language and Information
A universally defined undecidable unimodal logic
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
Hi-index | 0.00 |