Haim Gaifman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
1986–1991
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1991 | PODC | Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs. | Haim Gaifman, Michael J. Maher, Ehud Shapiro |
| 1990 | ICLP | Semantics of Logic Programs. | Haim Gaifman |
| 1989 | LICS | Proof Theory and Semantics of Logic Programs | Haim Gaifman, Ehud Shapiro |
| 1989 | POPL | Fully Abstract Compositional Semantics for Logic Programs. | Haim Gaifman, Ehud Shapiro |
| 1988 | STOC | Decidable Optimization Problems for Database Logic Programs (Preliminary Report) | Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, Moshe Y. Vardi |
| 1988 | TARK | Operational Pointer Semantics: Solution to Self-Referential Puzzles I. | Haim Gaifman |
| 1987 | LICS | Undecidable Optimization Problems for Database Logic Programs | Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi |
| 1987 | LICS | Partial Order Models of Concurrency and the Computation of Functions | Haim Gaifman, Vaughan R. Pratt |
| 1986 | TARK | A Theory of Higher Order Probabilities. | Haim Gaifman |