Joseph Halpern

Cited by

	All	Since 2016
Citations	40524	8370
h-index	90	41
i10-index	247	146

2100

1050

525

1575

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021111 147 136 256 318 356 400 366 440 656 502 649 657 611 719 707 701 819 1172 1235 1373 1603 1931 1996 1878 1863 1903 1784 2033 1972 1791 1649 1672 1634 1709 1666 38

Co-authors

Ronald FaginIBM Almaden Research CenterVerified email at us.ibm.com
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Yoram MosesTechnionVerified email at ee.technion.ac.il
Daphne KollerCEO and Founder, insitroVerified email at insitro.com
Danny DolevProfessor of Computer Science, The Hebrew UniversityVerified email at mail.huji.ac.il
Li Erran LiIEEE Fellow and ACM Fellow, Alexa AI, AmazonVerified email at cs.columbia.edu
Nir FriedmanProfessor of Computer Science and Life Sciences, Hebrew UniversityVerified email at mail.huji.ac.il
Fahiem BacchusProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Judea PearlProfessor of Computer Science, University of California, Los AngelesVerified email at cs.ucla.edu
Ittai AbrahamVMwareVerified email at cs.huji.ac.il
Ian KashUniversity of Illinois at ChicagoVerified email at uic.edu
Leandro Chaves RêgoUniversidade Federal do CearáVerified email at dema.ufc.br
Hana ChocklerKing's College LondonVerified email at kcl.ac.uk
Zygmunt J. HaasCornell UniversityVerified email at ee.cornell.edu
Johannes GehrkeMicrosoftVerified email at microsoft.com
eric friedmanICSIVerified email at icsi.berkeley.edu
Nimrod MegiddoDistinguished Research Staff Member, IBM Almaden Research CenterVerified email at us.ibm.com
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesVerified email at cse.unsw.edu.au
Arnon LotemTel-Aviv UniversityVerified email at tauex.tau.ac.il
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	5410*	1995
Gossip-based ad hoc routing ZJ Haas, JY Halpern, L Li IEEE/ACM Transactions on networking 14 (3), 479-491, 2006	1756*	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	1561	1986
Knowledge and common knowledge in a distributed environment JY Halpern, Y Moses Journal of the ACM (JACM) 37 (3), 549-587, 1990	1531	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	1530*	1992
Reasoning about uncertainty JY Halpern MIT press, 2017	1449	2017
Belief, awareness, and limited reasoning R Fagin, JY Halpern Artificial intelligence 34 (1), 39-76, 1987	1140	1987
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	895*	2005
An analysis of first-order logics of probability JY Halpern Artificial intelligence 46 (3), 311-350, 1990	864	1990
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	826	2005
A logic for reasoning about probabilities R Fagin, JY Halpern, N Megiddo Information and computation 87 (1-2), 78-128, 1990	781	1990
Decision procedures and expressiveness in the temporal logic of branching time EA Emerson, JY Halpern Journal of computer and system sciences 30 (1), 1-24, 1985	743	1985
Minimum-energy mobile wireless networks revisited L Li, JY Halpern ICC 2001. IEEE International Conference on Communications. Conference Record …, 2001	635	2001
Reasoning about knowledge and probability R Fagin, JY Halpern Journal of the ACM (JACM) 41 (2), 340-367, 1994	584*	1994
A propositional modal logic of time intervals JY Halpern, Y Shoham Journal of the ACM (JACM) 38 (4), 935-962, 1991	582	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	546	2001
Rational secret sharing and multiparty computation J Halpern, V Teague Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004	428	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	417	2005
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	392	2006
Reasoning about knowledge: an overview JY Halpern Theoretical aspects of reasoning about knowledge, 1-17, 1986	384	1986

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

Upload PDF

Follow this author

Cited by

Co-authors