| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Joseph Y. Halpern 197 Joseph Y. Halpern: JACM's 50th anniversary. JACM 50 (1): 3-7 (2003) 196 Joseph Y. Halpern, Riccardo Pucella : On the relationship between strand spaces and multi-agent systems. TISSEC 6 (1): 43-70 (2003) 195 Zygmunt J. Haas , Joseph Y. Halpern, Li Li : Gossip-based ad hoc routing. INFOCOM 2002 194 Francis Chu , Joseph Y. Halpern, Johannes Gehrke : Least Expected Cost Query Optimization: What Can We Expect? PODS 2002 : 293-302 193 Joseph Y. Halpern: Update: Time to publication statistics. JACM 49 (6): 715 (2002) 192 Joseph Y. Halpern, Riccardo Pucella : A Logic for Reasoning about Upper Probabilities. Journal of Artificial Intelligence Research 17 : 57-81 (2002) 191 Joseph Y. Halpern, Riccardo Pucella : On the relationship between strand spaces and multi-agent systems. ACM Conference on Computer and Communications Security 2001 : 106-115 190 Joseph Y. Halpern: Plausibility Measures: A General Approach For Representing Uncertainty. IJCAI 2001 : 1474-1483 189 Joseph Y. Halpern, Judea Pearl : Causes and Explanations: A Structural-Model Approach - Part II: Explanations. IJCAI 2001 : 27-34 188 Li 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. PODC 2001 : 264-273 187 Joseph Y. Halpern, Riccardo Pucella : Causes and Explanations: A Structural-Model Approach: Part 1: Causes. UAI 2001 : 194-202 186 Joseph Y. Halpern, Riccardo Pucella : A Logic for Reasoning about Upper Probabilities. UAI 2001 : 203-210 185 Francis Chu , Joseph Y. Halpern: A decision-theoretic approach to reliable message delivery. Distributed Computing 14 (1): 1-16 (2001) 184 Nir Friedman , Joseph Y. Halpern: Plausibility measures and default reasoning. JACM 48 (4): 648-685 (2001) 183 Joseph Y. Halpern: Conditional Plausibility Measures and Bayesian Networks. JAIR 14 : 359-389 (2001) 182 Joseph Y. Halpern, Ron van der Meyden : A Logic for SDSI's Linked Local Name Spaces. Journal of Computer Security 9 (1/2): 105-142 (2001) 181 Joseph Y. Halpern: Degrees of Belief, Random Worlds, and Maximum Entropy. Discovery Science 2000 : 15-16 180 Joseph Y. Halpern: Conditional Plausibility Measures and Bayesian Networks. UAI 2000 : 247-255 179 Joseph Y. Halpern: A note on knowledge-based programs and specifications. Distributed Computing 13 (3): 145-153 (2000) 178 Joseph Y. Halpern: Editorial: a bill of rights and responsibilities. JACM 47 (5): 823-825 (2000) 177 Joseph Y. Halpern: Axiomatizing Causal Reasoning. JAIR 12 : 317-337 (2000) 176 Nir Friedman , Joseph Y. Halpern, Daphne Koller : First-order conditional logic for default reasoning revisited. TOCL 1 (2): 175-207 (2000) 175 Joseph Y. Halpern, Carl Lagoze : The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research. ACM DL 1999 : 3-11 174 Joseph Y. Halpern, Ron van der Meyden : A Logic for SDSI's Linked Local Name Spaces. CSFW 1999 : 111-122 173 Joseph Y. Halpern, Nir Friedman : Plausibility Measures and Default Reasoning: An Overview. LICS 1999 : 130-135 172 Joseph Y. Halpern, Richard A. Shore : Reasoning about Common Knowledge with Infinitely Many Agents. LICS 1999 : 384-393 171 Joseph Y. Halpern, Aleta Ricciardi : A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors. PODC 1999 : 73-82 170 Francis Chu , Joseph Y. Halpern, Praveen Seshadri : Least Expected Cost Query Optimization: An Exercise in Utility. PODS 1999 : 138-147 169 Joseph Y. Halpern: Set-theoretic completeness for epistemic and conditional logic. Annals of Mathematics and Artificial Intelligence 26 (1-4): 1-27 (1999) 168 Joseph Y. Halpern: Errata: ``The relationship between knowledge, belief, and certainty''. Annals of Mathematics and Artificial Intelligence 26 (1-4): 253-256 (1999) 167 Ronald Fagin , Joseph Y. Halpern, Yoram Moses , Moshe Y. Vardi : Common Knowledge Revisited. Annals of Pure and Applied Logic 96 (1-3): 89-105 (1999) 166 Fahiem Bacchus , Joseph Y. Halpern, Hector J. Levesque : Reasoning about Noisy Sensors and Effectors in the Situation Calculus. Artificial Intelligence 111 (1-2): 171-208 (1999) 165 Nir Friedman , Joseph Y. Halpern: Modeling Belief in Dynamic Systems, Part II: Revision and Update. JAIR 10 : 117-167 (1999) 164 Joseph Y. Halpern: A Counterexample to Theorems of Cox and Fine. JAIR 10 : 67-85 (1999) 163 Joseph Y. Halpern: Cox's Theorem Revisited (technical addendum). JAIR 11 : 429-435 (1999) 162 Nir Friedman , Joseph Y. Halpern: Belief Revision: A Critique. Journal of Logic, Language and Information 8 (4): 401-420 (1999) 161 Craig Boutilier , Nir Friedman , Joseph Y. Halpern: Belief Revision with Unreliable Observations. AAAI/IAAI 1998 : 127-134 160 Francis Chu , Joseph Y. Halpern: A Decision-Theoretic Approach to Reliable Message Delivery. DISC 1998 : 89-103 159 Joseph Y. Halpern: Characterizing the Common Prior Assumption. TARK 1998 : 133-146 158 Joseph Y. Halpern: Hypothetical Knowledge and Counterfactual Reasoning. TARK 1998 : 83-96 157 Joseph Y. Halpern, Yoram Moses : Using Counterfactuals in Knowledge-Based Programming. TARK 1998 : 97-110 156 Adam J. Grove , Joseph Y. Halpern: Updating Sets of Probabilities. UAI 1998 : 173-182 155 Joseph Y. Halpern: Axiomatizing Causal Reasoning. UAI 1998 : 202-210 154 Ronen I. Brafman , Joseph Y. Halpern, Yoav Shoham : On the Knowledge Requirements of Tasks. Artificial Intelligence 98 (1-2): 317-349 (1998) 153 Joseph Y. Halpern: Time to Publication: A Progress Report. JACM 45 (3): 379-380 (1998) 152 Cynthia Dwork , Joseph Y. Halpern, Orli Waarts : Performing Work Efficiently in the Presence of Faults. SIAM J. Comput. 27 (5): 1457-1491 (1998) 151 Joseph Y. Halpern: Using Multi-Agent Systems to Represent Uncertainty (invited talk). SCAI 1997 150 Adam J. Grove , Joseph Y. Halpern: Probability Update: Conditioning vs. Cross-Entropy. UAI 1997 : 208-214 149 Urszula Chajewska , Joseph Y. Halpern: Defining Explanation in Probabilistic Systems. UAI 1997 : 62-71 148 Nir Friedman , Joseph Y. Halpern: Modeling Belief in Dynamic Systems, Part I: Foundations. Artificial Intelligence 95 (2): 257-316 (1997) 147 Joseph Y. Halpern: A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. Computational Intelligence 13 (1): 144-163 (1997) 146 Ronald Fagin , Joseph Y. Halpern, Yoram Moses , Moshe Y. Vardi : Knowledge-Based Programs. Distributed Computing 10 (4): 199-225 (1997) 145 Joseph Y. Halpern: On becoming editor-in-chief of JACM. JACM 44 (3): 363-365 (1997) 144 Joseph Y. Halpern: Defining Relative Likelihood in Partially-Ordered Structures. JAIR 7 : 1-24 (1997) 143 Joseph Y. Halpern: A Theory of Knowledge and Ignorance for Many Agents. Journal of Logic and Computation 7 (1): 79-108 (1997) 142 Daphne Koller , Joseph Y. Halpern: Irrelevance and Conditioning in First-Order Probabilistic Logic. AAAI/IAAI, Vol. 1 1996 : 569-576 141 Nir Friedman , Joseph Y. Halpern: Plausibility Measures and Default Reasoning. AAAI/IAAI, Vol. 2 1996 : 1297-1304 140 Nir Friedman , Joseph Y. Halpern, Daphne Koller : First-Order Conditional Logic Revisited. AAAI/IAAI, Vol. 2 1996 : 1305-1312 139 Joseph Y. Halpern: A Counterexample to Theorems of Cox and Fine. AAAI/IAAI, Vol. 2 1996 : 1313-1319 138 Joseph Y. Halpern: Using Multi-Agent Systems to Represent Uncertainty. AAAI/IAAI, Vol. 2 1996 : 1329-1330 137 Nir Friedman , Joseph Y. Halpern: Belief Revision: A Critique. KR 1996 : 421-431 136 Joseph Y. Halpern, Gerhard Lakemeyer : Multi-Agent Only Knowing. TARK 1996 : 251-265 135 Ronald Fagin , Joseph Y. Halpern, Yoram Moses , Moshe Y. Vardi : Common Knowledge Revisited. TARK 1996 : 283-298 134 Joseph Y. Halpern: On Ambiguities in the Interpretation of Game Trees. TARK 1996 : 77-96 133 Nir Friedman , Joseph Y. Halpern: A Qualitative Markov Assumption and Its Implications for Belief Change. UAI 1996 : 263-273 132 Joseph Y. Halpern: Defining Relative Likelihood in Partially-Ordered Preferential Structures. UAI 1996 : 299-306 131 Fahiem Bacchus , Adam J. Grove , Joseph Y. Halpern, Daphne Koller : From Statistical Knowledge Bases to Degrees of Belief. Artificial Intelligence 87 (1-2): 75-143 (1996) 130 Adam J. Grove , Joseph Y. Halpern, Daphne Koller : Asymptotic Conditional Probabilities: The Unary Case. SIAM J. Comput. 25 (1): 1-51 (1996) 129 Adam J. Grove , Joseph Y. Halpern, Daphne Koller : Asymptotic Conditional Probabilities: The Non-Unary Case. The Journal of Symbolic Logic 61 (1): 250-276 (1996) 128 Joseph Y. Halpern, Daphne Koller : Representation Dependence in Probabilistic Inference. IJCAI 1995 : 1853-1861 127 Fahiem Bacchus , Joseph Y. Halpern, Hector J. Levesque : Reasoning about Noisy Sensors in the Situation Calculus. IJCAI 1995 : 1933-1940 126 Ronald Fagin , Joseph Y. Halpern, Yoram Moses , Moshe Y. Vardi : Knowledge-Based Programs. PODC 1995 : 153-163 125 Fahiem Bacchus , Joseph Y. Halpern, Hector J. Levesque : Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus. Reasoning with Uncertainty in Robotics 1995 : 218-220 124 Nir Friedman , Joseph Y. Halpern: Plausibility Measures: A User's Guide. UAI 1995 : 175-184 123 Joseph Y. Halpern, Gerhard Lakemeyer : Levesque's Axiomatization of only Knowing is Incomplete. Artificial Intelligence 74 (2): 381-387 (1995) 122 Joseph Y. Halpern: The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic. Artificial Intelligence 75 (2): 361-372 (1995) 121 Ronald Fagin , Joseph Y. Halpern, Moshe Y. Vardi : A Nonstandard Approach to the Logical Omniscience Problem. Artificial Intelligence 79 (2): 203-240 (1995) 120 Joseph Y. Halpern, Edward L. Wimmers : Full Abstraction and Expressive Completeness for FP. Information and Computation 118 (2): 246-271 (1995) 119 Danny Dolev , Joseph Y. Halpern, Barbara Simons , H. Raymond Strong : Dynamic Fault-Tolerant Clock Synchronization. JACM 42 (1): 143-185 (1995) 118 Ronald Fagin , Joseph Y. Halpern, Yoram Moses , Moshe Y. Vardi : An Operational Semantics for Knowledge Bases. AAAI 1994 : 1142-1147 117 Fahiem Bacchus , Adam J. Grove , Joseph Y. Halpern, Daphne Koller : Forming Beliefs about a Changing World. AAAI 1994 : 222-229 116 Nir Friedman , Joseph Y. Halpern: Conditional Logics of Belief Change. AAAI 1994 : 915-921 115 Nir Friedman , Joseph Y. Halpern: A Knowledge-Based Framework for Belief Change, Part II: Revision and Update. KR 1994 : 190-201 114 Nir Friedman , Joseph Y. Halpern: On the Complexity of Conditional Logics. KR 1994 : 202-213 113 Joseph Y. Halpern, Yoram Moses , Moshe Y. Vardi : Algorithmic Knowledge. TARK 1994 : 255-266 112 Nir Friedman , Joseph Y. Halpern: A Knowledge-Based Framework for Belief change, Part I: Foundations. TARK 1994 : 44-64 111 Fahiem Bacchus , Adam J. Grove , Joseph Y. Halpern, Daphne Koller : Generating New Beliefs from Old. UAI 1994 : 37-45 110 Joseph Y. Halpern, Bruce M. Kapron : Zero-One Laws for Modal Logic. Annals of Pure and Applied Logic 69 (2-3): 157-193 (1994) 109 Fahiem Bacchus , Adam J. Grove , Joseph Y. Halpern, Daphne Koller : A Response to "Believing on the Basis of the Evidence". Computational Intelligence 10 : 21-25 (1994) 108 Martín Abadi , Joseph Y. Halpern: Decidability and Expressiveness for First-Order Logics of Probability. Information and Computation 112 (1): 1-36 (1994) 107 Ronald Fagin , Joseph Y. Halpern: Reasoning About Knowledge and Probability. JACM 41 (2): 340-367 (1994) 106 Adam J. Grove , Joseph Y. Halpern, Daphne Koller : Random Worlds and Maximum Entropy. JAIR 2 : 33-88 (1994) 105 Joseph Y. Halpern: Reasoning about only Knowing with Many Agents. AAAI 1993 : 655-661 104 Fahiem Bacchus , Adam J. Grove , Joseph Y. Halpern, Daphne Koller : Generating Degrees of Belief from Statistical Information: An Overview. FSTTCS 1993 : 318-325 103 Fahiem Bacchus , Adam J. Grove , Joseph Y. Halpern, Daphne Koller : Statistical Foundations for Default Reasoning. IJCAI 1993 : 563-569 102 Joseph Y. Halpern: A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. Kurt Gödel Colloquium 1993 : 43-60 101 Joseph Y. Halpern, Mark R. Tuttle : Knowledge, Probability, and Adversaries. JACM 40 (4): 917-962 (1993) 100 Adam J. Grove , Joseph Y. Halpern: Naming and Identity in Epistemic Logics Part I: The Propositional Case. Journal of Logic and Computation 3 (4): 345-378 (1993) 99 Vassos Hadzilacos , Joseph Y. Halpern: The Failure Discovery Problem. Mathematical Systems Theory 26 (1): 103-129 (1993) 98 Vassos Hadzilacos , Joseph Y. Halpern: Message-Optimal Protocols for Byzantine Agreement. Mathematical Systems Theory 26 (1): 41-102 (1993) 97 Fahiem Bacchus , Adam J. Grove , Daphne Koller , Joseph Y. Halpern: From Statistics to Beliefs. AAAI 1992 : 602-608 96 Daphne Koller , Joseph Y. Halpern: A Logic for Approximate Reasoning. KR 1992 : 153-164 95 Adam J. Grove , Joseph Y. Halpern, Daphne Koller : Random Worlds and Maximum Entropy. LICS 1992 : 22-33 94 Joseph Y. Halpern, Bruce M. Kapron : Zero-One Laws for Modal Logic. LICS 1992 : 369-380 93 Cynthia Dwork , Joseph Y. Halpern, Orli Waarts : Performing Work Efficiently in the Presence of Faults. PODC 1992 : 91-102 92 Adam J. Grove , Joseph Y. Halpern, Daphne Koller : Asymptotic Conditional Probabilities for First-Order Logic. STOC 1992 : 294-305 91 Ronald Fagin , John Geanakoplos , Joseph Y. Halpern, Moshe Y. Vardi : The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge. TARK 1992 : 229-244 90 Joseph Y. Halpern, Ronald Fagin : Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. Artificial Intelligence 54 (2): 275-317 (1992) 89 Joseph Y. Halpern, Yoram Moses : A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief. Artificial Intelligence 54 (2): 319-379 (1992) 88 Ronald Fagin , Joseph Y. Halpern, Moshe Y. Vardi : What Can Machines Know? On the Properties of Knowledge in Distributed Systems. JACM 39 (2): 328-376 (1992) 87 Joseph Y. Halpern, Lenore D. Zuck : A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols. JACM 39 (3): 449-478 (1992) 86 Ronald Fagin , Joseph Y. Halpern, Moshe Y. Vardi : What Is an Inference Rule? The Journal of Symbolic Logic 57 (3): 1018-1045 (1992) 85 Adam J. Grove , Joseph Y. Halpern: Naming and Identity in a Multi-Agent Epistemic Logic. KR 1991 : 301-312 84 Joseph Y. Halpern, Moshe Y. Vardi : Model Checking vs. Theorem Proving: A Manifesto. KR 1991 : 325-334 83 Vassos Hadzilacos , Joseph Y. Halpern: Message-Optimal Protocols for Byzantine Agreement (Extended Abstract). PODC 1991 : 309-323 82 Joseph Y. Halpern: Knowledge and Probability in Distributed Systems (Abstract). TAPSOFT, Vol.2 1991 : 50-54 81 Joseph Y. Halpern: The relationship between knowledge, belief and certainty. Annals of Mathematics and Artificial Intelligence 4 : 301-322 (1991) 80 Ronald Fagin , Joseph Y. Halpern: Uncertainty, belief, and probability. Computational Intelligence 7 : 160-173 (1991) 79 Joseph Y. Halpern, Ichiro Suzuki : Clock Synchronization and the Power of Broadcasting. Distributed Computing 5 : 73-82 (1991) 78 Ronald Fagin , Joseph Y. Halpern, Moshe Y. Vardi : A Model-Theoretic Analysis of Knowledge. JACM 38 (2): 382-428 (1991) 77 Joseph Y. Halpern, Yoav Shoham : A Propositional Modal Logic of Time Intervals. JACM 38 (4): 935-962 (1991) 76 Joseph Y. Halpern: Presburger Arithmetic with Unarr Predicates is Pi 1 1 Complete. The Journal of Symbolic Logic 56 (2): 637-642 (1991) 75 Joseph Y. Halpern, Ronald Fagin : Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. AAAI 1990 : 112-119 74 Joseph Y. Halpern, Yoram Moses , Orli Waarts : A Characterization of Eventual Byzantine Agreement. PODC 1990 : 333-346 73 Ronald Fagin , Joseph Y. Halpern, Moshe Y. Vardi : A Nonstandard Approach to the Logical Omniscience Problem. TARK 1990 : 41-55 72 Ronald Fagin , Joseph Y. Halpern: A new approach to updating beliefs. UAI 1990 : 347-374 71 Joseph Y. Halpern: An Analysis of First-Order Logics of Probability. Artificial Intelligence 46 (3): 311-350 (1990) 70 Joseph Y. Halpern: Let many flowers bloom: a response to An inquiry into computer understanding e. Computational Intelligence 6 : 184-188 (1990) 69 Ronald Fagin , Joseph Y. Halpern, Nimrod Megiddo : A Logic for Reasoning about Probabilities. Information and Computation 87 (1/2): 78-128 (1990) 68 Joseph Y. Halpern, John H. Williams , Edward L. Wimmers : Completeness of Rewrite Rules and Rewrite Strategies for FP. JACM 37 (1): 86-143 (1990) 67 Joseph Y. Halpern, Yoram Moses : Knowledge and Common Knowledge in a Distributed Environment. JACM 37 (3): 549-587 (1990) 66 Martín Abadi , Joseph Y. Halpern: Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract). FOCS 1989 : 148-153 65 Ronald Fagin , Joseph Y. Halpern: Uncertainty, Belief, and Probability. IJCAI 1989 : 1161-1167 64 Joseph Y. Halpern: An Analysis of First-Order Logics of Probability. IJCAI 1989 : 1375-1381 63 Joseph Y. Halpern, Mark R. Tuttle : Knowledge, Probability, and Adversaries. PODC 1989 : 103-118 62 Joseph Y. Halpern, Ronald Fagin : Modelling Knowledge and Action in Distributed Systems. Distributed Computing 3 (4): 159-177 (1989) 61 Steven M. German , Edmund M. Clarke , Joseph Y. Halpern: Reasoning about Procedures as Parameters in the Language L4. Information and Computation 83 (3): 265-359 (1989) 60 Joseph Y. Halpern, Moshe Y. Vardi : The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. JCSS 38 (1): 195-237 (1989) 59 Joseph Y. Halpern, Ronald Fagin : Modelling Knowledge and Action in Distributed Systems. Concurrency 1988 : 18-32 58 Ronald Fagin , Joseph Y. Halpern, Nimrod Megiddo : A Logic for Reasoning about Probabilities. LICS 1988 : 410-421 57 Joseph Y. Halpern, Yoram Moses , Mark R. Tuttle : A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report). STOC 1988 : 132-147 56 Joseph Y. Halpern, Moshe Y. Vardi : Reasoning about Knowledge and Time in Asynchronous Systems. STOC 1988 : 53-65 55 Joseph Y. Halpern: Reasoning About Knowledge: A Tutorial. TARK 1988 : 161 54 Ronald Fagin , Joseph Y. Halpern: Reasoning about Knowledge and Probability. TARK 1988 : 277-293 53 Joseph Y. Halpern, Edward L. Wimmers : Full Abstraction and Expressive Completenes for FP. LICS 1987 : 257-271 52 Ronald Fagin , Joseph Y. Halpern: I'm OK if You're OK: On the Notion of Trusting Communication. LICS 1987 : 280-292 51 Joseph Y. Halpern: A Little Knowledge Goes a Long Way: Simple Knowledge-based Derivations and Correctness Proofs for a Family of Protocols. PODC 1987 : 269-280 50 Joseph Y. Halpern, Michael O. Rabin : A Logic to Reason about Likelihood. Artificial Intelligence 32 (3): 379-405 (1987) 49 Ronald Fagin , Joseph Y. Halpern: Belief, Awareness, and Limited Reasoning. . Artificial Intelligence 34 (1): 39-76 (1987) 48 Danny Dolev , Joseph Y. Halpern, Barbara Simons , H. Raymond Strong : A New Look at Fault-Tolerant Network Routing. Information and Computation 72 (3): 180-196 (1987) 47 Joseph Y. Halpern: Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986. Morgan Kaufmann 1986 46 Ronald Fagin , Joseph Y. Halpern, Moshe Y. Vardi : What Can Machines Know? On the Epistemic Properties of Machines. AAAI 1986 : 428-435 45 Steven M. German , Edmund M. Clarke , Joseph Y. Halpern: True Relative Completeness of an Axiom System for the Language L4 (Abridged). LICS 1986 : 11-25 44 Joseph Y. Halpern, John H. Williams , Edward L. Wimmers : Good Rewrite Strategies for FP. LICS 1986 : 149-162 43 Joseph Y. Halpern, Yoav Shoham : A Propositional Model Logic of Time Intervals. LICS 1986 : 279-292 42 Joseph Y. Halpern, Moshe Y. Vardi : The Complexity of Reasoning about Knowledge and Time: Extended Abstract. STOC 1986 : 304-315 41 Joseph Y. Halpern: Reasoning About Knowledge: An Overview. TARK 1986 : 1-17 40 Yoram Moses , Danny Dolev , Joseph Y. Halpern: Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication. Distributed Computing 1 (3): 167-176 (1986) 39 E. Allen Emerson , Joseph Y. Halpern: ``Sometimes'' and ``Not Never'' revisited: on branching versus linear time temporal logic. JACM 33 (1): 151-178 (1986) 38 Danny Dolev , Joseph Y. Halpern, H. Raymond Strong : On the Possibility and Impossibility of Achieving Clock Synchronization. JCSS 32 (2): 230-250 (1986) 37 Joseph Y. Halpern, Michael C. Loui , Albert R. Meyer , Daniel Weise : On Time versus Space III. Mathematical Systems Theory 19 (1): 13-28 (1986) 36 Joseph Y. Halpern, Yoram Moses : A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. IJCAI 1985 : 480-490 35 Ronald Fagin , Joseph Y. Halpern: Belief, Awareness, and Limited Reasoning: Preliminary Report. IJCAI 1985 : 491-501 34 Yoram Moses , Danny Dolev , Joseph Y. Halpern: Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version). PODC 1985 : 215-223 33 Joseph Y. Halpern, Ronald Fagin : A Formal Model of Knowledge, Action, and Communication in Distributed Systems: Preliminary Report. PODC 1985 : 224-236 32 Joseph Y. Halpern, John H. Williams , Edward L. Wimmers , Timothy C. Winkler : Denotational Semantics and Rewrite Rules for FP. POPL 1985 : 108-120 31 Joseph Y. Halpern, Nimrod Megiddo , Ashfaq A. Munshi : Optimal Precision in the Presence of Uncertainty (Preliminary Version). STOC 1985 : 346-355 30 E. Allen Emerson , Joseph Y. Halpern: Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. JCSS 30 (1): 1-24 (1985) 29 Rohit Parikh , Ashok K. Chandra , Joseph Y. Halpern, Albert R. Meyer : Equations Between Regular Terms and an Application to Process Logic. SIAM J. Comput. 14 (4): 935-942 (1985) 28 Joseph Y. Halpern, David A. McAllester : Likelihood, Probability, and Knowledge. AAAI 1984 : 137-141 27 Ronald Fagin , Joseph Y. Halpern, Moshe Y. Vardi : A Model-Theoretic Analysis of Knowledge: Preliminary Report. FOCS 1984 : 268-278 26 Joseph Y. Halpern, Yoram Moses : Towards a Theory of Knowledge and Ignorance: Preliminary Report. NMR 1984 : 125-143 25 Joseph Y. Halpern, Yoram Moses : Knowledge and Common Knowledge in a Distributed Environment. PODC 1984 : 50-61 24 Joseph Y. Halpern, Barbara Simons , H. Raymond Strong , Danny Dolev : Fault-Tolerant Clock Synchronization. PODC 1984 : 89-102 23 Joseph Y. Halpern, Albert R. Meyer , Boris A. Trakhtenbrot : The Semantics of Local Storage, or What Makes the Free-List Free? POPL 1984 : 245-257 22 Joseph Y. Halpern: A Good Hoare Axiom System for an Algol-like Language. POPL 1984 : 262-271 21 Danny Dolev , Joseph Y. Halpern, H. Raymond Strong : On the Possibility and Impossibility of Achieving Clock Synchronization. STOC 1984 : 504-511 20 Danny Dolev , Joseph Y. Halpern, Barbara Simons , H. Raymond Strong : A New Look at Fault Tolerant Network Routing. STOC 1984 : 526-535 19 Joseph Y. Halpern, Zohar Manna , Ben C. Moszkowski : A Hardware Semantics Based on Temporal Intervals. ICALP 1983 : 278-291 18 Steven M. German , Edmund M. Clarke , Joseph Y. Halpern: Reasoning About Procedures as Parameters. Logic of Programs 1983 : 206-220 17 Boris A. Trakhtenbrot , Joseph Y. Halpern, Albert R. Meyer : From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview. Logic of Programs 1983 : 474-500 16 E. Allen Emerson , Joseph Y. Halpern: ``Sometimes'' and ``Not Never'' Revisited: On Branching Versus Linear Time. POPL 1983 : 127-140 15 Joseph Y. Halpern, Michael O. Rabin : A Logic to Reason about Likelihood. STOC 1983 : 310-319 14 Joseph Y. Halpern: Deterministic Process Logic is Elementary. Information and Control 57 (1): 56-89 (1983) 13 Edmund M. Clarke , Steven M. German , Joseph Y. Halpern: Effective Axiomatizations of Hoare Logics. JACM 30 (3): 612-636 (1983) 12 Joseph Y. Halpern, John H. Reif : The Propositional Dynamic Logic of Deterministic, Well-Structured Programs. TCS 27 : 127-165 (1983) 11 Joseph Y. Halpern: Deterministic Process Logic Is Elementary. FOCS 1982 : 204-216 10 Piotr Berman , Joseph Y. Halpern, Jerzy Tiuryn : On the Power of Nondeterminism in Dynamic Logic. ICALP 1982 : 48-60 9 Edmund M. Clarke , Steven M. German , Joseph Y. Halpern: On Effective Axiomatizations of Hoare Logics. POPL 1982 : 309-321 8 E. Allen Emerson , Joseph Y. Halpern: Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. STOC 1982 : 169-180 7 Albert R. Meyer , Joseph Y. Halpern: Axiomatic Definitions of Programming Languages: A Theoretical Assessment. JACM 29 (2): 555-576 (1982) 6 Mordechai Ben-Ari , Joseph Y. Halpern, Amir Pnueli : Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness. JCSS 25 (3): 402-417 (1982) 5 Joseph Y. Halpern, John H. Reif : The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract). FOCS 1981 : 322-334 4 Mordechai Ben-Ari , Joseph Y. Halpern, Amir Pnueli : Finite Models for Deterministic Propositional Dynamic Logic. ICALP 1981 : 249-263 3 Joseph Y. Halpern, Albert R. Meyer : Axiomatic Definitions of Programming Languages, II. POPL 1981 : 139-148 2 Ashok K. Chandra , Joseph Y. Halpern, Albert R. Meyer , Rohit Parikh : Equations between Regular Terms and an Application to Process Logic. STOC 1981 : 384-390 1 Albert R. Meyer , Joseph Y. Halpern: Axiomatic Definitions of Programming Languages: A Theoretical Assessment. POPL 1980 : 203-212  DiSC'03 © 2003 Association for Computing Machinery |
