 | 1992 |
|---|
| 18 |       | Robert E. Shostak:
Trends in PC Database Technology.
IFIP Congress (3) 1992: 64-67 |
| 1985 |
|---|
| 17 | | W. W. Bledsoe,
Kenneth Kunen,
Robert E. Shostak:
Completeness Results for Inequality Provers.
Artif. Intell. 27(3): 255-288 (1985) |
| 1984 |
|---|
| 16 | | Robert E. Shostak:
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, Proceedings
Springer 1984 |
| 15 |  | Robert E. Shostak:
Deciding Combinations of Theories.
J. ACM 31(1): 1-12 (1984) |
| 1982 |
|---|
| 14 | | Robert E. Shostak:
Deciding Combinations of Theories.
CADE 1982: 209-222 |
| 13 | | Robert E. Shostak,
Richard L. Schwartz,
P. M. Melliar-Smith:
STP: A Mechanized Logic for Specification and Verification.
CADE 1982: 32-49 |
| 12 | | Leslie Lamport,
Robert E. Shostak,
Marshall C. Pease:
The Byzantine Generals Problem.
ACM Trans. Program. Lang. Syst. 4(3): 382-401 (1982) |
| 1981 |
|---|
| 11 | | Robert E. Shostak:
Deciding Linear Inequalities by Computing Loop Residues.
J. ACM 28(4): 769-779 (1981) |
| 1980 |
|---|
| 10 | | Donald W. Loveland,
Robert E. Shostak:
Simplifying Interpreted Formulas.
CADE 1980: 97-109 |
| 9 | | Marshall C. Pease,
Robert E. Shostak,
Leslie Lamport:
Reaching Agreement in the Presence of Faults.
J. ACM 27(2): 228-234 (1980) |
| 1979 |
|---|
| 8 | | Robert E. Shostak:
A Practical Decision Procedure for Arithmetic with Function Symbols.
J. ACM 26(2): 351-360 (1979) |
| 1978 |
|---|
| 7 | | Robert E. Shostak:
An Algorithm for Reasoning About Equality.
Commun. ACM 21(7): 583-585 (1978) |
| 1977 |
|---|
| 6 | | Robert E. Shostak:
An Algorithm for Reasoning About Equality.
IJCAI 1977: 526-527 |
| 5 | | Robert E. Shostak:
On the Role of Unification in Mechanical Theorem Proving
Acta Inf. 7: 319-323 (1977) |
| 4 | | Robert E. Shostak:
On the SUP-INF Method for Proving Presburger Formulas.
J. ACM 24(4): 529-543 (1977) |
| 1976 |
|---|
| 3 | | John H. Wensley,
Milton W. Green,
Karl N. Levitt,
Robert E. Shostak:
The Design, Analysis, and Verification of the SIFT Fault-Tolerant System.
ICSE 1976: 458-469 |
| 2 | | Robert S. Boyer,
J. Strother Moore,
Robert E. Shostak:
Primitive Recursive Program Transformations.
POPL 1976: 171-174 |
| 1 | | Robert E. Shostak:
Refutation Graphs.
Artif. Intell. 7(1): 51-64 (1976) |
