Joseph Halpern

Citado por

	Total	Desde 2018
Citas	45214	9136
Índice h	95	42
Índice i10	256	143

2100

1050

525

1575

19861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023149 141 248 312 334 434 386 434 641 519 665 600 641 745 721 717 842 1174 1307 1518 1650 1986 1973 1910 1879 1874 1831 2072 2010 1768 1689 1641 1641 1643 1545 1894 1654 754

Acceso público

Ver todo

46 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Ronald FaginIBM Almaden Research CenterDirección de correo verificada de us.ibm.com
Yoram MosesTechnionDirección de correo verificada de ee.technion.ac.il
Moshe Y. VardiRice UniversityDirección de correo verificada de cs.rice.edu
Daphne KollerCEO and Founder, insitroDirección de correo verificada de insitro.com
Danny DolevProfessor of Computer Science, The Hebrew UniversityDirección de correo verificada de mail.huji.ac.il
Li Erran LiIEEE Fellow and ACM Fellow, AWS AI, AmazonDirección de correo verificada de cs.columbia.edu
Nir FriedmanProfessor of Computer Science and Medicine, Hebrew UniversityDirección de correo verificada de mail.huji.ac.il
Fahiem BacchusProfessor of Computer Science, University of TorontoDirección de correo verificada de cs.toronto.edu
Hana ChocklerKing's College LondonDirección de correo verificada de kcl.ac.uk
Ittai AbrahamVMwareDirección de correo verificada de cs.huji.ac.il
Judea PearlProfessor of Computer Science, University of California, Los AngelesDirección de correo verificada de cs.ucla.edu
Leandro Chaves RêgoProfessor no Departamento de Estatística e Matemática Aplicada, Universidade Federal do CearáDirección de correo verificada de dema.ufc.br
Ian KashUniversity of Illinois at ChicagoDirección de correo verificada de uic.edu
Zygmunt J. HaasCornell UniversityDirección de correo verificada de ee.cornell.edu
Johannes GehrkeMicrosoftDirección de correo verificada de microsoft.com
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesDirección de correo verificada de cse.unsw.edu.au
Nimrod MegiddoDistinguished Research Staff Member, IBM Almaden Research CenterDirección de correo verificada de us.ibm.com
eric friedmanICSIDirección de correo verificada de icsi.berkeley.edu
Arnon LotemSchool of Zoology, Faculty of Life Sciences, Tel-Aviv UniversityDirección de correo verificada de tauex.tau.ac.il
Christopher HitchcockKoepfli Professor of Philosophy, California Institute of TechnologyDirección de correo verificada de caltech.edu

Seguir

Joseph Halpern

Professor of Computer Science, Cornell University

Dirección de correo verificada de cs.cornell.edu - Página principal

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Reasoning about knowledge MIT Press R Fagin, JY Halpern, Y Moses, MY Vardi Cambridge, MA, London, England, 1995	6039*	1995
Gossip-based ad hoc routing ZJ Haas, JY Halpern, L Li IEEE/ACM Transactions on networking 14 (3), 479-491, 2006	1856*	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	1710	1986
Knowledge and common knowledge in a distributed environment JY Halpern, Y Moses Journal of the ACM (JACM) 37 (3), 549-587, 1990	1683	1990
Reasoning about uncertainty JY Halpern MIT press, 2017	1653	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	1630*	1992
Belief, awareness, and limited reasoning R Fagin, JY Halpern Artificial intelligence 34 (1), 39-76, 1987	1278	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	1055	2005
An analysis of first-order logics of probability JY Halpern Artificial intelligence 46 (3), 311-350, 1990	926	1990
A logic for reasoning about probabilities R Fagin, JY Halpern, N Megiddo Information and computation 87 (1-2), 78-128, 1990	870	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	787	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	655*	1994
A propositional modal logic of time intervals JY Halpern, Y Shoham Journal of the ACM (JACM) 38 (4), 935-962, 1991	642	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	572	2001
Rational secret sharing and multiparty computation J Halpern, V Teague Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004	468	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	453	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	450	2006
Reasoning about knowledge: An overview JY Halpern Theoretical aspects of reasoning about knowledge, 1-17, 1986	412	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	404	2006

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores