Joseph Halpern

Cited by

	All	Since 2020
Citations	48802	9032
h-index	97	41
i10-index	269	144

2100

1050

525

1575

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025141 151 244 317 378 431 396 427 683 563 680 612 640 753 734 745 839 1183 1318 1437 1674 1948 1984 1917 1870 1897 1842 2060 2019 1784 1732 1688 1656 1654 1557 1915 1599 1950 1891 116

Public access

View all

53 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ronald FaginIBM Almaden Research CenterVerified email at us.ibm.com
Yoram MosesTechnionVerified email at ee.technion.ac.il
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Danny DolevProfessor of Computer Science, The Hebrew UniversityVerified email at mail.huji.ac.il
Daphne KollerCEO and Founder, insitroVerified email at insitro.com
Li Erran LiIEEE Fellow and ACM Fellow, AWS AI, AmazonVerified email at cs.columbia.edu
Nir FriedmanProfessor of Computer Science and Medicine, Hebrew UniversityVerified email at mail.huji.ac.il
Fahiem BacchusProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Hana ChocklerKing's College LondonVerified email at kcl.ac.uk
Ittai AbrahamIntelVerified email at cs.huji.ac.il
Ian KashUniversity of Illinois at ChicagoVerified email at uic.edu
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesVerified email at cse.unsw.edu.au
Zygmunt J. HaasCornell UniversityVerified email at ee.cornell.edu
Johannes GehrkeMicrosoftVerified email at microsoft.com
Nimrod MegiddoDistinguished Research Staff Member, IBM Almaden Research CenterVerified email at us.ibm.com
Arnon LotemSchool of Zoology, Faculty of Life Sciences, Tel-Aviv UniversityVerified email at tauex.tau.ac.il
eric friedmanICSIVerified email at icsi.berkeley.edu
Christopher HitchcockKoepfli Professor of Philosophy, California Institute of TechnologyVerified email at caltech.edu
Judea PearlProfessor of Computer Science, University of California, Los AngelesVerified email at cs.ucla.edu
Cynthia DworkMicrosoft ResearchVerified email at microsoft.com

Joseph Halpern

Professor of Computer Science, Cornell University

Verified email at cs.cornell.edu - Homepage

Artificial Intelligence decision theory game theory modal logic multi-agent systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Reasoning about knowledge MIT Press R Fagin, JY Halpern, Y Moses, MY Vardi Cambridge, MA, London, England, 1995	6384*	1995
Gossip-based ad hoc routing ZJ Haas, JY Halpern, L Li IEEE/ACM Transactions on networking 14 (3), 479-491, 2006	1890*	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	1810	1986
Reasoning about uncertainty JY Halpern MIT press, 2017	1795	2017
Knowledge and common knowledge in a distributed environment JY Halpern, Y Moses Journal of the ACM (JACM) 37 (3), 549-587, 1990	1776	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	1701*	1992
Belief, awareness, and limited reasoning R Fagin, JY Halpern Artificial intelligence 34 (1), 39-76, 1987	1329	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	1249	2005
An analysis of first-order logics of probability JY Halpern Artificial intelligence 46 (3), 311-350, 1990	959	1990
A logic for reasoning about probabilities R Fagin, JY Halpern, N Megiddo Information and computation 87 (1-2), 78-128, 1990	940	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	815	1982
Minimum-energy mobile wireless networks revisited L Li, JY Halpern ICC 2001. IEEE International Conference on Communications. Conference Record …, 2001	702	2001
A propositional modal logic of time intervals JY Halpern, Y Shoham Journal of the ACM (JACM) 38 (4), 935-962, 1991	695	1991
Reasoning about knowledge and probability R Fagin, JY Halpern Journal of the ACM (JACM) 41 (2), 340-367, 1994	693	1994
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	567	2001
Actual causality JY Halpern MiT Press, 2016	541	2016
Rational secret sharing and multiparty computation J Halpern, V Teague Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004	508	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	503	2006
Responsibility and blame: A structural-model approach H Chockler, JY Halpern Journal of Artificial Intelligence Research 22, 93-115, 2004	492	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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors