Joseph Halpern

Geciteerd door

	Alles	Sinds 2018
Citaties	46396	10230
h-index	94	45
i10-index	262	150

2100

1050

525

1575

19861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023145 144 247 324 357 436 386 440 686 554 654 613 650 737 733 734 830 1172 1311 1421 1659 1914 1980 1902 1874 1870 1826 2055 2015 1761 1696 1648 1642 1652 1562 1883 1634 1851

Openbare toegang

Alles bekijken

45 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Ronald FaginIBM Almaden Research CenterGeverifieerd e-mailadres voor us.ibm.com
Moshe Y. VardiRice UniversityGeverifieerd e-mailadres voor cs.rice.edu
Yoram MosesTechnionGeverifieerd e-mailadres voor ee.technion.ac.il
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, AWS AI, AmazonGeverifieerd e-mailadres voor cs.columbia.edu
Nir FriedmanProfessor of Computer Science and Medicine, Hebrew UniversityGeverifieerd e-mailadres voor mail.huji.ac.il
Fahiem BacchusProfessor of Computer Science, University of TorontoGeverifieerd e-mailadres voor cs.toronto.edu
Hana ChocklerKing's College LondonGeverifieerd e-mailadres voor kcl.ac.uk
Ittai AbrahamIntelGeverifieerd e-mailadres voor cs.huji.ac.il
Ian KashUniversity of Illinois at ChicagoGeverifieerd e-mailadres voor uic.edu
Zygmunt J. HaasCornell UniversityGeverifieerd e-mailadres voor ee.cornell.edu
Johannes GehrkeMicrosoftGeverifieerd e-mailadres voor microsoft.com
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesGeverifieerd e-mailadres voor cse.unsw.edu.au
Judea PearlProfessor of Computer Science, University of California, Los AngelesGeverifieerd e-mailadres voor cs.ucla.edu
Nimrod MegiddoDistinguished Research Staff Member, IBM Almaden Research CenterGeverifieerd e-mailadres voor us.ibm.com
Arnon LotemSchool of Zoology, Faculty of Life Sciences, Tel-Aviv UniversityGeverifieerd e-mailadres voor tauex.tau.ac.il
eric friedmanICSIGeverifieerd e-mailadres voor icsi.berkeley.edu
Christopher HitchcockKoepfli Professor of Philosophy, California Institute of TechnologyGeverifieerd e-mailadres voor caltech.edu
Cynthia DworkMicrosoft ResearchGeverifieerd e-mailadres voor microsoft.com

Volgen

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	6138*	1995
Gossip-based ad hoc routing ZJ Haas, JY Halpern, L Li IEEE/ACM Transactions on networking 14 (3), 479-491, 2006	1860*	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	1755	1986
Knowledge and common knowledge in a distributed environment JY Halpern, Y Moses Journal of the ACM (JACM) 37 (3), 549-587, 1990	1718	1990
Reasoning about uncertainty JY Halpern MIT press, 2017	1700	2017
A guide to completeness and complexity for modal logics of knowledge and belief JY Halpern, Y Moses Artificial intelligence 54 (3), 319-379, 1992	1681*	1992
Belief, awareness, and limited reasoning R Fagin, JY Halpern Artificial intelligence 34 (1), 39-76, 1987	1301	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	1109	2005
An analysis of first-order logics of probability JY Halpern Artificial intelligence 46 (3), 311-350, 1990	935	1990
A logic for reasoning about probabilities R Fagin, JY Halpern, N Megiddo Information and computation 87 (1-2), 78-128, 1990	895	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	790	1982
Minimum-energy mobile wireless networks revisited L Li, JY Halpern ICC 2001. IEEE International Conference on Communications. Conference Record …, 2001	689	2001
Reasoning about knowledge and probability R Fagin, JY Halpern Journal of the ACM (JACM) 41 (2), 340-367, 1994	667	1994
A propositional modal logic of time intervals JY Halpern, Y Shoham Journal of the ACM (JACM) 38 (4), 935-962, 1991	662	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	576	2001
Rational secret sharing and multiparty computation J Halpern, V Teague Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004	481	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	465	2006
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	452	2005
Responsibility and blame: A structural-model approach H Chockler, JY Halpern Journal of Artificial Intelligence Research 22, 93-115, 2004	442	2004
Actual causality JY Halpern MiT Press, 2016	422	2016

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

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs