Synchronizing clocks in the presence of faults
Journal of the ACM (JACM)
Distributed Computing
On the possibility and impossibility of achieving clock synchronization
Journal of Computer and System Sciences
Knowledge and implicit knowledge in a distributed environment
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Journal of the ACM (JACM)
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
Knowledge and common knowledge in a byzantine environment: crash failures
Information and Computation
Knowledge in shared memory systems (preliminary version)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
What can machines know?: On the properties of knowledge in distributed systems
Journal of the ACM (JACM)
Optimal clock synchronization under different delay assumptions
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
A theory of clock synchronization (extended abstract)
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Reasoning about knowledge
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Fault-tolerant clock synchronization
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Understanding Protocols for Byzantine Clock Synchronization
Understanding Protocols for Byzantine Clock Synchronization
Optimal and efficient clock synchronization under drifting clocks
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Bounded model checking for knowledge and real time
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Bounded model checking for knowledge and real time
Artificial Intelligence
Deriving epistemic conclusions from agent architecture
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Tight bounds for clock synchronization
Proceedings of the 28th ACM symposium on Principles of distributed computing
Tight bounds for clock synchronization
Journal of the ACM (JACM)
Gradient Clock Synchronization Using Reference Broadcasts
OPODIS '09 Proceedings of the 13th International Conference on Principles of Distributed Systems
Beyond Lamport's happened-before: on the role of time bounds in synchronous systems
DISC'10 Proceedings of the 24th international conference on Distributed computing
A logic for knowledge, correctness, and real time
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
What, indeed, is intransitive noninterference?
ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security
| Hi-index | 0.01 |