Publications are organized first by topic, and then chronologically. To search for a specific paper, your best bet might be to go directly to the list of abstracts, and use the find feature on your browser.

Joseph Y. Halpern's Publications

Publications Organized by Topic

This is a rough organization, with lots of overlap:

• Reasoning about Knowledge
  • Surveys and Overviews
  • Technical Papers
• Reasoning about Uncertainty
  • Surveys and Overviews
  • Probabilistic Reasoning
  • From Statistics to Beliefs
  • Plausibility Measures
  • Dempster-Shafer Belief Functions
  • Likelihood and Other Qualitative Approaches
  • Causal Counterfactual Reasoning
  • Evidence
  • Belief Change
  • Nonmonotonic Reasoning, Default Reasoning, and Only Knowing
• Modal Logic: completeness, complexity, and expressiveness results for various modal logics, including epistemic, probabilistic, and temporal logics.
• Distributed Computing
• Game Theory
• Decision Theory
• Logics of Programs and Functional Programming
• Security
• Networks
• Miscellaneous Papers

Publications Organized Chronologically

• A. Books
• B. Articles in Books
• C. Papers in Journals
• D. Papers in Conference Proceedings
• E. Unrefereed Publications (including invited papers, reviews, responses, and editorials)
• F. Patents

http://scholar.google.com/citations?hl=en&user=FsBCAfgAAAAJ