All Stories

  1. Bounding the communication complexity of fault-tolerant common coin tossing

    Article • ACM Transactions on Computation Theory, August 2024, ACM (Association for Computing Machinery)

    Joseph Halpern

  2. Chunking Tasks for Present-Biased Agents

    Article • July 2023, ACM (Association for Computing Machinery)

    Joseph Halpern

  3. In Defense of Liquid Democracy

    Article • July 2023, ACM (Association for Computing Machinery)

    Joseph Halpern

  4. Lower Bounds on Implementing Mediators in Asynchronous Systems with Rational and Malicious Agents

    Article • Journal of the ACM, January 2023, ACM (Association for Computing Machinery)

    Joseph Halpern

  5. Information Acquisition Under Resource Limitations in a Noisy Environment

    Article • Journal of the ACM, June 2022, ACM (Association for Computing Machinery)

    Joseph Halpern

  6. Sequential Equilibrium in Games of Imperfect Recall

    Article • ACM Transactions on Economics and Computation, December 2021, ACM (Association for Computing Machinery)

    Joseph Halpern

  7. Sequential Equilibrium in Computational Games

    Article • ACM Transactions on Economics and Computation, August 2019, ACM (Association for Computing Machinery)

    Joseph Halpern

  8. Distributed Protocols for Leader Election

    Article • ACM Transactions on Economics and Computation, February 2019, ACM (Association for Computing Machinery)

    Joseph Halpern

  9. A NOTE ON THE EXISTENCE OF RATIFIABLE ACTS

    Article • The Review of Symbolic Logic, October 2018, Cambridge University Press

    Joseph Halpern

  10. Introduction and Overview

    Article • May 2017, The MIT Press

    Joseph Halpern

  11. Actual Causality

    Article • May 2017, The MIT Press

    Joseph Halpern

  12. From qualitative to quantitative proofs of security properties using first-order conditional logic1

    Article • Journal of Computer Security, March 2017, IOS Press

    Joseph Halpern

  13. The truth behind the myth of the folk theorem

    Article • January 2014, ACM (Association for Computing Machinery)

    Joseph Halpern

  14. Journals for certification, conferences for rapid dissemination

    Article • Communications of the ACM, August 2011, ACM (Association for Computing Machinery)

    Joseph Halpern

  15. Computer Science and Game Theory

    Article • January 2008, Springer Science + Business Media

    Joseph Halpern

  16. Substantive Rationality and Backward Induction

    Article • SSRN Electronic Journal, January 2001, Elsevier

    Joseph Halpern

  17. CHARACTERIZING THE COMMON PRIOR ASSUMPTION

    Article • SSRN Electronic Journal, January 2001, Elsevier

    Joseph Halpern

  18. Alternative Semantics for Unawareness

    Article • SSRN Electronic Journal, January 2001, Elsevier

    Joseph Halpern

  19. Deterministic process logic is elementary

    Article • November 1982, Institute of Electrical & Electronics Engineers (IEEE)

    Joseph Halpern

  20. Computer Science and Game Theory

    Article • Springer Science + Business Media

    Joseph Halpern