Get started
Author

Robert E. Shostak

Observed names: R. E. Shostak, R. Shostak, R.E. Shostak, Robert Shostak, Shostak, R. E., Shostak,R E, Shostak,R. E., Shostak,Robert E.
Institution: SRI International
OpenAlex ID: A5081664009
The Byzantine Generals Problem
1982 · Leslie Lamport, Robert Shostak, et al. · ACM Transactions on Programming Languages and Systems · 6,301
PDF
Reaching Agreement in the Presence of Faults
1980 · M. Pease, R. Shostak, et al. · Journal of the ACM · 2,435
PDF
The Byzantine generals problem
2019 · SRI International, Leslie Lamport, et al. · ACM eBooks · 1,098
SIFT: Design and analysis of a fault-tolerant computer for aircraft control
1978 · J.H. Wensley, L. Lamport, et al. · Proceedings of the IEEE · 574
Deciding Combinations of Theories
1984 · Robert E. Shostak · Journal of the ACM · 304
PDF
Deciding Linear Inequalities by Computing Loop Residues
1981 · Robert Shostak · Journal of the ACM · 181
PDF
A Practical Decision Procedure for Arithmetic with Function Symbols
1979 · Robert E. Shostak · Journal of the ACM · 171
PDF
Gossips and telephones
1972 · Brenda Baker, Robert Shostak · Discrete Mathematics · 143
An algorithm for reasoning about equality
1978 · Robert E. Shostak · Communications of the ACM · 132
PDF
On the SUP-INF Method for Proving Presburger Formulas
1977 · Robert E. Shostak · Journal of the ACM · 114
PDF
Refutation graphs
1976 · Robert E. Shostak · Artificial Intelligence · 94
SIFT: design and analysis of a fault-tolerant computer for aircraft control
1979 · John H. Wensley, Leslie Lamport, et al. · Microelectronics Reliability · 82
Deciding combinations of theories
2005 · Robert E. Shostak · Springer eBooks · 33
STP: A mechanized logic for specification and verification
2005 · R. E. Shostak, Richard Schwartz, et al. · Springer eBooks · 32
The design, analysis, and verification of the SIFT fault tolerant system
1976 · J. H. Wensley, Milton W. Green, et al. · 22
Completeness results for inequality provers
1985 · W.W. Bledsoe, K. Kunen, et al. · Artificial Intelligence · 21
The Semiautomatic Generation of Inductive Assertions for Proving Program Correctness.
1978 · Bernard Elspas, Robert E. Shostak · Defense Technical Information Center (DTIC) · 21
The Byzantine generals
1987 · Danny Dolev, Leslie Lamport, et al. · Van Nostrand Reinhold eBooks · 18
Proceedings of the 7th International Conference on Automated Deduction
1984 · Robert E. Shostak · 16
Verification of VLSI Designs
1983 · Robert E. Shostak · Springer eBooks · 13
A prover for general inequalities
1979 · W. W. Bledsoe, Peter Bruell, et al. · International Joint Conference on Artificial Intelligence · 11
Simplifying interpreted formulas
1980 · D. W. Loveland, R. E. Shostak · Lecture notes in computer science · 9
Deciding Linear Inequalities by Computing Loop Residues.
1978 · Robert Shostak · Defense Technical Information Center (DTIC) · 7
SIFT - Design and analysis of a fault-tolerant computer for aircraft control. [Software Implemented Fault Tolerant systems]
1978 · J. H. Wensley, Leslie Lamport, et al. · NASA Technical Reports Server (NASA) · 6
Investigation, Development, and Evaluation of Performance Proving for Fault-tolerant Computers
1983 · Karl Levitt, Richard L. Schwartz, et al. · NASA Technical Reports Server (NASA) · 5
Works count: 44
Citation count: 11,860
H-index: 18
I10-index: 21
Year
Topic
Type