Robert E. Shostak

According to our database, Robert E. Shostak authored at least 19 papers between 1972 and 2019.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2019

The Byzantine generals problem.

Leslie Lamport, Robert E. Shostak, Marshall C. Pease

Proceedings of the Concurrency: the Works of Leslie Lamport, 2019

2012

Applying Term Rewriting to Speech Recognition of Numbers.

Robert E. Shostak

Proceedings of the Formal Methods and Software Engineering, 2012

1992

Trends in PC Database Technology.

Robert E. Shostak

Proceedings of the Personal Computers and Intelligent Systems, 1992

1985

Completeness Results for Inequality Provers.

W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak

Artif. Intell., 1985

1984

Deciding Combinations of Theories.

Robert E. Shostak

J. ACM, 1984

1982

The Byzantine Generals Problem.

Leslie Lamport, Robert E. Shostak, Marshall C. Pease

ACM Trans. Program. Lang. Syst., 1982

STP: A Mechanized Logic for Specification and Verification.

Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith

Proceedings of the 6th Conference on Automated Deduction, 1982

1981

Deciding Linear Inequalities by Computing Loop Residues.

Robert E. Shostak

J. ACM, 1981

1980

Reaching Agreement in the Presence of Faults.

Marshall C. Pease, Robert E. Shostak, Leslie Lamport

J. ACM, 1980

Simplifying Interpreted Formulas.

Donald W. Loveland, Robert E. Shostak

Proceedings of the 5th Conference on Automated Deduction, 1980

1979

A Practical Decision Procedure for Arithmetic with Function Symbols.

Robert E. Shostak

J. ACM, 1979

A Prover for General Inequalities.

W. W. Bledsoe, Peter Bruell, Robert E. Shostak

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1978

An Algorithm for Reasoning About Equality.

Robert E. Shostak

Commun. ACM, 1978

1977

On the SUP-INF Method for Proving Presburger Formulas.

Robert E. Shostak

J. ACM, 1977

On the Role of Unification in Mechanical Theorem Proving.

Robert E. Shostak

Acta Informatica, 1977

1976

Refutation Graphs.

Robert E. Shostak

Artif. Intell., 1976

Primitive Recursive Program Transformations.

Robert S. Boyer, J Strother Moore, Robert E. Shostak

Proceedings of the Conference Record of the Third ACM Symposium on Principles of Programming Languages, 1976

The Design, Analysis, and Verification of the SIFT Fault-Tolerant System.

John H. Wensley, Milton W. Green, Karl N. Levitt, Robert E. Shostak

Proceedings of the 2nd International Conference on Software Engineering, 1976

1972

Gossips and telephones.

Brenda S. Baker, Robert E. Shostak

Discret. Math., 1972