Gossips and telephones. - Brenda S. Baker; Robert E. Shostak (Discret. Math., 1972)

The Design, Analysis, and Verification of the SIFT Fault-Tolerant System. - John H. Wensley; Milton W. Green; Karl N. Levitt; Robert E. Shostak (ICSE, 1976)

Primitive Recursive Program Transformations. - Robert S. Boyer; J Strother Moore; Robert E. Shostak (POPL, 1976)

Refutation Graphs. - Robert E. Shostak (Artif. Intell., 1976)

On the Role of Unification in Mechanical Theorem Proving. - Robert E. Shostak (Acta Informatica, 1977)

On the SUP-INF Method for Proving Presburger Formulas. - Robert E. Shostak (J. ACM, 1977)

An Algorithm for Reasoning About Equality. - Robert E. Shostak (Commun. ACM, 1978)

A Prover for General Inequalities. - W. W. Bledsoe; Peter Bruell; Robert E. Shostak (IJCAI, 1979)

A Practical Decision Procedure for Arithmetic with Function Symbols. - Robert E. Shostak (J. ACM, 1979)

Simplifying Interpreted Formulas. - Donald W. Loveland; Robert E. Shostak (CADE, 1980)

Reaching Agreement in the Presence of Faults. - Marshall C. Pease; Robert E. Shostak; Leslie Lamport (J. ACM, 1980)

Deciding Linear Inequalities by Computing Loop Residues. - Robert E. Shostak (J. ACM, 1981)

STP: A Mechanized Logic for Specification and Verification. - Robert E. Shostak; Richard L. Schwartz; P. M. Melliar-Smith (CADE, 1982)

The Byzantine Generals Problem. - Leslie Lamport; Robert E. Shostak; Marshall C. Pease (ACM Trans. Program. Lang. Syst., 1982)

Deciding Combinations of Theories. - Robert E. Shostak (J. ACM, 1984)

Completeness Results for Inequality Provers. - W. W. Bledsoe; Kenneth Kunen; Robert E. Shostak (Artif. Intell., 1985)

Trends in PC Database Technology. - Robert E. Shostak (IFIP Congress (3), 1992)

Applying Term Rewriting to Speech Recognition of Numbers. - Robert E. Shostak (ICFEM, 2012)

The Byzantine generals problem. - Leslie Lamport; Robert E. Shostak; Marshall C. Pease (Concurrency: the Works of Leslie Lamport, 2019)