Joseph Halpern - Google Scholar Citations

Citeras av

	Alla	Sedan 2015
Citat	38461	8483
h-index	86	43
i10-index	238	141

2100

1050

525

1575

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020113 148 134 264 326 355 386 387 434 650 513 644 633 600 709 710 698 804 1159 1210 1356 1603 1898 1966 1862 1824 1874 1775 2009 1904 1773 1630 1642 1654 1695 77

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
Li Erran LiIEEE Fellow and ACM Fellow, Head of Machine Learning, Scale AIVerifierad e-postadress på cs.columbia.edu
Danny DolevProfessor of Computer Science, The Hebrew UniversityVerifierad e-postadress på mail.huji.ac.il
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
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
Judea PearlProfessor of Computer Science, University of California, Los AngelesVerifierad e-postadress på cs.ucla.edu
Zygmunt J. HaasCornell UniversityVerifierad e-postadress på ee.cornell.edu
Hana ChocklerKing's College LondonVerifierad e-postadress på kcl.ac.uk
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
Johannes GehrkeMicrosoftVerifierad e-postadress på microsoft.com
Nimrod MegiddoDistinguished Research Staff Member, IBM Almaden Research CenterVerifierad e-postadress på us.ibm.com
Cynthia DworkMicrosoft ResearchVerifierad e-postadress på microsoft.com
Arnon LotemTel-Aviv UniversityVerifierad e-postadress på post.tau.ac.il

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	Citeras av	År
Reasoning about knowledge MIT Press R Fagin, JY Halpern, Y Moses, MY Vardi Cambridge, MA, London, England, 1995	5160*	1995
Gossip-based ad hoc routing ZJ Haas, JY Halpern, L Li IEEE/ACM Transactions on networking 14 (3), 479-491, 2006	1702*	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	1499	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	1492*	1992
Knowledge and common knowledge in a distributed environment JY Halpern, Y Moses Journal of the ACM (JACM) 37 (3), 549-587, 1990	1481	1990
Reasoning about uncertainty JY Halpern MIT press, 2017	1354	2017
Belief, awareness, and limited reasoning R Fagin, JY Halpern Artificial intelligence 34 (1), 39-76, 1987	1094	1987
An analysis of first-order logics of probability JY Halpern Artificial intelligence 46 (3), 311-350, 1990	842	1990
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	794*	2005
A logic for reasoning about probabilities R Fagin, JY Halpern, N Megiddo Information and computation 87 (1-2), 78-128, 1990	755	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	740	2005
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	705	1985
Minimum-energy mobile wireless networks revisited L Li, JY Halpern ICC 2001. IEEE International Conference on Communications. Conference Record …, 2001	608	2001
A propositional modal logic of time intervals JY Halpern, Y Shoham Journal of the ACM (JACM) 38 (4), 935-962, 1991	559	1991
Reasoning about knowledge and probability R Fagin, JY Halpern Journal of the ACM (JACM) 41 (2), 340-367, 1994	553*	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	531	2001
Rational secret sharing and multiparty computation J Halpern, V Teague Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004	405	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	403	2005
Reasoning about knowledge: an overview JY Halpern Theoretical aspects of reasoning about knowledge, 1-17, 1986	371	1986
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	368	2006

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