| 2025 | ICAIL | Intents in Actions. | Joseph Y. Halpern, Meir Friedenberg |
| 2024 | KR | Explaining Image Classifiers. | Hana Chockler, Joseph Y. Halpern |
| 2024 | KR | A Representation Theorem for Causal Decision Making. | Joseph Y. Halpern, Evan Piermont |
| 2023 | IJCAI | Quantifying Harm. | Sander Beckers, Hana Chockler, Joseph Y. Halpern |
| 2023 | PODC | Optimal Eventual Byzantine Agreement Protocols with Omission Failures. | Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden |
| 2023 | UAI | Inference for probabilistic dependency graphs. | Oliver E. Richardson, Joseph Y. Halpern, Christopher De Sa |
| 2022 | AAAI | On Testing for Discrimination Using Causal Models. | Hana Chockler, Joseph Y. Halpern |
| 2022 | AAAI | Reasoning about Causal Models with Infinitely Many Variables. | Joseph Y. Halpern, Spencer Peters |
| 2021 | AAAI | Probabilistic Dependency Graphs. | Oliver Richardson, Joseph Y. Halpern |
| 2021 | SSS | Security in Asynchronous Interactive Systems. | Ivan Geffner, Joseph Y. Halpern |
| 2020 | KR | Dynamic Awareness. | Joseph Y. Halpern, Evan Piermont |
| 2020 | UAI | Bounded Rationality in Las Vegas: Probabilistic Finite Automata Play Multi-Armed Bandits. | Xinming Liu, Joseph Y. Halpern |
| 2019 | AAAI | Abstracting Causal Models. | Sander Beckers, Joseph Y. Halpern |
| 2019 | AAAI | Blameworthiness in Multi-Agent Settings. | Meir Friedenberg, Joseph Y. Halpern |
| 2019 | AAAI | Partial Awareness. | Joseph Y. Halpern, Evan Piermont |
| 2019 | PODC | Implementing Mediators with Asynchronous Cheap Talk. | Ittai Abraham, Danny Dolev, Ivan Geffner, Joseph Y. Halpern |
| 2019 | UAI | Approximate Causal Abstractions. | Sander Beckers, Frederick Eberhardt, Joseph Y. Halpern |
| 2019 | SAGT | On the Existence of Nash Equilibrium in Games with Resource-Bounded Players. | Joseph Y. Halpern, Rafael Pass, Daniel Reichman |
| 2018 | AAAI | Combining Experts' Causal Judgments. | Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern |
| 2018 | AAAI | Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility. | Joseph Y. Halpern, Max Kleiman-Weiner |
| 2018 | AAAI | Information Acquisition Under Resource Limitations in a Noisy Environment. | Matvey Soloviev, Joseph Y. Halpern |
| 2018 | IJCAI | Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract). | Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan |
| 2018 | KR | Combining the Causal Judgments of Experts with Possibly Different Focus Areas. | Meir Friedenberg, Joseph Y. Halpern |
| 2017 | AAAI | Incentivising Monitoring in Open Normative Systems. | Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan |
| 2016 | KR | Sequential Equilibrium in Games of Imperfect Recall. | Joseph Y. Halpern, Rafael Pass |
| 2016 | PODC | Rational Consensus: Extended Abstract. | Joseph Y. Halpern, Xavier Vilaa |
| 2016 | UAI | MDPs with Unawareness in Robotics. | Nan Rong, Joseph Y. Halpern, Ashutosh Saxena |
| 2015 | CogSci | Responsibility judgments in voting scenarios. | Tobias Gerstenberg, Joseph Y. Halpern, Joshua B. Tenenbaum |
| 2015 | ECSQARU | Minimizing Regret in Dynamic Decision Problems. | Joseph Y. Halpern, Samantha Leung |
| 2015 | ICAART | Language-based Games. | Joseph Y. Halpern |
| 2015 | IJCAI | A Modification of the Halpern-Pearl Definition of Causality. | Joseph Y. Halpern |
| 2014 | AAAI | The Computational Complexity of Structure-Based Causality. | Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii |
| 2014 | KR | Axiomatizing Rationality. | Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass |
| 2014 | KR | Appropriate Causal Models and Stability of Causation. | Joseph Y. Halpern |
| 2013 | ECSQARU | Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty. | Joseph Y. Halpern |
| 2013 | IJCAI | Language-Based Games. | Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass |
| 2013 | IJCAI | Sequential Equilibrium in Computational Games. | Joseph Y. Halpern, Rafael Pass |
| 2013 | LICS | From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. | Joseph Y. Halpern |
| 2013 | TARK | Language-based Games. | Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass |
| 2013 | TARK | Game Theory with Translucent Players. | Joseph Y. Halpern, Rafael Pass |
| 2012 | AAAI | I'm Doing as Well as I Can: Modeling People as Rational Finite Automata. | Joseph Y. Halpern, Rafael Pass, Lior Seeman |
| 2012 | KR | Ambiguous Language and Differences in Beliefs. | Joseph Y. Halpern, Willemien Kets |
| 2012 | UAI | Weighted Sets of Probabilities and MinimaxWeighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions. | Joseph Y. Halpern, Samantha Leung |
| 2011 | ECSQARU | Constructive Decision Theory: Short Summary. | Joseph Y. Halpern |
| 2011 | TARK | Reasoning about justified belief. | Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass |
| 2010 | KR | From Causal Models To Counterfactual Structures. | Joseph Y. Halpern |
| 2010 | KR | I Don't Want to Think About it Now: Decision Theory with Costly Computation. | Joseph Y. Halpern |
| 2010 | LPAR | Awareness in Games, Awareness in Logic. | Joseph Y. Halpern |
| 2010 | UAI | MDPs with Unawareness. | Joseph Y. Halpern, Nan Rong, Ashutosh Saxena |
| 2009 | ICDE | Shared Winner Determination in Sponsored Search Auctions. | David J. Martin, Joseph Y. Halpern |
| 2009 | IJCAI | Iterated Regret Minimization: A New Solution Concept. | Joseph Y. Halpern, Rafael Pass |
| 2009 | TARK | A logical characterization of iterated admissibility. | Joseph Y. Halpern, Rafael Pass |
| 2009 | TARK | An epistemic characterization of zero knowledge. | Joseph Y. Halpern, Rafael Pass, Vasumathi Raman |
| 2009 | TARK | Reasoning about knowledge of unawareness revisited. | Joseph Y. Halpern, Leandro Chaves Rgo |
| 2008 | AAAI | From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. | Joseph Y. Halpern |
| 2008 | CONCUR | Beyond Nash Equilibrium: Solution Concepts for the 21st Century. | Joseph Y. Halpern |
| 2008 | ICDE | Toward Expressive and Scalable Sponsored Search Auctions. | David J. Martin, Johannes Gehrke, Joseph Y. Halpern |
| 2008 | KR | Beyond Nash Equilibrium: Solution Concepts for the 21st Century. | Joseph Y. Halpern |
| 2008 | KR | Defaults and Normality in Causal Structures. | Joseph Y. Halpern |
| 2008 | PODC | An almost-surely terminating polynomial protocol forasynchronous byzantine agreement with optimal resilience. | Ittai Abraham, Danny Dolev, Joseph Y. Halpern |
| 2008 | PODC | Beyond nash equilibrium: solution concepts for the 21st century. | Joseph Y. Halpern |
| 2008 | PODC | The lotus-eater attack. | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern |
| 2008 | UAI | A Game-Theoretic Analysis of Updating Sets of Probabilities. | Peter Grnwald, Joseph Y. Halpern |
| 2008 | TCC | Lower Bounds on Implementing Robust and Resilient Mediators. | Ittai Abraham, Danny Dolev, Joseph Y. Halpern |
| 2007 | ICDE | Worst-Case Background Knowledge for Privacy-Preserving Data Publishing. | David J. Martin, Daniel Kifer, Ashwin Machanavajjhala, Johannes Gehrke, Joseph Y. Halpern |
| 2007 | IJCAI | Characterizing Solution Concepts in Games Using Knowledge-Based Programs. | Joseph Y. Halpern, Yoram Moses |
| 2007 | IJCAI | Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic. | Joseph Y. Halpern, Leandro Chaves Rgo |
| 2007 | TARK | Dealing with logical omniscience. | Joseph Y. Halpern, Riccardo Pucella |
| 2007 | TARK | Generalized solution concepts in games with possibly unaware players. | Leandro Chaves Rgo, Joseph Y. Halpern |
| 2006 | KR | Redoing the Foundations of Decision Theory. | Lawrence E. Blume, David A. Easley, Joseph Y. Halpern |
| 2006 | KR | Reasoning about Knowledge of Unawareness. | Joseph Y. Halpern, Leandro Chaves Rgo |
| 2006 | PODC | Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation. | Ittai Abraham, Danny Dolev, Rica Gonen, Joseph Y. Halpern |
| 2006 | PODS | From statistical knowledge bases to degrees of belief: an overview. | Joseph Y. Halpern |
| 2005 | UAI | Evidence with Uncertain Likelihoods. | Joseph Y. Halpern, Riccardo Pucella |
| 2005 | TARK | Interactive unawareness revisited. | Joseph Y. Halpern, Leandro Chaves Rgo |
| 2004 | KR | Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. | Joseph Y. Halpern |
| 2004 | KR | Intransitivity and Vagueness. | Joseph Y. Halpern |
| 2004 | LPAR | Knowledge-Based Synthesis of Distributed Systems Using Event Structures. | Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride |
| 2004 | PODC | On spectrum sharing games. | Magns M. Halldrsson, Joseph Y. Halpern, Li (Erran) Li, Vahab S. Mirrokni |
| 2004 | STOC | Rational secret sharing and multiparty computation: extended abstract. | Joseph Y. Halpern, Vanessa Teague |
| 2004 | UAI | When Ignorance is Bliss. | Peter Grnwald, Joseph Y. Halpern |
| 2003 | IJCAI | Responsibility and Blame: A Structural-Model Approach. | Hana Chockler, Joseph Y. Halpern |
| 2003 | IJCAI | Great Expectations. Part I: On the Customizability of Generalized Expected Utility. | Francis C. Chu, Joseph Y. Halpern |
| 2003 | IJCAI | Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule. | Francis C. Chu, Joseph Y. Halpern |
| 2003 | UAI | A Logic for Reasoning about Evidence. | Joseph Y. Halpern, Riccardo Pucella |
| 2003 | TARK | Probabilistic algorithmic knowledge. | Joseph Y. Halpern, Riccardo Pucella |
| 2002 | INFOCOM | Gossip-based ad hoc routing. | Zygmunt J. Haas, Joseph Y. Halpern, Li Li |
| 2002 | PODS | Least Expected Cost Query Optimization: What Can We Expect? | Francis C. Chu, Joseph Y. Halpern, Johannes Gehrke |
| 2002 | UAI | Updating Probabilities. | Peter Grnwald, Joseph Y. Halpern |
| 2002 | UAI | Reasoning about Expectation. | Joseph Y. Halpern, Riccardo Pucella |
| 2001 | CCS | On the relationship between strand spaces and multi-agent systems. | Joseph Y. Halpern, Riccardo Pucella |
| 2001 | IJCAI | Plausibility Measures: A General Approach For Representing Uncertainty. | Joseph Y. Halpern |
| 2001 | IJCAI | Causes and Explanations: A Structural-Model Approach - Part II: Explanations. | Joseph Y. Halpern, Judea Pearl |
| 2001 | PODC | Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks. | Li Li, Joseph Y. Halpern, Paramvir Bahl, Yi-Min Wang, Roger Wattenhofer |
| 2001 | UAI | Causes and Explanations: A Structural-Model Approach: Part 1: Causes. | Joseph Y. Halpern, Judea Pearl |
| 2001 | UAI | A Logic for Reasoning about Upper Probabilities. | Joseph Y. Halpern, Riccardo Pucella |
| 2000 | DIS | Degrees of Belief, Random Worlds, and Maximum Entropy. | Joseph Y. Halpern |
| 2000 | UAI | Conditional Plausibility Measures and Bayesian Networks. | Joseph Y. Halpern |
| 1999 | LICS | Plausibility Measures and Default Reasoning: An Overview. | Joseph Y. Halpern, Nir Friedman |
| 1999 | LICS | Reasoning about Common Knowledge with Infinitely Many Agents. | Joseph Y. Halpern, Richard A. Shore |
| 1999 | PODC | A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors. | Joseph Y. Halpern, Aleta Ricciardi |
| 1999 | PODS | Least Expected Cost Query Optimization: An Exercise in Utility. | Francis C. Chu, Joseph Y. Halpern, Praveen Seshadri |
| 1998 | AAAI | Belief Revision with Unreliable Observations. | Craig Boutilier, Nir Friedman, Joseph Y. Halpern |
| 1998 | UAI | Updating Sets of Probabilities. | Adam J. Grove, Joseph Y. Halpern |
| 1998 | UAI | Axiomatizing Causal Reasoning. | Joseph Y. Halpern |
| 1998 | TARK | Hypothetical Knowledge and Counterfactual Reasoning. | Joseph Y. Halpern |
| 1998 | TARK | Characterizing the Common Prior Assumption. | Joseph Y. Halpern |
| 1998 | TARK | Using Counterfactuals in Knowledge-Based Programming. | Joseph Y. Halpern, Yoram Moses |
| 1997 | UAI | Defining Explanation in Probabilistic Systems. | Urszula Chajewska, Joseph Y. Halpern |
| 1997 | UAI | Probability Update: Conditioning vs. Cross-Entropy. | Adam J. Grove, Joseph Y. Halpern |
| 1996 | AAAI | Plausibility Measures and Default Reasoning. | Nir Friedman, Joseph Y. Halpern |
| 1996 | AAAI | First-Order Conditional Logic Revisited. | Nir Friedman, Joseph Y. Halpern, Daphne Koller |
| 1996 | AAAI | A Counterexample to Theorems of Cox and Fine. | Joseph Y. Halpern |
| 1996 | AAAI | Using Multi-Agent Systems to Represent Uncertainty. | Joseph Y. Halpern |
| 1996 | AAAI | Irrelevance and Conditioning in First-Order Probabilistic Logic. | Daphne Koller, Joseph Y. Halpern |
| 1996 | KR | Belief Revision: A Critique. | Nir Friedman, Joseph Y. Halpern |
| 1996 | UAI | A Qualitative Markov Assumption and Its Implications for Belief Change. | Nir Friedman, Joseph Y. Halpern |
| 1996 | UAI | Defining Relative Likelihood in Partially-Ordered Preferential Structures. | Joseph Y. Halpern |
| 1996 | TARK | Common Knowledge Revisited. | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
| 1996 | TARK | On Ambiguities in the Interpretation of Game Trees. | Joseph Y. Halpern |
| 1996 | TARK | Multi-Agent Only Knowing. | Joseph Y. Halpern, Gerhard Lakemeyer |
| 1995 | IJCAI | Reasoning about Noisy Sensors in the Situation Calculus. | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque |
| 1995 | IJCAI | Representation Dependence in Probabilistic Inference. | Joseph Y. Halpern, Daphne Koller |
| 1995 | PODC | Knowledge-Based Programs. | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
| 1995 | UAI | Plausibility Measures: A User's Guide. | Nir Friedman, Joseph Y. Halpern |
| 1994 | AAAI | Forming Beliefs about a Changing World. | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller |
| 1994 | AAAI | An Operational Semantics for Knowledge Bases. | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
| 1994 | AAAI | Conditional Logics of Belief Change. | Nir Friedman, Joseph Y. Halpern |
| 1994 | KR | A Knowledge-Based Framework for Belief Change, Part II: Revision and Update. | Nir Friedman, Joseph Y. Halpern |
| 1994 | KR | On the Complexity of Conditional Logics. | Nir Friedman, Joseph Y. Halpern |
| 1994 | UAI | Generating New Beliefs from Old. | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller |
| 1994 | TARK | A Knowledge-Based Framework for Belief change, Part I: Foundations. | Nir Friedman, Joseph Y. Halpern |
| 1994 | TARK | Algorithmic Knowledge. | Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
| 1993 | AAAI | Reasoning about only Knowing with Many Agents. | Joseph Y. Halpern |
| 1993 | IJCAI | Statistical Foundations for Default Reasoning. | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller |
| 1992 | AAAI | From Statistics to Beliefs. | Fahiem Bacchus, Adam J. Grove, Daphne Koller, Joseph Y. Halpern |
| 1992 | KR | A Logic for Approximate Reasoning. | Daphne Koller, Joseph Y. Halpern |
| 1992 | LICS | Random Worlds and Maximum Entropy | Adam J. Grove, Joseph Y. Halpern, Daphne Koller |
| 1992 | LICS | Zero-One Laws for Modal Logic | Joseph Y. Halpern, Bruce M. Kapron |
| 1992 | PODC | Performing Work Efficiently in the Presence of Faults. | Cynthia Dwork, Joseph Y. Halpern, Orli Waarts |
| 1992 | STOC | Asymptotic Conditional Probabilities for First-Order Logic | Adam J. Grove, Joseph Y. Halpern, Daphne Koller |
| 1992 | TARK | The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge. | Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi |
| 1991 | KR | Naming and Identity in a Multi-Agent Epistemic Logic. | Adam J. Grove, Joseph Y. Halpern |
| 1991 | KR | Model Checking vs. Theorem Proving: A Manifesto. | Joseph Y. Halpern, Moshe Y. Vardi |
| 1991 | PODC | Message-Optimal Protocols for Byzantine Agreement (Extended Abstract). | Vassos Hadzilacos, Joseph Y. Halpern |
| 1990 | AAAI | Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. | Joseph Y. Halpern, Ronald Fagin |
| 1990 | PODC | A Characterization of Eventual Byzantine Agreement. | Joseph Y. Halpern, Yoram Moses, Orli Waarts |
| 1990 | UAI | A new approach to updating beliefs. | Ronald Fagin, Joseph Y. Halpern |
| 1990 | TARK | A Nonstandard Approach to the Logical Omniscience Problem. | Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi |
| 1989 | FOCS | Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract) | Martn Abadi, Joseph Y. Halpern |
| 1989 | IJCAI | Uncertainty, Belief, and Probability. | Ronald Fagin, Joseph Y. Halpern |
| 1989 | IJCAI | An Analysis of First-Order Logics of Probability. | Joseph Y. Halpern |
| 1989 | PODC | Knowledge, Probability, and Adversaries. | Joseph Y. Halpern, Mark R. Tuttle |
| 1988 | CONCUR | Modelling Knowledge and Action in Distributed Systems. | Joseph Y. Halpern, Ronald Fagin |
| 1988 | LICS | A Logic for Reasoning about Probabilities | Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo |
| 1988 | STOC | A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) | Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle |
| 1988 | STOC | Reasoning about Knowledge and Time in Asynchronous Systems | Joseph Y. Halpern, Moshe Y. Vardi |
| 1988 | TARK | Reasoning about Knowledge and Probability. | Ronald Fagin, Joseph Y. Halpern |
| 1988 | TARK | Reasoning About Knowledge: A Tutorial. | Joseph Y. Halpern |
| 1987 | LICS | I'm OK if You're OK: On the Notion of Trusting Communication | Ronald Fagin, Joseph Y. Halpern |
| 1987 | LICS | Full Abstraction and Expressive Completenes for FP | Joseph Y. Halpern, Edward L. Wimmers |
| 1987 | PODC | A Little Knowledge Goes a Long Way: Simple Knowledge-based Derivations and Correctness Proofs for a Family of Protocols. | Joseph Y. Halpern |
| 1986 | AAAI | What Can Machines Know? On the Epistemic Properties of Machines. | Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi |
| 1986 | LICS | True Relative Completeness of an Axiom System for the Language L4 (Abridged) | Steven M. German, Edmund M. Clarke, Joseph Y. Halpern |
| 1986 | LICS | A Propositional Model Logic of Time Intervals | Joseph Y. Halpern, Yoav Shoham |
| 1986 | LICS | Good Rewrite Strategies for FP | Joseph Y. Halpern, John H. Williams, Edward L. Wimmers |
| 1986 | STOC | The Complexity of Reasoning about Knowledge and Time: Extended Abstract | Joseph Y. Halpern, Moshe Y. Vardi |
| 1986 | TARK | Reasoning About Knowledge: An Overview. | Joseph Y. Halpern |
| 1985 | IJCAI | Belief, Awareness, and Limited Reasoning: Preliminary Report. | Ronald Fagin, Joseph Y. Halpern |
| 1985 | IJCAI | A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. | Joseph Y. Halpern, Yoram Moses |
| 1985 | PODC | A Formal Model of Knowledge, Action, and Communication in Distributed Systems: Preliminary Report. | Joseph Y. Halpern, Ronald Fagin |
| 1985 | PODC | Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version). | Yoram Moses, Danny Dolev, Joseph Y. Halpern |
| 1985 | POPL | Denotational Semantics and Rewrite Rules for FP. | Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler |
| 1985 | STOC | Optimal Precision in the Presence of Uncertainty (Preliminary Version) | Joseph Y. Halpern, Nimrod Megiddo, Ashfaq A. Munshi |
| 1984 | AAAI | Likelihood, Probability, and Knowledge. | Joseph Y. Halpern, David A. McAllester |
| 1984 | FOCS | A Model-Theoretic Analysis of Knowledge: Preliminary Report | Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi |
| 1984 | PODC | Knowledge and Common Knowledge in a Distributed Environment. | Joseph Y. Halpern, Yoram Moses |
| 1984 | PODC | Fault-Tolerant Clock Synchronization. | Joseph Y. Halpern, Barbara Simons, H. Raymond Strong, Danny Dolev |
| 1984 | POPL | A Good Hoare Axiom System for an Algol-like Language. | Joseph Y. Halpern |
| 1984 | POPL | The Semantics of Local Storage, or What Makes the Free-List Free? | Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot |
| 1984 | STOC | On the Possibility and Impossibility of Achieving Clock Synchronization | Danny Dolev, Joseph Y. Halpern, H. Raymond Strong |
| 1984 | STOC | A New Look at Fault Tolerant Network Routing | Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong |
| 1983 | ICALP | A Hardware Semantics Based on Temporal Intervals. | Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski |
| 1983 | POPL | "Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time. | E. Allen Emerson, Joseph Y. Halpern |
| 1983 | STOC | A Logic to Reason about Likelihood | Joseph Y. Halpern, Michael O. Rabin |
| 1982 | FOCS | Deterministic Process Logic Is Elementary | Joseph Y. Halpern |
| 1982 | ICALP | On the Power of Nondeterminism in Dynamic Logic. | Piotr Berman, Joseph Y. Halpern, Jerzy Tiuryn |
| 1982 | POPL | On Effective Axiomatizations of Hoare Logics. | Edmund M. Clarke, Steven M. German, Joseph Y. Halpern |
| 1982 | STOC | Decision Procedures and Expressiveness in the Temporal Logic of Branching Time | E. Allen Emerson, Joseph Y. Halpern |
| 1981 | FOCS | The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract) | Joseph Y. Halpern, John H. Reif |
| 1981 | ICALP | Finite Models for Deterministic Propositional Dynamic Logic. | Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli |
| 1981 | POPL | Axiomatic Definitions of Programming Languages, II. | Joseph Y. Halpern, Albert R. Meyer |
| 1981 | STOC | Equations between Regular Terms and an Application to Process Logic | Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer, Rohit Parikh |
| 1980 | POPL | Axiomatic Definitions of Programming Languages: A Theoretical Assessment. | Albert R. Meyer, Joseph Y. Halpern |