Robert E. Shostak

22 papers A* 4A 4C 1Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2019 — ch.
The Byzantine generals problem.
Concurrency: the Works of Leslie Lamport
Leslie Lamport, Robert E. Shostak, Marshall C. Pease
2012 C conf
Applying Term Rewriting to Speech Recognition of Numbers.
ICFEM
Robert E. Shostak
1992 — conf
Trends in PC Database Technology.
IFIP Congress (3)
Robert E. Shostak
1985 J jnl
Completeness Results for Inequality Provers.
Artif. Intell.
W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak
1984 A ed.
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, Proceedings
CADE
Robert E. Shostak
1984 J jnl
Deciding Combinations of Theories.
J. ACM
Robert E. Shostak
1982 A conf
Deciding Combinations of Theories.
CADE
Robert E. Shostak
1982 A conf
STP: A Mechanized Logic for Specification and Verification.
CADE
Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith
1982 J jnl
The Byzantine Generals Problem.
ACM Trans. Program. Lang. Syst.
Leslie Lamport, Robert E. Shostak, Marshall C. Pease
1981 J jnl
Deciding Linear Inequalities by Computing Loop Residues.
J. ACM
Robert E. Shostak
1980 J jnl
Reaching Agreement in the Presence of Faults.
J. ACM
Marshall C. Pease, Robert E. Shostak, Leslie Lamport
1980 A conf
Simplifying Interpreted Formulas.
CADE
Donald W. Loveland, Robert E. Shostak
1979 J jnl
A Practical Decision Procedure for Arithmetic with Function Symbols.
J. ACM
Robert E. Shostak
1979 A* conf
A Prover for General Inequalities.
IJCAI
W. W. Bledsoe, Peter Bruell, Robert E. Shostak
1978 J jnl
An Algorithm for Reasoning About Equality.
Commun. ACM
Robert E. Shostak
1977 A* conf
An Algorithm for Reasoning About Equality.
IJCAI
Robert E. Shostak
1977 J jnl
On the Role of Unification in Mechanical Theorem Proving.
Acta Informatica
Robert E. Shostak
1977 J jnl
On the SUP-INF Method for Proving Presburger Formulas.
J. ACM
Robert E. Shostak
1976 A* conf
Primitive Recursive Program Transformations.
POPL
Robert S. Boyer, J Strother Moore, Robert E. Shostak
1976 J jnl
Refutation Graphs.
Artif. Intell.
Robert E. Shostak
1976 A* conf
The Design, Analysis, and Verification of the SIFT Fault-Tolerant System.
ICSE
John H. Wensley, Milton W. Green, Karl N. Levitt, Robert E. Shostak
1972 J jnl
Gossips and telephones.
Discret. Math.
Brenda S. Baker, Robert E. Shostak