| Reasoning about knowledge MIT Press R Fagin, JY Halpern, Y Moses, MY Vardi Cambridge, MA, London, England, 1995 | 6576* | 1995 |
| Gossip-based ad hoc routing ZJ Haas, JY Halpern, L Li IEEE/ACM Transactions on networking 14 (3), 479-491, 2006 | 1899* | 2006 |
| “Sometimes” and “not never” revisited: on branching versus linear time temporal logic EA Emerson, JY Halpern Journal of the ACM (JACM) 33 (1), 151-178, 1986 | 1884 | 1986 |
| Reasoning about uncertainty JY Halpern MIT press, 2017 | 1873 | 2017 |
| Knowledge and common knowledge in a distributed environment JY Halpern, Y Moses Journal of the ACM (JACM) 37 (3), 549-587, 1990 | 1838 | 1990 |
| A guide to completeness and complexity for modal logics of knowledge and belief JY Halpern, Y Moses Artificial intelligence 54 (3), 319-379, 1992 | 1728* | 1992 |
| Belief, awareness, and limited reasoning R Fagin, JY Halpern Artificial intelligence 34 (1), 39-76, 1987 | 1405 | 1987 |
| Causes and explanations: A structural-model approach. Part I: Causes JY Halpern, J Pearl The British journal for the philosophy of science 56 (4), 843-887, 2005 | 1354 | 2005 |
| An analysis of first-order logics of probability JY Halpern Artificial intelligence 46 (3), 311-350, 1990 | 984 | 1990 |
| A logic for reasoning about probabilities R Fagin, JY Halpern, N Megiddo Information and computation 87 (1-2), 78-128, 1990 | 974 | 1990 |
| Decision procedures and expressiveness in the temporal logic of branching time EA Emerson, JY Halpern Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982 | 828 | 1982 |
| Reasoning about knowledge and probability R Fagin, JY Halpern Journal of the ACM (JACM) 41 (2), 340-367, 1994 | 723 | 1994 |
| A propositional modal logic of time intervals JY Halpern, Y Shoham Journal of the ACM (JACM) 38 (4), 935-962, 1991 | 710 | 1991 |
| Minimum-energy mobile wireless networks revisited L Li, JY Halpern ICC 2001. IEEE International Conference on Communications. Conference Record …, 2001 | 708 | 2001 |
| Actual causality JY Halpern MiT Press, 2016 | 642 | 2016 |
| Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks L Li, JY Halpern, P Bahl, YM Wang, R Wattenhofer Proceedings of the twentieth annual ACM symposium on Principles of …, 2001 | 572 | 2001 |
| Responsibility and blame: A structural-model approach H Chockler, JY Halpern Journal of Artificial Intelligence Research 22, 93-115, 2004 | 548 | 2004 |
| Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation I Abraham, D Dolev, R Gonen, J Halpern Proceedings of the twenty-fifth annual ACM symposium on Principles of …, 2006 | 521 | 2006 |
| Rational secret sharing and multiparty computation J Halpern, V Teague Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004 | 515 | 2004 |
| Causes and explanations: A structural-model approach. Part II: Explanations JY Halpern, J Pearl The British Journal for the Philosophy of Science 56 (4), 889-911, 2005 | 473 | 2005 |
Ronald FaginIBM Research - Silicon ValleyVerified email at us.ibm.com
