Sotabase

Career

· Professor, Cornell University1996–
· Visiting Researcher, IBM Almaden Research Center1982–1996
· Ph.D. in Mathematics, Harvard University1981–
· Head of Mathematics Department, Bawku Secondary School, Ghana1975–1977
· B.S. in Mathematics, University of Toronto1975–

Publications (499)

Knowledge and common knowledge in a distributed environment
JACM · 1984
1,292
cited
Reasoning about uncertainty
2003
1,272
cited
Gossip-based ad hoc routing
Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies · 2002
1,221
cited
“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
JACM · 1986
1,138
cited
A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief
Artificial Intelligence · 1992
961
cited
Belief, Awareness, and Limited Reasoning.
Artificial Intelligence · 1987
928
cited
Causes and Explanations: A Structural-Model Approach. Part I: Causes
British Journal for the Philosophy of Science · 2000
863
cited
An Analysis of First-Order Logics of Probability
International Joint Conference on Artificial Intelligence · 1989
746
cited
A logic for reasoning about probabilities
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science · 1988
610
cited
Decision procedures and expressiveness in the temporal logic of branching time
Symposium on the Theory of Computing · 1982
602
cited
A propositional modal logic of time intervals
JACM · 1991
545
cited
Reasoning about knowledge and probability
JACM · 1988
539
cited
Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing · 2001
487
cited
Minimum-energy mobile wireless networks revisited
ICC 2001. IEEE International Conference on Communications. Conference Record (Cat. No.01CH37240) · 2001
485
cited
Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing · 2006
431
cited
Causes and explanations: A structural-model approach
2000
417
cited
Responsibility and blame: a structural-model approach
Journal of Artificial Intelligence Research · 2003
400
cited
Rational secret sharing and multiparty computation: extended abstract
Symposium on the Theory of Computing · 2004
352
cited
A cone-based distributed topology-control algorithm for wireless multi-hop networks
IEEE/ACM Transactions on Networking · 2005
344
cited
Axiomatizing Causal Reasoning
Conference on Uncertainty in Artificial Intelligence · 1998
326
cited
Sotabase