- Albert R. Meyer and Joseph Y. Halpern. Axiomatic definitions of programming
languages: A theoretical assessment. Journal of the
ACM, 29(2):555-576, April 1982.
Citations.
- Edmund M. Clarke, Jr., Steven M. German, and Joseph Y. Halpern. Effective axiomatizations of
Hoare logics. Journal of the ACM, 30(3):612-636, July
1983.
- E. Allen Emerson and Joseph Y. Halpern. ``Sometimes'' and ``not never''
revisited: On branching versus linear time temporal logic.
Journal of the ACM, 33(1):151-178, January 1986.
Citations.
- Joseph Y. Halpern, John H. Williams, and Edward L. Wimmers. Completeness of rewrite rules and
rewrite strategies for FP. Journal of the ACM,
37(1):86-143, January 1990.
Citations.
- Joseph Y. Halpern and Yoram Moses. Knowledge and common knowledge in
a distributed environment. Journal of the ACM,
37(3):549-587, July 1990.
Citations.
- Ronald Fagin, Joseph Y. Halpern, and Moshe Y. Vardi. A model-theoretic analysis of
knowledge. Journal of the ACM, 38(2):382-428, April
1991.
References,
Citations,
etc.
- Joseph Y. Halpern and Yoav Shoham. A propositional modal logic of
time intervals. Journal of the ACM, 38(4):935-962,
October 1991.
References,
Citations,
etc.
- Ronald Fagin, Joseph Y. Halpern, and Moshe Y. Vardi. What can machines know? on the
properties of knowledge in distributed systems. Journal of the
ACM, 39(2):328-376, April 1992.
References
and Citations.
- Joseph Y. Halpern and Lenore D. Zuck. A little knowledge goes a long
way: Knowledge-based derivations and correctness proofs for a family of
protocols. Journal of the ACM, 39(3):449-478, July
1992.
References
and Citations.
- Joseph Y. Halpern and Mark R. Tuttle. Knowledge, probability, and
adversaries. Journal of the ACM, 40(4):917-962,
September 1993.
References
and Citations.
- Ronald Fagin and Joseph Y. Halpern. Reasoning about knowledge and
probability. Journal of the ACM, 41(2):340-367, March
1994.
References
and Citations.
- Danny Dolev, Joseph Y. Halpern, Barbara Simons, and Ray Strong. Dynamic fault-tolerant clock
synchronization. Journal of the ACM, 42(1):143-185,
January 1995.
Abstract,
References,
etc.
- Joe Halpern. On becoming
editor-in-chief of JACM. Journal of the ACM,
44(3):363-365, May 1997.
- Ronald Fagin and Joseph Y. Halpern. Corrigendum: Reasoning about
knowledge and probability. Journal of the ACM,
45(1):214, January 1998.
References.
- Joseph Y. Halpern. Time
to publication: A progress report. Journal of the ACM,
45(3):379-380, May 1998.
Shortcuts: