Joseph Halpern
Joseph Halpern
Professor of Computer Science, Cornell University
確認したメール アドレス: cs.cornell.edu - ホームページ
タイトル
引用先
引用先
年
Reasoning about knowledge MIT Press
R Fagin, JY Halpern, Y Moses, MY Vardi
Cambridge, MA, London, England, 1995
5436*1995
Gossip-based ad hoc routing
ZJ Haas, JY Halpern, L Li
IEEE/ACM Transactions on networking 14 (3), 479-491, 2006
1770*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
15661986
Knowledge and common knowledge in a distributed environment
JY Halpern, Y Moses
Journal of the ACM (JACM) 37 (3), 549-587, 1990
15311990
A guide to completeness and complexity for modal logics of knowledge and belief
JY Halpern, Y Moses
Artificial intelligence 54 (3), 319-379, 1992
1516*1992
Reasoning about uncertainty
JY Halpern
MIT press, 2017
14742017
Belief, awareness, and limited reasoning
R Fagin, JY Halpern
Artificial intelligence 34 (1), 39-76, 1987
11271987
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
921*2005
An analysis of first-order logics of probability
JY Halpern
Artificial intelligence 46 (3), 311-350, 1990
8631990
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
8452005
A logic for reasoning about probabilities
R Fagin, JY Halpern, N Megiddo
Information and computation 87 (1-2), 78-128, 1990
7811990
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
7421985
Minimum-energy mobile wireless networks revisited
L Li, JY Halpern
ICC 2001. IEEE International Conference on Communications. Conference Record …, 2001
6442001
A propositional modal logic of time intervals
JY Halpern, Y Shoham
Journal of the ACM (JACM) 38 (4), 935-962, 1991
5931991
Reasoning about knowledge and probability
R Fagin, JY Halpern
Journal of the ACM (JACM) 41 (2), 340-367, 1994
586*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
5532001
Rational secret sharing and multiparty computation
J Halpern, V Teague
Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004
4342004
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
4282005
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
4002006
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
3802007
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20