Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

85 results for Joseph Y. Halpern

An analysis of first-order logics of probability
- - Joseph Y. Halpern
- 1990
- Artificial Intelligence
Modelling knowledge and action in distributed systems
- - Joseph Y. Halpern
  - Ronald Fagin
- 1989
- Distributed Computing
The complexity of reasoning about knowledge and time. I. Lower bounds
- - Joseph Y. Halpern
  - Moshe Y. Vardi
- 1989
- Journal of Computer and System Sciences
Reasoning about procedures as parameters in the language L4
- - Steven M. German
  - Edmund M. Clarke
  - et al.
- 1989
- Information and Computation
I'm OK if you're OK: On the notion of trusting communication
- - Ronald Fagin
  - Joseph Y. Halpern
- 1988
- Journal of Philosophical Logic
Belief, awareness, and limited reasoning
- - Ronald Fagin
  - Joseph Y. Halpern
- 1987
- Artificial Intelligence
A logic to reason about likelihood
- - Joseph Y. Halpern
  - Michael O. Rabin
- 1987
- Artificial Intelligence
A new look at fault-tolerant network routing
- - Danny Dolev
  - Joseph Y. Halpern
  - et al.
- 1987
- Information and Computation
On time versus space III
- - Joseph Y. Halpern
  - Michael C. Loui
  - et al.
- 1986
- Mathematical Systems Theory
Cheating husbands and other stories: A case study of knowledge, action, and communication
- - Yoram Moses
  - Danny Dolev
  - et al.
- 1986
- Distributed Computing