Publications

85 results for Joseph Y. Halpern

Clock synchronization and the power of broadcasting
- - Joseph Y. Halpern
  - Ichiro Suzuki
- 1991
- Distributed Computing
Message-optimal protocols for byzantine agreement
- - Vassos Hadzilacos
  - Joseph Y. Halpern
- 1991
- PODC 1991
A Propositional Modal Logic of Time Intervals
- - Joseph Y. Halpern
  - Yoav Shoham
- 1991
- Journal of the ACM
A Model-Theoretic Analysis of Knowledge
- - Ronald Fagin
  - Joseph Y. Halpern
  - et al.
- 1991
- Journal of the ACM
Characterization of eventual Byzantine agreement
- - Joseph Y. Halpern
  - Yoram Moses
  - et al.
- 1990
- PODC 1990
What is an inference rule?
- - Ronald Fagin
  - Joseph Y. Halpern
  - et al.
- 1990
- Jerusalem Conference on Information Technology 1990
Two views of belief: Belief as generalized probability and belief as evidence
- - Joseph Y. Halpern
  - Ronald Fagin
- 1990
- AAAI 1990
Knowledge and Common Knowledge in a Distributed Environment
- - Joseph Y. Halpern
  - Yoram Moses
- 1990
- Journal of the ACM
Completeness of Rewrite Rules and Rewrite Strategies for FP
- - Joseph Y. Halpern
  - John H. Williams
  - et al.
- 1990
- Journal of the ACM
A logic for reasoning about probabilities
- - Ronald Fagin
  - Joseph Y. Halpern
  - et al.
- 1990
- Information and Computation