Joseph Halpern

Citeras av

	Alla	Sedan 2018
Citat	44809	8787
h-index	94	41
i10-index	255	141

2100

1050

525

1575

19861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023147 143 243 316 342 426 387 434 647 520 665 605 642 745 714 714 843 1173 1310 1488 1645 1996 1976 1905 1862 1878 1829 2072 2009 1762 1687 1633 1635 1642 1546 1905 1683 372

Offentlig åtkomst

Visa alla

44 artiklar

0 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Ronald FaginIBM Almaden Research CenterVerifierad e-postadress på us.ibm.com
Yoram MosesTechnionVerifierad e-postadress på ee.technion.ac.il
Moshe Y. VardiRice UniversityVerifierad e-postadress på cs.rice.edu
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, AWS AI, AmazonVerifierad e-postadress på cs.columbia.edu
Nir FriedmanProfessor of Computer Science and Medicine, Hebrew UniversityVerifierad e-postadress på mail.huji.ac.il
Fahiem BacchusProfessor of Computer Science, University of TorontoVerifierad e-postadress på cs.toronto.edu
Hana ChocklerKing's College LondonVerifierad e-postadress på kcl.ac.uk
Ittai AbrahamVMwareVerifierad e-postadress på cs.huji.ac.il
Judea PearlProfessor of Computer Science, University of California, Los AngelesVerifierad e-postadress på cs.ucla.edu
Leandro Chaves RêgoProfessor no Departamento de Estatística e Matemática Aplicada, Universidade Federal do CearáVerifierad e-postadress på dema.ufc.br
Ian KashUniversity of Illinois at ChicagoVerifierad e-postadress på uic.edu
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 LotemSchool of Zoology, Faculty of Life Sciences, Tel-Aviv UniversityVerifierad e-postadress på tauex.tau.ac.il
Christopher HitchcockKoepfli Professor of Philosophy, California Institute of TechnologyVerifierad e-postadress på caltech.edu

Följ

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	5997*	1995
Gossip-based ad hoc routing ZJ Haas, JY Halpern, L Li IEEE/ACM Transactions on networking 14 (3), 479-491, 2006	1851*	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	1702	1986
Knowledge and common knowledge in a distributed environment JY Halpern, Y Moses Journal of the ACM (JACM) 37 (3), 549-587, 1990	1671	1990
Reasoning about uncertainty JY Halpern MIT press, 2017	1639	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	1626*	1992
Belief, awareness, and limited reasoning R Fagin, JY Halpern Artificial intelligence 34 (1), 39-76, 1987	1268	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	1031	2005
An analysis of first-order logics of probability JY Halpern Artificial intelligence 46 (3), 311-350, 1990	922	1990
A logic for reasoning about probabilities R Fagin, JY Halpern, N Megiddo Information and computation 87 (1-2), 78-128, 1990	864	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	786	1982
Minimum-energy mobile wireless networks revisited L Li, JY Halpern ICC 2001. IEEE International Conference on Communications. Conference Record …, 2001	679	2001
Reasoning about knowledge and probability R Fagin, JY Halpern Journal of the ACM (JACM) 41 (2), 340-367, 1994	651*	1994
A propositional modal logic of time intervals JY Halpern, Y Shoham Journal of the ACM (JACM) 38 (4), 935-962, 1991	636	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	571	2001
Rational secret sharing and multiparty computation J Halpern, V Teague Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004	467	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	451	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	448	2006
Reasoning about knowledge: An overview JY Halpern Theoretical aspects of reasoning about knowledge, 1-17, 1986	411	1986
Worst-case background knowledge for privacy-preserving data publishing DJ Martin, D Kifer, A Machanavajjhala, J Gehrke, JY Halpern 2007 IEEE 23rd International Conference on Data Engineering, 126-135, 2006	402	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

Följ

Citeras av

Medförfattare