The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Joseph Y. Halpern: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Joseph Y. Halpern, Yoram Moses
    Knowledge and Common Knowledge in a Distributed Environment. [Citation Graph (3, 0)][DBLP]
    PODC, 1984, pp:50-61 [Conf]
  2. Joseph Y. Halpern, Ronald Fagin
    Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. [Citation Graph (2, 0)][DBLP]
    AAAI, 1990, pp:112-119 [Conf]
  3. Joseph Y. Halpern, Yoav Shoham
    A Propositional Model Logic of Time Intervals [Citation Graph (2, 0)][DBLP]
    LICS, 1986, pp:279-292 [Conf]
  4. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
    A Model-Theoretic Analysis of Knowledge: Preliminary Report [Citation Graph (1, 0)][DBLP]
    FOCS, 1984, pp:268-278 [Conf]
  5. Joseph Y. Halpern
    An Analysis of First-Order Logics of Probability. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1989, pp:1375-1381 [Conf]
  6. Nir Friedman, Joseph Y. Halpern
    A Knowledge-Based Framework for Belief Change, Part II: Revision and Update. [Citation Graph (1, 0)][DBLP]
    KR, 1994, pp:190-201 [Conf]
  7. Joseph Y. Halpern, Moshe Y. Vardi
    Model Checking vs. Theorem Proving: A Manifesto. [Citation Graph (1, 0)][DBLP]
    KR, 1991, pp:325-334 [Conf]
  8. Joseph Y. Halpern, Ronald Fagin
    A Formal Model of Knowledge, Action, and Communication in Distributed Systems: Preliminary Report. [Citation Graph (1, 0)][DBLP]
    PODC, 1985, pp:224-236 [Conf]
  9. Joseph Y. Halpern, Barbara Simons, H. Raymond Strong, Danny Dolev
    Fault-Tolerant Clock Synchronization. [Citation Graph (1, 0)][DBLP]
    PODC, 1984, pp:89-102 [Conf]
  10. Francis C. Chu, Joseph Y. Halpern, Praveen Seshadri
    Least Expected Cost Query Optimization: An Exercise in Utility. [Citation Graph (1, 13)][DBLP]
    PODS, 1999, pp:138-147 [Conf]
  11. Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler
    Denotational Semantics and Rewrite Rules for FP. [Citation Graph (1, 0)][DBLP]
    POPL, 1985, pp:108-120 [Conf]
  12. Adam J. Grove, Joseph Y. Halpern, Daphne Koller
    Asymptotic Conditional Probabilities for First-Order Logic [Citation Graph (1, 0)][DBLP]
    STOC, 1992, pp:294-305 [Conf]
  13. Joseph Y. Halpern, Michael O. Rabin
    A Logic to Reason about Likelihood [Citation Graph (1, 0)][DBLP]
    STOC, 1983, pp:310-319 [Conf]
  14. Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo
    A Logic for Reasoning about Probabilities [Citation Graph (1, 0)][DBLP]
    Inf. Comput., 1990, v:87, n:1/2, pp:78-128 [Journal]
  15. E. Allen Emerson, Joseph Y. Halpern
    ``Sometimes'' and ``Not Never'' revisited: on branching versus linear time temporal logic. [Citation Graph (1, 0)][DBLP]
    J. ACM, 1986, v:33, n:1, pp:151-178 [Journal]
  16. Joseph Y. Halpern, Yoram Moses
    Knowledge and Common Knowledge in a Distributed Environment [Citation Graph (1, 0)][DBLP]
    J. ACM, 1990, v:37, n:3, pp:549-587 [Journal]
  17. Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller
    Forming Beliefs about a Changing World. [Citation Graph (0, 0)][DBLP]
    AAAI, 1994, pp:222-229 [Conf]
  18. Fahiem Bacchus, Adam J. Grove, Daphne Koller, Joseph Y. Halpern
    From Statistics to Beliefs. [Citation Graph (0, 0)][DBLP]
    AAAI, 1992, pp:602-608 [Conf]
  19. Craig Boutilier, Nir Friedman, Joseph Y. Halpern
    Belief Revision with Unreliable Observations. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:127-134 [Conf]
  20. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
    What Can Machines Know? On the Epistemic Properties of Machines. [Citation Graph (0, 0)][DBLP]
    AAAI, 1986, pp:428-435 [Conf]
  21. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
    An Operational Semantics for Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    AAAI, 1994, pp:1142-1147 [Conf]
  22. Nir Friedman, Joseph Y. Halpern
    Conditional Logics of Belief Change. [Citation Graph (0, 0)][DBLP]
    AAAI, 1994, pp:915-921 [Conf]
  23. Nir Friedman, Joseph Y. Halpern
    Plausibility Measures and Default Reasoning. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 2, 1996, pp:1297-1304 [Conf]
  24. Nir Friedman, Joseph Y. Halpern, Daphne Koller
    First-Order Conditional Logic Revisited. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 2, 1996, pp:1305-1312 [Conf]
  25. Joseph Y. Halpern
    Reasoning about only Knowing with Many Agents. [Citation Graph (0, 0)][DBLP]
    AAAI, 1993, pp:655-661 [Conf]
  26. Joseph Y. Halpern
    A Counterexample to Theorems of Cox and Fine. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 2, 1996, pp:1313-1319 [Conf]
  27. Joseph Y. Halpern
    Using Multi-Agent Systems to Represent Uncertainty. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 2, 1996, pp:1329-1330 [Conf]
  28. Joseph Y. Halpern, David A. McAllester
    Likelihood, Probability, and Knowledge. [Citation Graph (0, 0)][DBLP]
    AAAI, 1984, pp:137-141 [Conf]
  29. Daphne Koller, Joseph Y. Halpern
    Irrelevance and Conditioning in First-Order Probabilistic Logic. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 1, 1996, pp:569-576 [Conf]
  30. Joseph Y. Halpern, Leandro Chaves Rêgo
    Extensive games with possibly unaware players. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:744-751 [Conf]
  31. Joseph Y. Halpern, Riccardo Pucella
    On the relationship between strand spaces and multi-agent systems. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer and Communications Security, 2001, pp:106-115 [Conf]
  32. Joseph Y. Halpern, Ronald Fagin
    Modelling Knowledge and Action in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Concurrency, 1988, pp:18-32 [Conf]
  33. Joseph Y. Halpern, Ron van der Meyden
    A Logic for SDSI's Linked Local Name Spaces. [Citation Graph (0, 0)][DBLP]
    CSFW, 1999, pp:111-122 [Conf]
  34. Joseph Y. Halpern, Kevin R. O'Neill
    Secrecy in Multiagent Systems. [Citation Graph (0, 0)][DBLP]
    CSFW, 2002, pp:32-0 [Conf]
  35. Joseph Y. Halpern, Kevin R. O'Neill
    Anonymity and Information Hiding in Multiagent Systems. [Citation Graph (0, 0)][DBLP]
    CSFW, 2003, pp:75-88 [Conf]
  36. Joseph Y. Halpern, Vicky Weissman
    Using First-Order Logic to Reason about Policies. [Citation Graph (0, 0)][DBLP]
    CSFW, 2003, pp:187-201 [Conf]
  37. Joseph Y. Halpern, Vicky Weissman
    A Formal Foundation for XrML. [Citation Graph (0, 0)][DBLP]
    CSFW, 2004, pp:251-0 [Conf]
  38. Joseph Y. Halpern, Ron van der Meyden
    A Logical Reconstruction of SPKI. [Citation Graph (0, 0)][DBLP]
    CSFW, 2001, pp:59-0 [Conf]
  39. Zygmunt J. Haas, Joseph Y. Halpern, Erran L. Li, Stephen B. Wicker
    A decision-theoretic approach to resource allocation in wireless multimedia networks. [Citation Graph (0, 0)][DBLP]
    DIAL-M, 2000, pp:86-95 [Conf]
  40. Joseph Y. Halpern
    Degrees of Belief, Random Worlds, and Maximum Entropy. [Citation Graph (0, 0)][DBLP]
    Discovery Science, 2000, pp:15-16 [Conf]
  41. Joseph Y. Halpern, Carl Lagoze
    The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research. [Citation Graph (0, 0)][DBLP]
    ACM DL, 1999, pp:3-11 [Conf]
  42. Joseph Y. Halpern, Riccardo Pucella
    Modeling Adversaries in a Logic for Security Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    FASec, 2002, pp:115-132 [Conf]
  43. Martín Abadi, Joseph Y. Halpern
    Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    FOCS, 1989, pp:148-153 [Conf]
  44. Joseph Y. Halpern
    Deterministic Process Logic Is Elementary [Citation Graph (0, 0)][DBLP]
    FOCS, 1982, pp:204-216 [Conf]
  45. Joseph Y. Halpern, John H. Reif
    The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    FOCS, 1981, pp:322-334 [Conf]
  46. Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller
    Generating Degrees of Belief from Statistical Information: An Overview. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1993, pp:318-325 [Conf]
  47. Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli
    Finite Models for Deterministic Propositional Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    ICALP, 1981, pp:249-263 [Conf]
  48. Piotr Berman, Joseph Y. Halpern, Jerzy Tiuryn
    On the Power of Nondeterminism in Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    ICALP, 1982, pp:48-60 [Conf]
  49. Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski
    A Hardware Semantics Based on Temporal Intervals. [Citation Graph (0, 0)][DBLP]
    ICALP, 1983, pp:278-291 [Conf]
  50. Joseph Y. Halpern
    Using Multi-Agent Systems to Represent Uncertainty. [Citation Graph (0, 0)][DBLP]
    ICMAS, 1998, pp:6-7 [Conf]
  51. Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller
    Statistical Foundations for Default Reasoning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:563-569 [Conf]
  52. Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
    Reasoning about Noisy Sensors in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:1933-1940 [Conf]
  53. Hana Chockler, Joseph Y. Halpern
    Responsibility and Blame: A Structural-Model Approach. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:147-153 [Conf]
  54. Francis C. Chu, Joseph Y. Halpern
    Great Expectations. Part I: On the Customizability of Generalized Expected Utility. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:291-296 [Conf]
  55. Francis C. Chu, Joseph Y. Halpern
    Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:297-302 [Conf]
  56. Ronald Fagin, Joseph Y. Halpern
    Belief, Awareness, and Limited Reasoning: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:491-501 [Conf]
  57. Ronald Fagin, Joseph Y. Halpern
    Uncertainty, Belief, and Probability. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1989, pp:1161-1167 [Conf]
  58. Joseph Y. Halpern
    Plausibility Measures: A General Approach For Representing Uncertainty. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:1474-1483 [Conf]
  59. Joseph Y. Halpern, Daphne Koller
    Representation Dependence in Probabilistic Inference. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:1853-1861 [Conf]
  60. Joseph Y. Halpern, Yoram Moses
    A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:480-490 [Conf]
  61. Joseph Y. Halpern, Judea Pearl
    Causes and Explanations: A Structural-Model Approach - Part II: Explanations. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:27-34 [Conf]
  62. Joseph Y. Halpern, Leandro Chaves Rêgo
    Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:2306-2311 [Conf]
  63. Joseph Y. Halpern, Yoram Moses
    Characterizing Solution Concepts in Games Using Knowledge-Based Programs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:1300-1307 [Conf]
  64. Zygmunt J. Haas, Joseph Y. Halpern, Erran L. Li
    Gossip-based ad hoc routing. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 2002, pp:- [Conf]
  65. Joseph Y. Halpern
    A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:43-60 [Conf]
  66. Lawrence E. Blume, David A. Easley, Joseph Y. Halpern
    Redoing the Foundations of Decision Theory. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:14-24 [Conf]
  67. Nir Friedman, Joseph Y. Halpern
    On the Complexity of Conditional Logics. [Citation Graph (0, 0)][DBLP]
    KR, 1994, pp:202-213 [Conf]
  68. Nir Friedman, Joseph Y. Halpern
    Belief Revision: A Critique. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:421-431 [Conf]
  69. Adam J. Grove, Joseph Y. Halpern
    Naming and Identity in a Multi-Agent Epistemic Logic. [Citation Graph (0, 0)][DBLP]
    KR, 1991, pp:301-312 [Conf]
  70. Joseph Y. Halpern
    Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:12-22 [Conf]
  71. Joseph Y. Halpern
    Intransitivity and Vagueness. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:121-129 [Conf]
  72. Joseph Y. Halpern, Leandro Chaves Rêgo
    Reasoning about Knowledge of Unawareness. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:6-13 [Conf]
  73. Daphne Koller, Joseph Y. Halpern
    A Logic for Approximate Reasoning. [Citation Graph (0, 0)][DBLP]
    KR, 1992, pp:153-164 [Conf]
  74. Ronald Fagin, Joseph Y. Halpern
    I'm OK if You're OK: On the Notion of Trusting Communication [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:280-292 [Conf]
  75. Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo
    A Logic for Reasoning about Probabilities [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:410-421 [Conf]
  76. Steven M. German, Edmund M. Clarke, Joseph Y. Halpern
    True Relative Completeness of an Axiom System for the Language L4 (Abridged) [Citation Graph (0, 0)][DBLP]
    LICS, 1986, pp:11-25 [Conf]
  77. Adam J. Grove, Joseph Y. Halpern, Daphne Koller
    Random Worlds and Maximum Entropy [Citation Graph (0, 0)][DBLP]
    LICS, 1992, pp:22-33 [Conf]
  78. Joseph Y. Halpern, Nir Friedman
    Plausibility Measures and Default Reasoning: An Overview. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:130-135 [Conf]
  79. Joseph Y. Halpern, Bruce M. Kapron
    Zero-One Laws for Modal Logic [Citation Graph (0, 0)][DBLP]
    LICS, 1992, pp:369-380 [Conf]
  80. Joseph Y. Halpern, Richard A. Shore
    Reasoning about Common Knowledge with Infinitely Many Agents. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:384-393 [Conf]
  81. Joseph Y. Halpern, Edward L. Wimmers
    Full Abstraction and Expressive Completenes for FP [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:257-271 [Conf]
  82. Joseph Y. Halpern, John H. Williams, Edward L. Wimmers
    Good Rewrite Strategies for FP [Citation Graph (0, 0)][DBLP]
    LICS, 1986, pp:149-162 [Conf]
  83. Steven M. German, Edmund M. Clarke, Joseph Y. Halpern
    Reasoning About Procedures as Parameters. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:206-220 [Conf]
  84. Boris A. Trakhtenbrot, Joseph Y. Halpern, Albert R. Meyer
    From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:474-500 [Conf]
  85. Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride
    Knowledge-Based Synthesis of Distributed Systems Using Event Structures. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:449-465 [Conf]
  86. Joseph Y. Halpern, Yoram Moses
    Towards a Theory of Knowledge and Ignorance: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    NMR, 1984, pp:125-143 [Conf]
  87. Ittai Abraham, Danny Dolev, Rica Gonen, Joseph Y. Halpern
    Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation. [Citation Graph (0, 0)][DBLP]
    PODC, 2006, pp:53-62 [Conf]
  88. Cynthia Dwork, Joseph Y. Halpern, Orli Waarts
    Performing Work Efficiently in the Presence of Faults. [Citation Graph (0, 0)][DBLP]
    PODC, 1992, pp:91-102 [Conf]
  89. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
    Knowledge-Based Programs. [Citation Graph (0, 0)][DBLP]
    PODC, 1995, pp:153-163 [Conf]
  90. Vassos Hadzilacos, Joseph Y. Halpern
    Message-Optimal Protocols for Byzantine Agreement (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1991, pp:309-323 [Conf]
  91. Magnús M. Halldórsson, Joseph Y. Halpern, Erran L. Li, Vahab S. Mirrokni
    On spectrum sharing games. [Citation Graph (0, 0)][DBLP]
    PODC, 2004, pp:107-114 [Conf]
  92. Joseph Y. Halpern
    A Little Knowledge Goes a Long Way: Simple Knowledge-based Derivations and Correctness Proofs for a Family of Protocols. [Citation Graph (0, 0)][DBLP]
    PODC, 1987, pp:269-280 [Conf]
  93. Joseph Y. Halpern, Yoram Moses, Orli Waarts
    A Characterization of Eventual Byzantine Agreement. [Citation Graph (0, 0)][DBLP]
    PODC, 1990, pp:333-346 [Conf]
  94. Joseph Y. Halpern, Aleta Ricciardi
    A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors. [Citation Graph (0, 0)][DBLP]
    PODC, 1999, pp:73-82 [Conf]
  95. Joseph Y. Halpern, Mark R. Tuttle
    Knowledge, Probability, and Adversaries. [Citation Graph (0, 0)][DBLP]
    PODC, 1989, pp:103-118 [Conf]
  96. Erran L. Li, Joseph Y. Halpern, Paramvir Bahl, Yi-Min Wang, Roger Wattenhofer
    Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks. [Citation Graph (0, 0)][DBLP]
    PODC, 2001, pp:264-273 [Conf]
  97. Yoram Moses, Danny Dolev, Joseph Y. Halpern
    Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version). [Citation Graph (0, 0)][DBLP]
    PODC, 1985, pp:215-223 [Conf]
  98. Francis C. Chu, Joseph Y. Halpern, Johannes Gehrke
    Least Expected Cost Query Optimization: What Can We Expect? [Citation Graph (0, 0)][DBLP]
    PODS, 2002, pp:293-302 [Conf]
  99. Joseph Y. Halpern
    From statistical knowledge bases to degrees of belief: an overview. [Citation Graph (0, 0)][DBLP]
    PODS, 2006, pp:110-113 [Conf]
  100. Edmund M. Clarke, Steven M. German, Joseph Y. Halpern
    On Effective Axiomatizations of Hoare Logics. [Citation Graph (0, 0)][DBLP]
    POPL, 1982, pp:309-321 [Conf]
  101. E. Allen Emerson, Joseph Y. Halpern
    ``Sometimes'' and ``Not Never'' Revisited: On Branching Versus Linear Time. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:127-140 [Conf]
  102. Joseph Y. Halpern
    A Good Hoare Axiom System for an Algol-like Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:262-271 [Conf]
  103. Joseph Y. Halpern, Albert R. Meyer
    Axiomatic Definitions of Programming Languages, II. [Citation Graph (0, 0)][DBLP]
    POPL, 1981, pp:139-148 [Conf]
  104. Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot
    The Semantics of Local Storage, or What Makes the Free-List Free? [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:245-257 [Conf]
  105. Albert R. Meyer, Joseph Y. Halpern
    Axiomatic Definitions of Programming Languages: A Theoretical Assessment. [Citation Graph (0, 0)][DBLP]
    POPL, 1980, pp:203-212 [Conf]
  106. Joseph Y. Halpern
    Causality, Responsibility, and Blame: A Structural-Model Approach. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:3-8 [Conf]
  107. Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
    Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    Reasoning with Uncertainty in Robotics, 1995, pp:218-220 [Conf]
  108. Joseph Y. Halpern
    Using Multi-Agent Systems to Represent Uncertainty (invited talk). [Citation Graph (0, 0)][DBLP]
    SCAI, 1997, pp:- [Conf]
  109. Eric J. Friedman, Joseph Y. Halpern, Ian A. Kash
    Efficiency and nash equilibria in a scrip system for P2P networks. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Electronic Commerce, 2006, pp:140-149 [Conf]
  110. Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer, Rohit Parikh
    Equations between Regular Terms and an Application to Process Logic [Citation Graph (0, 0)][DBLP]
    STOC, 1981, pp:384-390 [Conf]
  111. Danny Dolev, Joseph Y. Halpern, H. Raymond Strong
    On the Possibility and Impossibility of Achieving Clock Synchronization [Citation Graph (0, 0)][DBLP]
    STOC, 1984, pp:504-511 [Conf]
  112. Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong
    A New Look at Fault Tolerant Network Routing [Citation Graph (0, 0)][DBLP]
    STOC, 1984, pp:526-535 [Conf]
  113. E. Allen Emerson, Joseph Y. Halpern
    Decision Procedures and Expressiveness in the Temporal Logic of Branching Time [Citation Graph (0, 0)][DBLP]
    STOC, 1982, pp:169-180 [Conf]
  114. Joseph Y. Halpern, Nimrod Megiddo, Ashfaq A. Munshi
    Optimal Precision in the Presence of Uncertainty (Preliminary Version) [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:346-355 [Conf]
  115. Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle
    A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) [Citation Graph (0, 0)][DBLP]
    STOC, 1988, pp:132-147 [Conf]
  116. Joseph Y. Halpern, Vanessa Teague
    Rational secret sharing and multiparty computation: extended abstract. [Citation Graph (0, 0)][DBLP]
    STOC, 2004, pp:623-632 [Conf]
  117. Joseph Y. Halpern, Moshe Y. Vardi
    The Complexity of Reasoning about Knowledge and Time: Extended Abstract [Citation Graph (0, 0)][DBLP]
    STOC, 1986, pp:304-315 [Conf]
  118. Joseph Y. Halpern, Moshe Y. Vardi
    Reasoning about Knowledge and Time in Asynchronous Systems [Citation Graph (0, 0)][DBLP]
    STOC, 1988, pp:53-65 [Conf]
  119. Joseph Y. Halpern
    Knowledge and Probability in Distributed Systems (Abstract). [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:50-54 [Conf]
  120. Joseph Y. Halpern
    Reasoning About Knowledge: An Overview. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:1-17 [Conf]
  121. Joseph Y. Halpern
    Reasoning About Knowledge: A Tutorial. [Citation Graph (0, 0)][DBLP]
    TARK, 1988, pp:161- [Conf]
  122. Joseph Y. Halpern
    On Ambiguities in the Interpretation of Game Trees. [Citation Graph (0, 0)][DBLP]
    TARK, 1996, pp:77-96 [Conf]
  123. Joseph Y. Halpern
    Hypothetical Knowledge and Counterfactual Reasoning. [Citation Graph (0, 0)][DBLP]
    TARK, 1998, pp:83-96 [Conf]
  124. Joseph Y. Halpern
    Characterizing the Common Prior Assumption. [Citation Graph (0, 0)][DBLP]
    TARK, 1998, pp:133-146 [Conf]
  125. Joseph Y. Halpern, Gerhard Lakemeyer
    Multi-Agent Only Knowing. [Citation Graph (0, 0)][DBLP]
    TARK, 1996, pp:251-265 [Conf]
  126. Joseph Y. Halpern, Yoram Moses
    Using Counterfactuals in Knowledge-Based Programming. [Citation Graph (0, 0)][DBLP]
    TARK, 1998, pp:97-110 [Conf]
  127. Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
    Algorithmic Knowledge. [Citation Graph (0, 0)][DBLP]
    TARK, 1994, pp:255-266 [Conf]
  128. Joseph Y. Halpern, Riccardo Pucella
    Probabilistic algorithmic knowledge. [Citation Graph (0, 0)][DBLP]
    TARK, 2003, pp:118-130 [Conf]
  129. Joseph Y. Halpern, Leandro Chaves Rêgo
    Interactive unawareness revisited. [Citation Graph (0, 0)][DBLP]
    TARK, 2005, pp:78-91 [Conf]
  130. Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi
    The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge. [Citation Graph (0, 0)][DBLP]
    TARK, 1992, pp:229-244 [Conf]
  131. Ronald Fagin, Joseph Y. Halpern
    Reasoning about Knowledge and Probability. [Citation Graph (0, 0)][DBLP]
    TARK, 1988, pp:277-293 [Conf]
  132. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
    Common Knowledge Revisited. [Citation Graph (0, 0)][DBLP]
    TARK, 1996, pp:283-298 [Conf]
  133. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
    A Nonstandard Approach to the Logical Omniscience Problem. [Citation Graph (0, 0)][DBLP]
    TARK, 1990, pp:41-55 [Conf]
  134. Nir Friedman, Joseph Y. Halpern
    A Knowledge-Based Framework for Belief change, Part I: Foundations. [Citation Graph (0, 0)][DBLP]
    TARK, 1994, pp:44-64 [Conf]
  135. Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller
    Generating New Beliefs from Old. [Citation Graph (0, 0)][DBLP]
    UAI, 1994, pp:37-45 [Conf]
  136. Urszula Chajewska, Joseph Y. Halpern
    Defining Explanation in Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    UAI, 1997, pp:62-71 [Conf]
  137. Ronald Fagin, Joseph Y. Halpern
    A new approach to updating beliefs. [Citation Graph (0, 0)][DBLP]
    UAI, 1990, pp:347-374 [Conf]
  138. Nir Friedman, Joseph Y. Halpern
    Plausibility Measures: A User's Guide. [Citation Graph (0, 0)][DBLP]
    UAI, 1995, pp:175-184 [Conf]
  139. Nir Friedman, Joseph Y. Halpern
    A Qualitative Markov Assumption and Its Implications for Belief Change. [Citation Graph (0, 0)][DBLP]
    UAI, 1996, pp:263-273 [Conf]
  140. Adam J. Grove, Joseph Y. Halpern
    Probability Update: Conditioning vs. Cross-Entropy. [Citation Graph (0, 0)][DBLP]
    UAI, 1997, pp:208-214 [Conf]
  141. Adam J. Grove, Joseph Y. Halpern
    Updating Sets of Probabilities. [Citation Graph (0, 0)][DBLP]
    UAI, 1998, pp:173-182 [Conf]
  142. Peter Grünwald, Joseph Y. Halpern
    Updating Probabilities. [Citation Graph (0, 0)][DBLP]
    UAI, 2002, pp:187-196 [Conf]
  143. Joseph Y. Halpern
    Conditional Plausibility Measures and Bayesian Networks. [Citation Graph (0, 0)][DBLP]
    UAI, 2000, pp:247-255 [Conf]
  144. Joseph Y. Halpern
    Defining Relative Likelihood in Partially-Ordered Preferential Structures. [Citation Graph (0, 0)][DBLP]
    UAI, 1996, pp:299-306 [Conf]
  145. Joseph Y. Halpern
    Axiomatizing Causal Reasoning. [Citation Graph (0, 0)][DBLP]
    UAI, 1998, pp:202-210 [Conf]
  146. Joseph Y. Halpern, Judea Pearl
    Causes and Explanations: A Structural-Model Approach: Part 1: Causes. [Citation Graph (0, 0)][DBLP]
    UAI, 2001, pp:194-202 [Conf]
  147. Joseph Y. Halpern, Riccardo Pucella
    A Logic for Reasoning about Upper Probabilities. [Citation Graph (0, 0)][DBLP]
    UAI, 2001, pp:203-210 [Conf]
  148. Joseph Y. Halpern, Riccardo Pucella
    Reasoning about Expectation. [Citation Graph (0, 0)][DBLP]
    UAI, 2002, pp:207-215 [Conf]
  149. Joseph Y. Halpern, Riccardo Pucella
    A Logic for Reasoning about Evidence. [Citation Graph (0, 0)][DBLP]
    UAI, 2003, pp:297-304 [Conf]
  150. Francis C. Chu, Joseph Y. Halpern
    A Decision-Theoretic Approach to Reliable Message Delivery. [Citation Graph (0, 0)][DBLP]
    DISC, 1998, pp:89-103 [Conf]
  151. Joseph Y. Halpern, Sabina Petride
    A Knowledge-Based Analysis of Global Function Computation. [Citation Graph (0, 0)][DBLP]
    DISC, 2006, pp:136-150 [Conf]
  152. Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller
    From Statistical Knowledge Bases to Degrees of Belief. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1996, v:87, n:1-2, pp:75-143 [Journal]
  153. Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
    Reasoning about Noisy Sensors and Effectors in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:111, n:1-2, pp:171-208 [Journal]
  154. Ronen I. Brafman, Joseph Y. Halpern, Yoav Shoham
    On the Knowledge Requirements of Tasks. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1998, v:98, n:1-2, pp:317-349 [Journal]
  155. Francis C. Chu, Joseph Y. Halpern
    Great expectations. Part II: generalized expected utility as a universal decision rule. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2004, v:159, n:1-2, pp:207-229 [Journal]
  156. Ronald Fagin, Joseph Y. Halpern
    Belief, Awareness, and Limited Reasoning. . [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1987, v:34, n:1, pp:39-76 [Journal]
  157. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
    A Nonstandard Approach to the Logical Omniscience Problem. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1995, v:79, n:2, pp:203-240 [Journal]
  158. Nir Friedman, Joseph Y. Halpern
    Modeling Belief in Dynamic Systems, Part I: Foundations. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1997, v:95, n:2, pp:257-316 [Journal]
  159. Joseph Y. Halpern
    An Analysis of First-Order Logics of Probability. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1990, v:46, n:3, pp:311-350 [Journal]
  160. Joseph Y. Halpern
    The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1995, v:75, n:2, pp:361-372 [Journal]
  161. Joseph Y. Halpern, Ronald Fagin
    Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1992, v:54, n:2, pp:275-317 [Journal]
  162. Joseph Y. Halpern, Gerhard Lakemeyer
    Levesque's Axiomatization of only Knowing is Incomplete. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1995, v:74, n:2, pp:381-387 [Journal]
  163. Joseph Y. Halpern, Yoram Moses
    A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1992, v:54, n:2, pp:319-379 [Journal]
  164. Joseph Y. Halpern, Michael O. Rabin
    A Logic to Reason about Likelihood. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1987, v:32, n:3, pp:379-405 [Journal]
  165. Joseph Y. Halpern
    The relationship between knowledge, belief and certainty. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1991, v:4, n:, pp:301-322 [Journal]
  166. Joseph Y. Halpern
    Set-theoretic completeness for epistemic and conditional logic. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:26, n:1-4, pp:1-27 [Journal]
  167. Joseph Y. Halpern
    Errata: ``The relationship between knowledge, belief, and certainty''. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:26, n:1-4, pp:253-256 [Journal]
  168. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
    Common Knowledge Revisited. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:89-105 [Journal]
  169. Joseph Y. Halpern, Bruce M. Kapron
    Erratum to "Zero-one laws for modal logic" [Ann. Pure Appl. Logic 69 (1994) 157-193]. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2003, v:121, n:2-3, pp:281-283 [Journal]
  170. Joseph Y. Halpern, Bruce M. Kapron
    Zero-One Laws for Modal Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:69, n:2-3, pp:157-193 [Journal]
  171. Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
    On the unusual effectiveness of logic in computer science. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2001, v:7, n:2, pp:213-236 [Journal]
  172. Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller
    A Response to "Believing on the Basis of the Evidence". [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1994, v:10, n:, pp:21-25 [Journal]
  173. Ronald Fagin, Joseph Y. Halpern
    Uncertainty, belief, and probability. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1991, v:7, n:, pp:160-173 [Journal]
  174. Joseph Y. Halpern
    Let many flowers bloom: a response to An inquiry into computer understanding e. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1990, v:6, n:, pp:184-188 [Journal]
  175. Joseph Y. Halpern
    A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1997, v:13, n:1, pp:144-163 [Journal]
  176. Joseph Y. Halpern, Gerhard Lakemeyer
    Multi-Agent Only Knowing [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  177. Joseph Y. Halpern
    Axiomatizing Causal Reasoning [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  178. Joseph Y. Halpern
    Conditional Plausibility Measures and Bayesian Networks [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  179. Joseph Y. Halpern, Judea Pearl
    Causes and Explanations: A Structural-Model Approach, Part I: Causes [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  180. Nir Friedman, Joseph Y. Halpern
    Belief Revision: A Critique [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  181. Joseph Y. Halpern, Judea Pearl
    Causes and Explanations: A Structural-Model Approach. Part II: Explanations [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  182. Peter Grünwald, Joseph Y. Halpern
    Updating Probabilities [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  183. Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller
    From Statistical Knowledge Bases to Degrees of Belief [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  184. Joseph Y. Halpern, Riccardo Pucella
    A logic for reasoning about upper probabilities [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  185. Nir Friedman, Joseph Y. Halpern
    Modeling Belief in Dynamic Systems, Part I: Foundations [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  186. Nir Friedman, Joseph Y. Halpern
    Modeling Belief in Dynamic Systems, Part II: Revisions and Update [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  187. Francis C. Chu, Joseph Y. Halpern
    Great Expectations. Part I: On the Customizability of Generalized Expected Utility [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  188. Francis C. Chu, Joseph Y. Halpern
    Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  189. Joseph Y. Halpern, Riccardo Pucella
    Reasoning About Expectation [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  190. Hana Chockler, Joseph Y. Halpern
    Responsibility and blame: a structural-model approach [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  191. Joseph Y. Halpern, Daphne Koller
    Representation Dependence in Probabilistic Inference [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  192. Joseph Y. Halpern, Riccardo Pucella
    A Logic for Reasoning about Evidence [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  193. Joseph Y. Halpern
    Intransitivity and Vagueness [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  194. Joseph Y. Halpern
    Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  195. Joseph Y. Halpern
    Defining Relative Likelihood in Partially-Ordered Preferential Structures [Citation Graph (0, 0)][DBLP]
    CoRR, 1997, v:0, n:, pp:- [Journal]
  196. Nir Friedman, Joseph Y. Halpern, Daphne Koller
    First-Order Conditional Logic Revisited [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  197. Joseph Y. Halpern
    Set-Theoretic Completeness for Epistemic and Conditional Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  198. Nir Friedman, Joseph Y. Halpern
    Plausibility Measures and Default Reasoning [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  199. Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
    Reasoning about Noisy Sensors and Effectors in the Situation Calculus [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  200. Nir Friedman, Joseph Y. Halpern
    Modeling Belief in Dynamic Systems, Part II: Revision and Update [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  201. Joseph Y. Halpern
    Cox's Theorem Revisited [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  202. Joseph Y. Halpern, Ron van der Meyden
    A Logic for SDSI's Linked Local Name Spaces [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  203. Joseph Y. Halpern, Ron van der Meyden
    A logical reconstruction of SPKI [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  204. Joseph Y. Halpern, Riccardo Pucella
    On the Relationship between Strand Spaces and Multi-Agent Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  205. Kevin R. O'Neill, Joseph Y. Halpern
    Secrecy in Multiagent Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  206. Joseph Y. Halpern, Kevin R. O'Neill
    Anonymity and Information Hiding in Multiagent Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  207. Francis C. Chu, Joseph Y. Halpern, Praveen Seshadri
    Least expected cost query optimization: an exercise in utility [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  208. Joseph Y. Halpern
    A note on knowledge-based programs and specifications [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  209. Cynthia Dwork, Joseph Y. Halpern, Orli Waarts
    Performing work efficiently in the presence of faults [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  210. Joseph Y. Halpern, Yoram Moses
    Knowledge and common knowledge in a distributed environment [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  211. Francis C. Chu, Joseph Y. Halpern
    On the NP-completeness of Finding an Optimal Strategy in Games with Common Payoffs [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  212. Joseph Y. Halpern, Yoram Moses
    Using Counterfactuals in Knowledge-Based Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  213. Joseph Y. Halpern, Aleta Ricciardi
    A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  214. Francis C. Chu, Joseph Y. Halpern
    A decision-theoretic approach to reliable message delivery [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  215. Joseph Y. Halpern
    CoRR: A Computing Research Repository [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  216. Joseph Y. Halpern
    A response to the commentaries on CoRR [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  217. Joseph Y. Halpern, Carl Lagoze
    The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  218. Joseph Y. Halpern
    A computer scientist looks at game theory [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  219. Joseph Y. Halpern
    Lexicographic probability, conditional probability, and nonstandard probability [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  220. Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi
    Complete Axiomatizations for Reasoning About Knowledge and Time [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  221. Hana Chockler, Joseph Y. Halpern, Orna Kupferman
    What Causes a System to Satisfy a Specification? [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  222. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
    Common knowledge revisited [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  223. Joseph Y. Halpern, Richard A. Shore
    Reasoning About Common Knowledge with Infinitely Many Agents [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  224. Zygmunt J. Haas, Joseph Y. Halpern, Erran L. Li, Stephen B. Wicker
    A Decision-Theoretic Approach to Resource Allocation in Wireless Multimedia Networks [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  225. Zygmunt J. Haas, Joseph Y. Halpern, Erran L. Li
    Gossip Based Ad-Hoc Routing [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  226. Erran L. Li, Joseph Y. Halpern, Paramvir Bahl, Yi-Min Wang, Roger Wattenhofer
    Analysis of a Cone-Based Distributed Topology Control Algorithm for Wireless Multi-hop Networks [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  227. Erran L. Li, Joseph Y. Halpern
    Minimum-Energy Mobile Wireless Networks Revisited [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  228. Francis C. Chu, Joseph Y. Halpern
    A decision-theoretic approach to reliable message delivery. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2001, v:14, n:1, pp:1-16 [Journal]
  229. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
    Knowledge-Based Programs. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1997, v:10, n:4, pp:199-225 [Journal]
  230. Joseph Y. Halpern
    A note on knowledge-based programs and specifications. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2000, v:13, n:3, pp:145-153 [Journal]
  231. Joseph Y. Halpern, Ronald Fagin
    Modelling Knowledge and Action in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1989, v:3, n:4, pp:159-177 [Journal]
  232. Joseph Y. Halpern, Yoram Moses
    Using counterfactuals in knowledge-based programming. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2004, v:17, n:2, pp:91-106 [Journal]
  233. Joseph Y. Halpern, Aleta Ricciardi
    A knowledge-theoretic analysis of uniform distributed coordination and failure detectors. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2005, v:17, n:3, pp:223-236 [Journal]
  234. Joseph Y. Halpern, Ichiro Suzuki
    Clock Synchronization and the Power of Broadcasting. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1991, v:5, n:, pp:73-82 [Journal]
  235. Yoram Moses, Danny Dolev, Joseph Y. Halpern
    Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1986, v:1, n:3, pp:167-176 [Journal]
  236. Martín Abadi, Joseph Y. Halpern
    Decidability and Expressiveness for First-Order Logics of Probability [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:112, n:1, pp:1-36 [Journal]
  237. Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong
    A New Look at Fault-Tolerant Network Routing [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1987, v:72, n:3, pp:180-196 [Journal]
  238. Steven M. German, Edmund M. Clarke, Joseph Y. Halpern
    Reasoning about Procedures as Parameters in the Language L4 [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:83, n:3, pp:265-359 [Journal]
  239. Joseph Y. Halpern
    Deterministic Process Logic is Elementary [Citation Graph (0, 0)][DBLP]
    Information and Control, 1983, v:57, n:1, pp:56-89 [Journal]
  240. Joseph Y. Halpern, Richard A. Shore
    Reasoning about common knowledge with infinitely many agents. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:191, n:1, pp:1-40 [Journal]
  241. Joseph Y. Halpern, Edward L. Wimmers
    Full Abstraction and Expressive Completeness for FP [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:118, n:2, pp:246-271 [Journal]
  242. Edmund M. Clarke, Steven M. German, Joseph Y. Halpern
    Effective Axiomatizations of Hoare Logics [Citation Graph (0, 0)][DBLP]
    J. ACM, 1983, v:30, n:3, pp:612-636 [Journal]
  243. Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong
    Dynamic Fault-Tolerant Clock Synchronization. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1995, v:42, n:1, pp:143-185 [Journal]
  244. Ronald Fagin, Joseph Y. Halpern
    Reasoning About Knowledge and Probability. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1994, v:41, n:2, pp:340-367 [Journal]
  245. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
    A Model-Theoretic Analysis of Knowledge. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1991, v:38, n:2, pp:382-428 [Journal]
  246. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
    What Can Machines Know? On the Properties of Knowledge in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1992, v:39, n:2, pp:328-376 [Journal]
  247. Nir Friedman, Joseph Y. Halpern
    Plausibility measures and default reasoning. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2001, v:48, n:4, pp:648-685 [Journal]
  248. Joseph Y. Halpern
    Editorial: a bill of rights and responsibilities. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2000, v:47, n:5, pp:823-825 [Journal]
  249. Joseph Y. Halpern
    Update: Time to publication statistics. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2002, v:49, n:6, pp:715- [Journal]
  250. Joseph Y. Halpern
    JACM's 50th anniversary. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2003, v:50, n:1, pp:3-7 [Journal]
  251. Joseph Y. Halpern
    On becoming editor-in-chief of JACM. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1997, v:44, n:3, pp:363-365 [Journal]
  252. Joseph Y. Halpern
    Time to Publication: A Progress Report. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1998, v:45, n:3, pp:379-380 [Journal]
  253. Joseph Y. Halpern, Yoav Shoham
    A Propositional Modal Logic of Time Intervals. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1991, v:38, n:4, pp:935-962 [Journal]
  254. Joseph Y. Halpern, Mark R. Tuttle
    Knowledge, Probability, and Adversaries. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1993, v:40, n:4, pp:917-962 [Journal]
  255. Joseph Y. Halpern, John H. Williams, Edward L. Wimmers
    Completeness of Rewrite Rules and Rewrite Strategies for FP [Citation Graph (0, 0)][DBLP]
    J. ACM, 1990, v:37, n:1, pp:86-143 [Journal]
  256. Joseph Y. Halpern, Lenore D. Zuck
    A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1992, v:39, n:3, pp:449-478 [Journal]
  257. Albert R. Meyer, Joseph Y. Halpern
    Axiomatic Definitions of Programming Languages: A Theoretical Assessment. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1982, v:29, n:2, pp:555-576 [Journal]
  258. Hana Chockler, Joseph Y. Halpern
    Responsibility and Blame: A Structural-Model Approach. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2004, v:22, n:, pp:93-115 [Journal]
  259. Nir Friedman, Joseph Y. Halpern
    Modeling Belief in Dynamic Systems, Part II: Revision and Update. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 1999, v:10, n:, pp:117-167 [Journal]
  260. Adam J. Grove, Joseph Y. Halpern, Daphne Koller
    Random Worlds and Maximum Entropy. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 1994, v:2, n:, pp:33-88 [Journal]
  261. Peter Grünwald, Joseph Y. Halpern
    Updating Probabilities. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2003, v:19, n:, pp:243-278 [Journal]
  262. Joseph Y. Halpern
    Axiomatizing Causal Reasoning. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2000, v:12, n:, pp:317-337 [Journal]
  263. Joseph Y. Halpern
    Conditional Plausibility Measures and Bayesian Networks. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2001, v:14, n:, pp:359-389 [Journal]
  264. Joseph Y. Halpern
    Defining Relative Likelihood in Partially-Ordered Structures. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 1997, v:7, n:, pp:1-24 [Journal]
  265. Joseph Y. Halpern
    A Counterexample to Theorems of Cox and Fine. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 1999, v:10, n:, pp:67-85 [Journal]
  266. Joseph Y. Halpern
    Cox's Theorem Revisited (technical addendum). [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 1999, v:11, n:, pp:429-435 [Journal]
  267. Joseph Y. Halpern, Daphne Koller
    Representation Dependence in Probabilistic Inference. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2004, v:21, n:, pp:319-356 [Journal]
  268. Joseph Y. Halpern, Riccardo Pucella
    A Logic for Reasoning about Upper Probabilities. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2002, v:17, n:, pp:57-81 [Journal]
  269. Joseph Y. Halpern, Nimrod Megiddo, Ashfaq A. Munshi
    Optimal precision in the presence of uncertainty. [Citation Graph (0, 0)][DBLP]
    J. Complexity, 1985, v:1, n:2, pp:170-196 [Journal]
  270. Joseph Y. Halpern
    CoRR: a computing research repository. [Citation Graph (0, 0)][DBLP]
    ACM Journal of Computer Documentation, 2000, v:24, n:2, pp:41-48 [Journal]
  271. Joseph Y. Halpern
    A response to the commentaries on CoRR. [Citation Graph (0, 0)][DBLP]
    ACM Journal of Computer Documentation, 2000, v:24, n:2, pp:72-77 [Journal]
  272. Joseph Y. Halpern, Ron van der Meyden
    A Logic for SDSI's Linked Local Name Spaces. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2001, v:9, n:1/2, pp:105-142 [Journal]
  273. Joseph Y. Halpern, Ron van der Meyden
    A Logical Reconstruction of SPKI. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2003, v:11, n:4, pp:581-614 [Journal]
  274. Joseph Y. Halpern, Kevin R. O'Neill
    Anonymity and information hiding in multiagent systems. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2005, v:13, n:3, pp:483-512 [Journal]
  275. Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli
    Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1982, v:25, n:3, pp:402-417 [Journal]
  276. Danny Dolev, Joseph Y. Halpern, H. Raymond Strong
    On the Possibility and Impossibility of Achieving Clock Synchronization. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1986, v:32, n:2, pp:230-250 [Journal]
  277. E. Allen Emerson, Joseph Y. Halpern
    Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1985, v:30, n:1, pp:1-24 [Journal]
  278. Joseph Y. Halpern, Moshe Y. Vardi
    The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1989, v:38, n:1, pp:195-237 [Journal]
  279. Nir Friedman, Joseph Y. Halpern
    Belief Revision: A Critique. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:4, pp:401-420 [Journal]
  280. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
    What Is an Inference Rule? [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:1018-1045 [Journal]
  281. Adam J. Grove, Joseph Y. Halpern, Daphne Koller
    Asymptotic Conditional Probabilities: The Non-Unary Case. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:1, pp:250-276 [Journal]
  282. Joseph Y. Halpern
    Presburger Arithmetic with Unarr Predicates is Pi11 Complete. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:637-642 [Journal]
  283. Joseph Y. Halpern, Riccardo Pucella
    Probabilistic Algorithmic Knowledge. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2005, v:1, n:3, pp:- [Journal]
  284. Adam J. Grove, Joseph Y. Halpern
    Naming and Identity in Epistemic Logics Part I: The Propositional Case. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1993, v:3, n:4, pp:345-378 [Journal]
  285. Joseph Y. Halpern
    A Theory of Knowledge and Ignorance for Many Agents. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1997, v:7, n:1, pp:79-108 [Journal]
  286. Joseph Y. Halpern, Gerhard Lakemeyer
    Multi-agent Only Knowing. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:1, pp:41-70 [Journal]
  287. Vassos Hadzilacos, Joseph Y. Halpern
    Message-Optimal Protocols for Byzantine Agreement. [Citation Graph (0, 0)][DBLP]
    Mathematical Systems Theory, 1993, v:26, n:1, pp:41-102 [Journal]
  288. Vassos Hadzilacos, Joseph Y. Halpern
    The Failure Discovery Problem. [Citation Graph (0, 0)][DBLP]
    Mathematical Systems Theory, 1993, v:26, n:1, pp:103-129 [Journal]
  289. Joseph Y. Halpern, Michael C. Loui, Albert R. Meyer, Daniel Weise
    On Time versus Space III. [Citation Graph (0, 0)][DBLP]
    Mathematical Systems Theory, 1986, v:19, n:1, pp:13-28 [Journal]
  290. Cynthia Dwork, Joseph Y. Halpern, Orli Waarts
    Performing Work Efficiently in the Presence of Faults. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1998, v:27, n:5, pp:1457-1491 [Journal]
  291. Adam J. Grove, Joseph Y. Halpern, Daphne Koller
    Asymptotic Conditional Probabilities: The Unary Case. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1996, v:25, n:1, pp:1-51 [Journal]
  292. Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi
    Complete Axiomatizations for Reasoning about Knowledge and Time. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 2004, v:33, n:3, pp:674-703 [Journal]
  293. Joseph Y. Halpern, Yoram Moses, Orli Waarts
    A Characterization of Eventual Byzantine Agreement. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 2001, v:31, n:3, pp:838-865 [Journal]
  294. Rohit Parikh, Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer
    Equations Between Regular Terms and an Application to Process Logic. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1985, v:14, n:4, pp:935-942 [Journal]
  295. Joseph Y. Halpern, John H. Reif
    The Propositional Dynamic Logic of Deterministic, Well-Structured Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:27, n:, pp:127-165 [Journal]
  296. Joseph Y. Halpern, Riccardo Pucella
    On the relationship between strand spaces and multi-agent systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Inf. Syst. Secur., 2003, v:6, n:1, pp:43-70 [Journal]
  297. Erich Grädel, Joseph Y. Halpern, Radha Jagadeesan, Adolfo Piperno
    LICS 2001 special issue. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2003, v:4, n:3, pp:295- [Journal]
  298. Nir Friedman, Joseph Y. Halpern, Daphne Koller
    First-order conditional logic for default reasoning revisited. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2000, v:1, n:2, pp:175-207 [Journal]
  299. Zygmunt J. Haas, Joseph Y. Halpern, Li Li
    Gossip-based ad hoc routing. [Citation Graph (0, 0)][DBLP]
    IEEE/ACM Trans. Netw., 2006, v:14, n:3, pp:479-491 [Journal]
  300. Li Li, Joseph Y. Halpern, Paramvir Bahl, Yi-Min Wang, Roger Wattenhofer
    A cone-based distributed topology-control algorithm for wireless multi-hop networks. [Citation Graph (0, 0)][DBLP]
    IEEE/ACM Trans. Netw., 2005, v:13, n:1, pp:147-159 [Journal]
  301. David J. Martin, Daniel Kifer, Ashwin Machanavajjhala, Johannes Gehrke, Joseph Y. Halpern
    Worst-Case Background Knowledge for Privacy-Preserving Data Publishing. [Citation Graph (0, 0)][DBLP]
    ICDE, 2007, pp:126-135 [Conf]
  302. Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern
    Optimizing scrip systems: efficiency, crashes, hoarders, and altruists. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Electronic Commerce, 2007, pp:305-315 [Conf]
  303. Joseph Y. Halpern, Riccardo Pucella
    Evidence with Uncertain Likelihoods. [Citation Graph (0, 0)][DBLP]
    UAI, 2005, pp:243-250 [Conf]
  304. Peter Grünwald, Joseph Y. Halpern
    When Ignorance is Bliss. [Citation Graph (0, 0)][DBLP]
    UAI, 2004, pp:226-234 [Conf]
  305. Joseph Y. Halpern, Riccardo Pucella
    Dealing With Logical Omniscience: Expressiveness and Pragmatics [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  306. Joseph Y. Halpern
    Computer Science and Game Theory: A Brief Survey [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  307. Joseph Y. Halpern, Leandro Chaves Rêgo
    Extensive Games with Possibly Unaware Players [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  308. Ittai Abraham, Danny Dolev, Joseph Y. Halpern
    Lower Bounds on Implementing Robust and Resilient Mediators [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  309. David J. Martin, Daniel Kifer, Ashwin Machanavajjhala, Johannes Gehrke, Joseph Y. Halpern
    Worst-Case Background Knowledge for Privacy-Preserving Data Publishing [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  310. Eric J. Friedman, Joseph Y. Halpern, Ian A. Kash
    Efficiency and Nash Equilibria in a Scrip System for P2P Networks [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  311. Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern
    Optimizing Scrip Systems: Efficiency, Crashes, Hoarders, and Altruists [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  312. Joseph Y. Halpern, Yoram Moses
    Characterizing Solution Concepts in Games Using Knowledge-Based Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  313. Joseph Y. Halpern, Vanessa Teague
    Rational Secret Sharing and Multiparty Computation: Extended Abstract [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  314. Joseph Y. Halpern, Vicky Weissman
    Using First-Order Logic to Reason about Policies [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  315. Joseph Y. Halpern, Leandro Chaves Rêgo
    Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  316. Joseph Y. Halpern, Leandro Chaves Rêgo
    Reasoning About Knowledge of Unawareness [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  317. Joseph Y. Halpern, Riccardo Pucella
    Probabilistic Algorithmic Knowledge [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
  318. Joseph Y. Halpern, Riccardo Pucella
    Modeling Adversaries in a Logic for Security Protocol Analysis [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  319. Joseph Y. Halpern, Sabina Petride
    Expressing Security Properties Using Selective Interleaving Functions [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  320. Joseph Y. Halpern
    Using Sets of Probability Measures to Represent Uncertainty [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  321. Leandro Chaves Rêgo, Joseph Y. Halpern
    Generalized Solution Concepts in Games with Possibly Unaware Players [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  322. Joseph Y. Halpern, Sabina Petride
    A Knowledge-Based Analysis of Global Function Computation [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  323. Joseph Y. Halpern, Riccardo Pucella
    Characterizing and reasoning about probabilistic and non-probabilistic expectation. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2007, v:54, n:3, pp:15- [Journal]
  324. Joseph Y. Halpern, Riccardo Pucella
    A Logic for Reasoning about Evidence. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2006, v:26, n:, pp:1-34 [Journal]

  325. From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. [Citation Graph (, )][DBLP]


  326. Multiagent learning in large anonymous games. [Citation Graph (, )][DBLP]


  327. Cooperative equilibrium. [Citation Graph (, )][DBLP]


  328. Beyond Nash Equilibrium: Solution Concepts for the 21st Century. [Citation Graph (, )][DBLP]


  329. Toward Expressive and Scalable Sponsored Search Auctions. [Citation Graph (, )][DBLP]


  330. Shared Winner Determination in Sponsored Search Auctions. [Citation Graph (, )][DBLP]


  331. Iterated Regret Minimization: A New Solution Concept. [Citation Graph (, )][DBLP]


  332. Defaults and Normality in Causal Structures. [Citation Graph (, )][DBLP]


  333. Beyond Nash Equilibrium: Solution Concepts for the 21st Century. [Citation Graph (, )][DBLP]


  334. From Causal Models To Counterfactual Structures. [Citation Graph (, )][DBLP]


  335. I Don't Want to Think About it Now: Decision Theory with Costly Computation. [Citation Graph (, )][DBLP]


  336. An almost-surely terminating polynomial protocol forasynchronous byzantine agreement with optimal resilience. [Citation Graph (, )][DBLP]


  337. Beyond nash equilibrium: solution concepts for the 21st century. [Citation Graph (, )][DBLP]


  338. The lotus-eater attack. [Citation Graph (, )][DBLP]


  339. Dealing with logical omniscience. [Citation Graph (, )][DBLP]


  340. Generalized solution concepts in games with possibly unaware players. [Citation Graph (, )][DBLP]


  341. An epistemic characterization of zero knowledge. [Citation Graph (, )][DBLP]


  342. Reasoning about knowledge of unawareness revisited. [Citation Graph (, )][DBLP]


  343. A logical characterization of iterated admissibility. [Citation Graph (, )][DBLP]


  344. Lower Bounds on Implementing Robust and Resilient Mediators. [Citation Graph (, )][DBLP]


  345. A Game-Theoretic Analysis of Updating Sets of Probabilities. [Citation Graph (, )][DBLP]


  346. Manipulating Scrip Systems: Sybils and Collusion. [Citation Graph (, )][DBLP]


  347. Game Theory with Costly Computation: Formulation and Application to Protocol Security. [Citation Graph (, )][DBLP]


  348. Interactive Unawareness Revisited [Citation Graph (, )][DBLP]


  349. Evidence with Uncertain Likelihoods [Citation Graph (, )][DBLP]


  350. When Ignorance is Bliss [Citation Graph (, )][DBLP]


  351. A Game-Theoretic Analysis of Updating Sets of Probabilities [Citation Graph (, )][DBLP]


  352. From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic [Citation Graph (, )][DBLP]


  353. The Lotus-Eater Attack [Citation Graph (, )][DBLP]


  354. Beyond Nash Equilibrium: Solution Concepts for the 21st Century [Citation Graph (, )][DBLP]


  355. Defaults and Normality in Causal Structures [Citation Graph (, )][DBLP]


  356. A Formal Foundation for XrML [Citation Graph (, )][DBLP]


  357. An Almost-Surely Terminating Polynomial Protocol for Asynchronous Byzantine Agreement with Optimal Resilience [Citation Graph (, )][DBLP]


  358. Game Theory with Costly Computation [Citation Graph (, )][DBLP]


  359. Toward Expressive and Scalable Sponsored Search Auctions [Citation Graph (, )][DBLP]


  360. Iterated Regret Minimization: A More Realistic Solution Concept [Citation Graph (, )][DBLP]


  361. Manipulating Scrip Systems: Sybils and Collusion [Citation Graph (, )][DBLP]


  362. Multiagent Learning in Large Anonymous Games [Citation Graph (, )][DBLP]


  363. Knowledge-Based Synthesis of Distributed Systems Using Event Structures [Citation Graph (, )][DBLP]


  364. Constructive Decision Theory [Citation Graph (, )][DBLP]


  365. Reasoning About Knowledge of Unawareness Revisited [Citation Graph (, )][DBLP]


  366. A Logical Characterization of Iterated Admissibility [Citation Graph (, )][DBLP]


  367. Updating Sets of Probabilities [Citation Graph (, )][DBLP]


  368. MDPs with Unawareness [Citation Graph (, )][DBLP]


Search in 0.380secs, Finished in 0.391secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002