Statistics
Publications
13
Citations
10K
H-Index
12
Active since
1972
Affiliations
Robert E. Shostak is an author at SRI International specializing in computer science, computing, and algorithms.
Publications per year
1972–1985
13
13
Reaching Agreement in the Presence of Faults
Marshall C. Pease, Robert E. Shostak, Leslie Lamport · Journal of the ACM · 1980 · 2.4K citations · Full text
Deciding Combinations of Theories
Robert E. Shostak · Journal of the ACM · 1984 · 294 citations · Full text
Deciding Linear Inequalities by Computing Loop Residues
Robert E. Shostak · Journal of the ACM · 1981 · 182 citations · Full text
1–5 of 13