Joseph Halpern
Joseph Halpern
Professor of Computer Science, Cornell University
Verifierad e-postadress på cs.cornell.edu - Startsida
Titel
Citeras av
Citeras av
År
Reasoning about knowledge MIT Press
R Fagin, JY Halpern, Y Moses, MY Vardi
Cambridge, MA, London, England, 1995
5597*1995
Gossip-based ad hoc routing
ZJ Haas, JY Halpern, L Li
IEEE/ACM Transactions on networking 14 (3), 479-491, 2006
1793*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
16401986
Knowledge and common knowledge in a distributed environment
JY Halpern, Y Moses
Journal of the ACM (JACM) 37 (3), 549-587, 1990
15811990
A guide to completeness and complexity for modal logics of knowledge and belief
JY Halpern, Y Moses
Artificial intelligence 54 (3), 319-379, 1992
1544*1992
Reasoning about uncertainty
JY Halpern
MIT press, 2017
15312017
Belief, awareness, and limited reasoning
R Fagin, JY Halpern
Artificial intelligence 34 (1), 39-76, 1987
11821987
Causes and explanations: A structural-model approach. Part II: Explanations
JY Halpern, J Pearl
The British Journal for the Philosophy of Science 56 (4), 889-911, 2005
981*2005
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
8912005
An analysis of first-order logics of probability
JY Halpern
Artificial intelligence 46 (3), 311-350, 1990
8851990
A logic for reasoning about probabilities
R Fagin, JY Halpern, N Megiddo
Information and computation 87 (1-2), 78-128, 1990
8141990
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
7571985
Minimum-energy mobile wireless networks revisited
L Li, JY Halpern
ICC 2001. IEEE International Conference on Communications. Conference Record …, 2001
6602001
A propositional modal logic of time intervals
JY Halpern, Y Shoham
Journal of the ACM (JACM) 38 (4), 935-962, 1991
6121991
Reasoning about knowledge and probability
R Fagin, JY Halpern
Journal of the ACM (JACM) 41 (2), 340-367, 1994
608*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
5652001
Rational secret sharing and multiparty computation
J Halpern, V Teague
Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004
4452004
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
4352005
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
4142006
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
3892007
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20