Common knowledge revisited
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1999
- Annals of Pure and Applied Logic
Paper
Publications
14 results for Yoram Moses
Fully polynomial byzantine agreement for n > 3t processors in t + 1 rounds
- Juan A. Garay
- Yoram Moses
- 1998
- SIAM Journal on Computing
PaperKnowledge-based programs
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1997
- Distributed Computing
PaperKnowledge-based programs
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1995
- PODC 1995
Conference paperOperational semantics for knowledge bases
- Ronald Fagin
- Yoram Moses
- et al.
- 1994
- aaai 1994
Conference paperFully polynomial byzantine agreement in t + 1 rounds
- Juan A. Garay
- Yoram Moses
- 1993
- STOC 1993
Conference paperA guide to completeness and complexity for modal logics of knowledge and belief
- Joseph Y. Halpern
- Yoram Moses
- 1992
- Artificial Intelligence
PaperCharacterization of eventual Byzantine agreement
- Joseph Y. Halpern
- Yoram Moses
- et al.
- 1990
- PODC 1990
Conference paperKnowledge and Common Knowledge in a Distributed Environment
- Joseph Y. Halpern
- Yoram Moses
- 1990
- Journal of the ACM
PaperKnowledge and common knowledge in a Byzantine environment: Crash failures
- Cynthia Dwork
- Yoram Moses
- 1990
- Information and Computation
Paper