Joseph Halpern

Sitert av

	Alle	Siden 2019
Sitater	48558	10460
h-indeks	96	45
i10-indeks	269	155

2100

1050

525

1575

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024138 151 245 317 378 432 396 431 682 562 680 612 640 753 738 744 832 1184 1315 1437 1673 1940 1983 1919 1871 1891 1841 2058 2019 1790 1731 1686 1650 1664 1545 1908 1600 1955 1779

Offentlig tilgang

Vis alle

52 artikler

0 artikler

tilgjengelige

ikke tilgjengelige

Basert på finansieringsmandater

Medforfattere

Ronald FaginIBM Almaden Research CenterVerifisert e-postadresse på us.ibm.com
Yoram MosesTechnionVerifisert e-postadresse på ee.technion.ac.il
Moshe Y. VardiRice UniversityVerifisert e-postadresse på cs.rice.edu
Danny DolevProfessor of Computer Science, The Hebrew UniversityVerifisert e-postadresse på mail.huji.ac.il
Daphne KollerCEO and Founder, insitroVerifisert e-postadresse på insitro.com
Li Erran LiIEEE Fellow and ACM Fellow, AWS AI, AmazonVerifisert e-postadresse på cs.columbia.edu
Nir FriedmanProfessor of Computer Science and Medicine, Hebrew UniversityVerifisert e-postadresse på mail.huji.ac.il
Fahiem BacchusProfessor of Computer Science, University of TorontoVerifisert e-postadresse på cs.toronto.edu
Hana ChocklerKing's College LondonVerifisert e-postadresse på kcl.ac.uk
Ittai AbrahamIntelVerifisert e-postadresse på cs.huji.ac.il
Ian KashUniversity of Illinois at ChicagoVerifisert e-postadresse på uic.edu
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesVerifisert e-postadresse på cse.unsw.edu.au
Zygmunt J. HaasCornell UniversityVerifisert e-postadresse på ee.cornell.edu
Johannes GehrkeMicrosoftVerifisert e-postadresse på microsoft.com
Nimrod MegiddoDistinguished Research Staff Member, IBM Almaden Research CenterVerifisert e-postadresse på us.ibm.com
Arnon LotemSchool of Zoology, Faculty of Life Sciences, Tel-Aviv UniversityVerifisert e-postadresse på tauex.tau.ac.il
eric friedmanICSIVerifisert e-postadresse på icsi.berkeley.edu
Christopher HitchcockKoepfli Professor of Philosophy, California Institute of TechnologyVerifisert e-postadresse på caltech.edu
Judea PearlProfessor of Computer Science, University of California, Los AngelesVerifisert e-postadresse på cs.ucla.edu
Cynthia DworkMicrosoft ResearchVerifisert e-postadresse på microsoft.com

Følg

Joseph Halpern

Professor of Computer Science, Cornell University

Verifisert e-postadresse på cs.cornell.edu - Startside

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


Tittel Sorter etter sitater Sorter etter år Sorter etter tittel	Sitert av Sitert av	År
Reasoning about knowledge MIT Press R Fagin, JY Halpern, Y Moses, MY Vardi Cambridge, MA, London, England, 1995	6358*	1995
Gossip-based ad hoc routing ZJ Haas, JY Halpern, L Li IEEE/ACM Transactions on networking 14 (3), 479-491, 2006	1890*	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	1806	1986
Reasoning about uncertainty JY Halpern MIT press, 2017	1790	2017
Knowledge and common knowledge in a distributed environment JY Halpern, Y Moses Journal of the ACM (JACM) 37 (3), 549-587, 1990	1768	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	1697*	1992
Belief, awareness, and limited reasoning R Fagin, JY Halpern Artificial intelligence 34 (1), 39-76, 1987	1324	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	1225	2005
An analysis of first-order logics of probability JY Halpern Artificial intelligence 46 (3), 311-350, 1990	955	1990
A logic for reasoning about probabilities R Fagin, JY Halpern, N Megiddo Information and computation 87 (1-2), 78-128, 1990	938	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	815	1982
Minimum-energy mobile wireless networks revisited L Li, JY Halpern ICC 2001. IEEE International Conference on Communications. Conference Record …, 2001	703	2001
A propositional modal logic of time intervals JY Halpern, Y Shoham Journal of the ACM (JACM) 38 (4), 935-962, 1991	693	1991
Reasoning about knowledge and probability R Fagin, JY Halpern Journal of the ACM (JACM) 41 (2), 340-367, 1994	692	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	567	2001
Actual causality JY Halpern MiT Press, 2016	527	2016
Rational secret sharing and multiparty computation J Halpern, V Teague Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004	508	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	501	2006
Responsibility and blame: A structural-model approach H Chockler, JY Halpern Journal of Artificial Intelligence Research 22, 93-115, 2004	482	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	456	2005

Systemet kan ikke utføre handlingen. Prøv på nytt senere.

Artikler 1–20

Sitater per år

Duplikatsitater

Sammenslåtte sitater

Legg til medforfattereMedforfattere

Følg

Sitert av

Medforfattere