Reasoning about knowledge MIT Press R Fagin, JY Halpern, Y Moses, MY Vardi Cambridge, MA, London, England, 1995 | 6268* | 1995 |
Gossip-based ad hoc routing ZJ Haas, JY Halpern, L Li IEEE/ACM Transactions on networking 14 (3), 479-491, 2006 | 1838* | 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 | 1798 | 1986 |
Reasoning about uncertainty JY Halpern MIT press, 2017 | 1755 | 2017 |
Knowledge and common knowledge in a distributed environment JY Halpern, Y Moses Journal of the ACM (JACM) 37 (3), 549-587, 1990 | 1750 | 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 | 1692* | 1992 |
Belief, awareness, and limited reasoning R Fagin, JY Halpern Artificial intelligence 34 (1), 39-76, 1987 | 1326 | 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 | 1179 | 2005 |
An analysis of first-order logics of probability JY Halpern Artificial intelligence 46 (3), 311-350, 1990 | 947 | 1990 |
A logic for reasoning about probabilities R Fagin, JY Halpern, N Megiddo Information and computation 87 (1-2), 78-128, 1990 | 919 | 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 | 808 | 1982 |
Minimum-energy mobile wireless networks revisited L Li, JY Halpern ICC 2001. IEEE International Conference on Communications. Conference Record …, 2001 | 698 | 2001 |
Reasoning about knowledge and probability R Fagin, JY Halpern Journal of the ACM (JACM) 41 (2), 340-367, 1994 | 677 | 1994 |
A propositional modal logic of time intervals JY Halpern, Y Shoham Journal of the ACM (JACM) 38 (4), 935-962, 1991 | 673 | 1991 |
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 | 576 | 2001 |
Rational secret sharing and multiparty computation J Halpern, V Teague Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004 | 498 | 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 | 487 | 2006 |
Actual causality JY Halpern MiT Press, 2016 | 482 | 2016 |
Responsibility and blame: A structural-model approach H Chockler, JY Halpern Journal of Artificial Intelligence Research 22, 93-115, 2004 | 462 | 2004 |
A cone-based distributed topology-control algorithm for wireless multi-hop networks L Li, JY Halpern, P Bahl, YM Wang, R Wattenhofer IEEE/ACM Transactions on networking 13 (1), 147-159, 2005 | 455 | 2005 |