Joseph Halpern

Geciteerd door

	Alles	Sinds 2016
Citaties	40417	8341
h-index	90	42
i10-index	251	146

2100

1050

525

1575

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021105 133 129 248 316 335 379 350 412 634 489 643 654 611 713 727 700 813 1163 1247 1377 1616 1940 2002 1893 1857 1871 1797 2034 2009 1797 1637 1667 1615 1680 1676 64

Medeauteurs

Ronald FaginIBM Almaden Research CenterGeverifieerd e-mailadres voor us.ibm.com
Yoram MosesTechnionGeverifieerd e-mailadres voor ee.technion.ac.il
Moshe Y. VardiRice UniversityGeverifieerd e-mailadres voor cs.rice.edu
Daphne KollerCEO and Founder, insitroGeverifieerd e-mailadres voor insitro.com
Danny DolevProfessor of Computer Science, The Hebrew UniversityGeverifieerd e-mailadres voor mail.huji.ac.il
Li Erran LiIEEE Fellow and ACM Fellow, Alexa AI, AmazonGeverifieerd e-mailadres voor cs.columbia.edu
Nir FriedmanProfessor of Computer Science and Life Sciences, Hebrew UniversityGeverifieerd e-mailadres voor mail.huji.ac.il
Fahiem BacchusProfessor of Computer Science, University of TorontoGeverifieerd e-mailadres voor cs.toronto.edu
Judea PearlProfessor of Computer Science, University of California, Los AngelesGeverifieerd e-mailadres voor cs.ucla.edu
Ittai AbrahamVMwareGeverifieerd e-mailadres voor cs.huji.ac.il
Ian KashUniversity of Illinois at ChicagoGeverifieerd e-mailadres voor uic.edu
Leandro Chaves RêgoUniversidade Federal do CearáGeverifieerd e-mailadres voor dema.ufc.br
Hana ChocklerKing's College LondonGeverifieerd e-mailadres voor kcl.ac.uk
Zygmunt J. HaasCornell UniversityGeverifieerd e-mailadres voor ee.cornell.edu
Johannes GehrkeMicrosoftGeverifieerd e-mailadres voor microsoft.com
eric friedmanICSIGeverifieerd e-mailadres voor icsi.berkeley.edu
Nimrod MegiddoDistinguished Research Staff Member, IBM Almaden Research CenterGeverifieerd e-mailadres voor us.ibm.com
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesGeverifieerd e-mailadres voor cse.unsw.edu.au
Arnon LotemTel-Aviv UniversityGeverifieerd e-mailadres voor tauex.tau.ac.il
Cynthia DworkMicrosoft ResearchGeverifieerd e-mailadres voor microsoft.com

Joseph Halpern

Professor of Computer Science, Cornell University

Geverifieerd e-mailadres voor cs.cornell.edu - Homepage

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


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Reasoning about knowledge MIT Press R Fagin, JY Halpern, Y Moses, MY Vardi Cambridge, MA, London, England, 1995	5393*	1995
Gossip-based ad hoc routing ZJ Haas, JY Halpern, L Li IEEE/ACM Transactions on networking 14 (3), 479-491, 2006	1759*	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	1555	1986
Knowledge and common knowledge in a distributed environment JY Halpern, Y Moses Journal of the ACM (JACM) 37 (3), 549-587, 1990	1524	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	1512*	1992
Reasoning about uncertainty JY Halpern MIT press, 2017	1461	2017
Belief, awareness, and limited reasoning R Fagin, JY Halpern Artificial intelligence 34 (1), 39-76, 1987	1116	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	896*	2005
An analysis of first-order logics of probability JY Halpern Artificial intelligence 46 (3), 311-350, 1990	858	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	824	2005
A logic for reasoning about probabilities R Fagin, JY Halpern, N Megiddo Information and computation 87 (1-2), 78-128, 1990	777	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	738	1985
Minimum-energy mobile wireless networks revisited L Li, JY Halpern ICC 2001. IEEE International Conference on Communications. Conference Record …, 2001	635	2001
A propositional modal logic of time intervals JY Halpern, Y Shoham Journal of the ACM (JACM) 38 (4), 935-962, 1991	584	1991
Reasoning about knowledge and probability R Fagin, JY Halpern Journal of the ACM (JACM) 41 (2), 340-367, 1994	582*	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	553	2001
Rational secret sharing and multiparty computation J Halpern, V Teague Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004	429	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	425	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	393	2006
Reasoning about knowledge: An overview JY Halpern Theoretical aspects of reasoning about knowledge, 1-17, 1986	380	1986

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

PDF uploaden

Deze auteur volgen

Geciteerd door

Medeauteurs