|
Search the dblp DataBase
Robert E. Shostak:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marshall C. Pease, Robert E. Shostak, Leslie Lamport
Reaching Agreement in the Presence of Faults. [Citation Graph (13, 0)][DBLP] J. ACM, 1980, v:27, n:2, pp:228-234 [Journal]
- Leslie Lamport, Robert E. Shostak, Marshall C. Pease
The Byzantine Generals Problem. [Citation Graph (10, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1982, v:4, n:3, pp:382-401 [Journal]
- Robert E. Shostak
Refutation Graphs. [Citation Graph (1, 0)][DBLP] Artif. Intell., 1976, v:7, n:1, pp:51-64 [Journal]
- Robert E. Shostak
On the SUP-INF Method for Proving Presburger Formulas. [Citation Graph (1, 0)][DBLP] J. ACM, 1977, v:24, n:4, pp:529-543 [Journal]
- Donald W. Loveland, Robert E. Shostak
Simplifying Interpreted Formulas. [Citation Graph (0, 0)][DBLP] CADE, 1980, pp:97-109 [Conf]
- Robert E. Shostak
Deciding Combinations of Theories. [Citation Graph (0, 0)][DBLP] CADE, 1982, pp:209-222 [Conf]
- Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith
STP: A Mechanized Logic for Specification and Verification. [Citation Graph (0, 0)][DBLP] CADE, 1982, pp:32-49 [Conf]
- John H. Wensley, M. W. Green, Karl N. Levitt, Robert E. Shostak
The Design, Analysis, and Verification of the SIFT Fault-Tolerant System. [Citation Graph (0, 0)][DBLP] ICSE, 1976, pp:458-469 [Conf]
- Robert E. Shostak
Trends in PC Database Technology. [Citation Graph (0, 0)][DBLP] IFIP Congress (3), 1992, pp:64-67 [Conf]
- Robert E. Shostak
An Algorithm for Reasoning About Equality. [Citation Graph (0, 0)][DBLP] IJCAI, 1977, pp:526-527 [Conf]
- Robert S. Boyer, J. Strother Moore, Robert E. Shostak
Primitive Recursive Program Transformations. [Citation Graph (0, 0)][DBLP] POPL, 1976, pp:171-174 [Conf]
- Robert E. Shostak
On the Role of Unification in Mechanical Theorem Proving [Citation Graph (0, 0)][DBLP] Acta Inf., 1977, v:7, n:, pp:319-323 [Journal]
- W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak
Completeness Results for Inequality Provers. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1985, v:27, n:3, pp:255-288 [Journal]
- Robert E. Shostak
An Algorithm for Reasoning About Equality. [Citation Graph (0, 0)][DBLP] Commun. ACM, 1978, v:21, n:7, pp:583-585 [Journal]
- Robert E. Shostak
A Practical Decision Procedure for Arithmetic with Function Symbols. [Citation Graph (0, 0)][DBLP] J. ACM, 1979, v:26, n:2, pp:351-360 [Journal]
- Robert E. Shostak
Deciding Linear Inequalities by Computing Loop Residues. [Citation Graph (0, 0)][DBLP] J. ACM, 1981, v:28, n:4, pp:769-779 [Journal]
- Robert E. Shostak
Deciding Combinations of Theories. [Citation Graph (0, 0)][DBLP] J. ACM, 1984, v:31, n:1, pp:1-12 [Journal]
Search in 0.002secs, Finished in 0.002secs
|