Joseph Halpern
Joseph Halpern
Professor of Computer Science, Cornell University
Verified email at - Homepage
Cited by
Cited by
Reasoning about knowledge MIT Press
R Fagin, JY Halpern, Y Moses, MY Vardi
Cambridge, MA, London, England, 1995
Gossip-based ad hoc routing
ZJ Haas, JY Halpern, L Li
IEEE/ACM Transactions on networking 14 (3), 479-491, 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
Knowledge and common knowledge in a distributed environment
JY Halpern, Y Moses
Journal of the ACM (JACM) 37 (3), 549-587, 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
Reasoning about uncertainty
JY Halpern
MIT press, 2017
Belief, awareness, and limited reasoning
R Fagin, JY Halpern
Artificial intelligence 34 (1), 39-76, 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
An analysis of first-order logics of probability
JY Halpern
Artificial intelligence 46 (3), 311-350, 1990
A logic for reasoning about probabilities
R Fagin, JY Halpern, N Megiddo
Information and computation 87 (1-2), 78-128, 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
Minimum-energy mobile wireless networks revisited
L Li, JY Halpern
ICC 2001. IEEE International Conference on Communications. Conference Record …, 2001
Reasoning about knowledge and probability
R Fagin, JY Halpern
Journal of the ACM (JACM) 41 (2), 340-367, 1994
A propositional modal logic of time intervals
JY Halpern, Y Shoham
Journal of the ACM (JACM) 38 (4), 935-962, 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
Rational secret sharing and multiparty computation
J Halpern, V Teague
Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 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
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
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
Reasoning about knowledge: An overview
JY Halpern
Theoretical aspects of reasoning about knowledge, 1-17, 1986
The system can't perform the operation now. Try again later.
Articles 1–20