Joseph Halpern

Cytowane przez

	Wszystkie	Od 2017
Cytowania	43347	9214
h-indeks	93	41
i10-indeks	257	153

2100

1050

525

1575

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022139 151 268 319 353 379 390 440 665 507 646 642 631 746 745 706 867 1172 1292 1362 1598 1937 1997 1918 1887 1901 1797 2038 2017 1757 1636 1608 1630 1616 1602 1884 856

Dostęp publiczny

Wyświetl wszystko

53 artykuły

0 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Ronald FaginIBM Almaden Research CenterZweryfikowany adres z us.ibm.com
Yoram MosesTechnionZweryfikowany adres z ee.technion.ac.il
Moshe Y. VardiRice UniversityZweryfikowany adres z cs.rice.edu
Daphne KollerCEO and Founder, insitroZweryfikowany adres z insitro.com
Danny DolevProfessor of Computer Science, The Hebrew UniversityZweryfikowany adres z mail.huji.ac.il
Li Erran LiIEEE Fellow and ACM Fellow, AWS AI, AmazonZweryfikowany adres z cs.columbia.edu
Nir FriedmanProfessor of Computer Science and Life Sciences, Hebrew UniversityZweryfikowany adres z mail.huji.ac.il
Fahiem BacchusProfessor of Computer Science, University of TorontoZweryfikowany adres z cs.toronto.edu
Ittai AbrahamVMwareZweryfikowany adres z cs.huji.ac.il
Hana ChocklerKing's College LondonZweryfikowany adres z kcl.ac.uk
Ian KashUniversity of Illinois at ChicagoZweryfikowany adres z uic.edu
Leandro Chaves RêgoProfessor no Departamento de Estatística e Matemática Aplicada, Universidade Federal do CearáZweryfikowany adres z dema.ufc.br
Judea PearlProfessor of Computer Science, University of California, Los AngelesZweryfikowany adres z cs.ucla.edu
Zygmunt J. HaasCornell UniversityZweryfikowany adres z ee.cornell.edu
Johannes GehrkeMicrosoftZweryfikowany adres z microsoft.com
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesZweryfikowany adres z cse.unsw.edu.au
eric friedmanICSIZweryfikowany adres z icsi.berkeley.edu
Nimrod MegiddoDistinguished Research Staff Member, IBM Almaden Research CenterZweryfikowany adres z us.ibm.com
Arnon LotemSchool of Zoology, Faculty of Life Sciences, Tel-Aviv UniversityZweryfikowany adres z tauex.tau.ac.il
Cynthia DworkMicrosoft ResearchZweryfikowany adres z microsoft.com

Obserwuj

Joseph Halpern

Professor of Computer Science, Cornell University

Zweryfikowany adres z cs.cornell.edu - Strona główna

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


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
Reasoning about knowledge MIT Press R Fagin, JY Halpern, Y Moses, MY Vardi Cambridge, MA, London, England, 1995	5800*	1995
Gossip-based ad hoc routing ZJ Haas, JY Halpern, L Li IEEE/ACM Transactions on networking 14 (3), 479-491, 2006	1786*	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	1652	1986
Knowledge and common knowledge in a distributed environment JY Halpern, Y Moses Journal of the ACM (JACM) 37 (3), 549-587, 1990	1631	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	1595*	1992
Reasoning about uncertainty JY Halpern MIT press, 2017	1584	2017
Belief, awareness, and limited reasoning R Fagin, JY Halpern Artificial intelligence 34 (1), 39-76, 1987	1231	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	960*	2005
An analysis of first-order logics of probability JY Halpern Artificial intelligence 46 (3), 311-350, 1990	909	1990
A logic for reasoning about probabilities R Fagin, JY Halpern, N Megiddo Information and computation 87 (1-2), 78-128, 1990	832	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	763	1985
Minimum-energy mobile wireless networks revisited L Li, JY Halpern ICC 2001. IEEE International Conference on Communications. Conference Record …, 2001	668	2001
Reasoning about knowledge and probability R Fagin, JY Halpern Journal of the ACM (JACM) 41 (2), 340-367, 1994	633*	1994
A propositional modal logic of time intervals JY Halpern, Y Shoham Journal of the ACM (JACM) 38 (4), 935-962, 1991	626	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	552	2001
Rational secret sharing and multiparty computation J Halpern, V Teague Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004	452	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	441	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	434	2006
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, 2007	396	2007
Reasoning about knowledge: An overview JY Halpern Theoretical aspects of reasoning about knowledge, 1-17, 1986	392	1986

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj tego autora

Cytowane przez

Współautorzy