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 | EE | 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 | EE | Leslie Lamport,
Robert E. Shostak,
Marshall C. Pease:
The Byzantine Generals Problem.
ACM Trans. Program. Lang. Syst. 4(3): 382-401 (1982) |
1981 |
11 | EE | 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 | EE | Marshall C. Pease,
Robert E. Shostak,
Leslie Lamport:
Reaching Agreement in the Presence of Faults.
J. ACM 27(2): 228-234 (1980) |
1979 |
8 | EE | 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 | EE | 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) |