Joseph Halpern - Google Scholar

Citeras av

	Alla	Sedan 2015
Citat	39671	9417
h-index	87	45
i10-index	244	154

2100

1050

525

1575

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020110 147 135 254 318 355 395 366 436 651 501 650 657 610 716 707 700 821 1172 1232 1370 1604 1926 1989 1873 1852 1900 1784 2030 1956 1775 1642 1661 1635 1708 981

Medförfattare

Ronald FaginIBM Almaden Research CenterVerifierad e-postadress på us.ibm.com
Moshe Y. VardiRice UniversityVerifierad e-postadress på cs.rice.edu
Yoram MosesTechnionVerifierad e-postadress på ee.technion.ac.il
Daphne KollerCEO and Founder, insitroVerifierad e-postadress på insitro.com
Danny DolevProfessor of Computer Science, The Hebrew UniversityVerifierad e-postadress på mail.huji.ac.il
Li Erran LiIEEE Fellow and ACM Fellow, Alexa AI, AmazonVerifierad e-postadress på cs.columbia.edu
Nir FriedmanProfessor of Computer Science and Life Sciences, Hebrew UniversityVerifierad e-postadress på mail.huji.ac.il
Fahiem BacchusProfessor of Computer Science, University of TorontoVerifierad e-postadress på cs.toronto.edu
Judea PearlProfessor of Computer Science, University of California, Los AngelesVerifierad e-postadress på cs.ucla.edu
Ittai AbrahamVMwareVerifierad e-postadress på cs.huji.ac.il
Ian KashUniversity of Illinois at ChicagoVerifierad e-postadress på uic.edu
Leandro Chaves RêgoUniversidade Federal do CearáVerifierad e-postadress på dema.ufc.br
Hana ChocklerKing's College LondonVerifierad e-postadress på kcl.ac.uk
Zygmunt J. HaasCornell UniversityVerifierad e-postadress på ee.cornell.edu
Johannes GehrkeMicrosoftVerifierad e-postadress på microsoft.com
Nimrod MegiddoDistinguished Research Staff Member, IBM Almaden Research CenterVerifierad e-postadress på us.ibm.com
eric friedmanICSIVerifierad e-postadress på icsi.berkeley.edu
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesVerifierad e-postadress på cse.unsw.edu.au
Arnon LotemTel-Aviv UniversityVerifierad e-postadress på post.tau.ac.il
Cynthia DworkMicrosoft ResearchVerifierad e-postadress på microsoft.com

Joseph Halpern

Professor of Computer Science, Cornell University

Verifierad e-postadress på cs.cornell.edu - Startsida

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


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
Reasoning about knowledge MIT Press R Fagin, JY Halpern, Y Moses, MY Vardi Cambridge, MA, London, England, 1995	5300*	1995
Gossip-based ad hoc routing ZJ Haas, JY Halpern, L Li IEEE/ACM Transactions on networking 14 (3), 479-491, 2006	1735*	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	1544	1986
A guide to completeness and complexity for modal logics of knowledge and belief JY Halpern, Y Moses Artificial intelligence 54 (3), 319-379, 1992	1517*	1992
Knowledge and common knowledge in a distributed environment JY Halpern, Y Moses Journal of the ACM (JACM) 37 (3), 549-587, 1990	1513	1990
Reasoning about uncertainty JY Halpern MIT press, 2017	1410	2017
Belief, awareness, and limited reasoning R Fagin, JY Halpern Artificial intelligence 34 (1), 39-76, 1987	1118	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	859*	2005
An analysis of first-order logics of probability JY Halpern Artificial intelligence 46 (3), 311-350, 1990	853	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	792	2005
A logic for reasoning about probabilities R Fagin, JY Halpern, N Megiddo Information and computation 87 (1-2), 78-128, 1990	772	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	736	1985
Minimum-energy mobile wireless networks revisited L Li, JY Halpern ICC 2001. IEEE International Conference on Communications. Conference Record …, 2001	622	2001
Reasoning about knowledge and probability R Fagin, JY Halpern Journal of the ACM (JACM) 41 (2), 340-367, 1994	574*	1994
A propositional modal logic of time intervals JY Halpern, Y Shoham Journal of the ACM (JACM) 38 (4), 935-962, 1991	570	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	544	2001
Rational secret sharing and multiparty computation J Halpern, V Teague Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004	417	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	410	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	379	2006
Reasoning about knowledge: an overview JY Halpern Theoretical aspects of reasoning about knowledge, 1-17, 1986	379	1986

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Ladda upp PDF

Följ den här författaren

Citeras av

Medförfattare