Joseph Halpern

引用次数

	总计	2019 年至今
引用	48479	10384
h 指数	96	44
i10 指数	268	154

2100

1050

525

1575

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024138 151 244 317 378 432 396 431 682 562 682 612 640 753 740 746 831 1184 1316 1437 1670 1940 1983 1918 1873 1892 1837 2061 2019 1790 1731 1681 1654 1660 1547 1913 1611 1954 1694

开放获取的出版物数量

查看全部

52 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Ronald FaginIBM Almaden Research Center在 us.ibm.com 的电子邮件经过验证
Yoram MosesTechnion在 ee.technion.ac.il 的电子邮件经过验证
Moshe Y. VardiRice University在 cs.rice.edu 的电子邮件经过验证
Danny DolevProfessor of Computer Science, The Hebrew University在 mail.huji.ac.il 的电子邮件经过验证
Daphne KollerCEO and Founder, insitro在 insitro.com 的电子邮件经过验证
Li Erran LiIEEE Fellow and ACM Fellow, AWS AI, Amazon在 cs.columbia.edu 的电子邮件经过验证
Nir FriedmanProfessor of Computer Science and Medicine, Hebrew University在 mail.huji.ac.il 的电子邮件经过验证
Fahiem BacchusProfessor of Computer Science, University of Toronto在 cs.toronto.edu 的电子邮件经过验证
Hana ChocklerKing's College London在 kcl.ac.uk 的电子邮件经过验证
Ittai AbrahamIntel在 cs.huji.ac.il 的电子邮件经过验证
Ian KashUniversity of Illinois at Chicago在 uic.edu 的电子邮件经过验证
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South Wales在 cse.unsw.edu.au 的电子邮件经过验证
Zygmunt J. HaasCornell University在 ee.cornell.edu 的电子邮件经过验证
Johannes GehrkeMicrosoft在 microsoft.com 的电子邮件经过验证
Nimrod MegiddoDistinguished Research Staff Member, IBM Almaden Research Center在 us.ibm.com 的电子邮件经过验证
Arnon LotemSchool of Zoology, Faculty of Life Sciences, Tel-Aviv University在 tauex.tau.ac.il 的电子邮件经过验证
eric friedmanICSI在 icsi.berkeley.edu 的电子邮件经过验证
Christopher HitchcockKoepfli Professor of Philosophy, California Institute of Technology在 caltech.edu 的电子邮件经过验证
Judea PearlProfessor of Computer Science, University of California, Los Angeles在 cs.ucla.edu 的电子邮件经过验证
Cynthia DworkMicrosoft Research在 microsoft.com 的电子邮件经过验证

关注

Joseph Halpern

Professor of Computer Science, Cornell University

在 cs.cornell.edu 的电子邮件经过验证 - 首页

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


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Reasoning about knowledge MIT Press R Fagin, JY Halpern, Y Moses, MY Vardi Cambridge, MA, London, England, 1995	6351*	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	1787	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	1322	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	1217	2005
An analysis of first-order logics of probability JY Halpern Artificial intelligence 46 (3), 311-350, 1990	956	1990
A logic for reasoning about probabilities R Fagin, JY Halpern, N Megiddo Information and computation 87 (1-2), 78-128, 1990	936	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	816	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	694	1991
Reasoning about knowledge and probability R Fagin, JY Halpern Journal of the ACM (JACM) 41 (2), 340-367, 1994	691	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	521	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	500	2006
Responsibility and blame: A structural-model approach H Chockler, JY Halpern Journal of Artificial Intelligence Research 22, 93-115, 2004	480	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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

关注

引用次数

合著作者