Robert E. Shostak - Concepedia

Author

Robert E. Shostak

Also Known As

International Conference on Automated Deduction 1984 Napa, Calif., Leslie Lamport, R. E. Shostak, R. Shostak, R.E. Shostak, Robert E. Shostak, Robert Shostak

Publications

11.1K

Citations

H-Index

Concepts

All Affiliations

SRI International Menlo School The University of Texas at Austin

About

Robert E. Shostak is an author at SRI International specializing in engineering, formal verification, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	3K
2	Computer Engineering	2	2	588
3	Arts	1	1	129
4	Business	1	1	2.4K
5	Communication	1	1	129

Robert E. Shostak

Publications

9.9K

Citations

H-Index

Page 1

	Year	Citations
The Byzantine Generals Problem Leslie Lamport, Robert E. Shostak, Marshall C. Pease ACM Transactions on Programming Languages and Systems	1982	5.9K
Reaching Agreement in the Presence of Faults Marshall C. Pease, Robert E. Shostak, Leslie Lamport Journal of the ACM NegotiationEngineeringInformation SecurityVerificationFault Tolerance	1980	2.4K
SIFT: Design and analysis of a fault-tolerant computer for aircraft control J. H. Wensley, Leslie Lamport, Jack Goldberg, Proceedings of the IEEE EngineeringComputer ArchitectureFault ToleranceDependable System ArchitectureFormal Verification	1978	566
Deciding Combinations of Theories Robert E. Shostak Journal of the ACM	1984	292
Deciding Linear Inequalities by Computing Loop Residues Robert E. Shostak Journal of the ACM	1981	182
A Practical Decision Procedure for Arithmetic with Function Symbols Robert E. Shostak Journal of the ACM	1979	171
Gossips and telephones Brenda S. Baker, Robert E. Shostak Discrete Mathematics Communication StudyConversation AnalysisCommunication ResearchRumor SpreadingCommunication	1972	129
On the SUP-INF Method for Proving Presburger Formulas Robert E. Shostak Journal of the ACM	1977	113
Refutation graphs Robert E. Shostak Artificial Intelligence	1976	97
The design, analysis, and verification of the SIFT fault tolerant system J. H. Wensley, Milton W. Green, Karl Levitt, International Conference on Software Engineering EngineeringVerificationComputer ArchitectureSoftware EngineeringFault Tolerance	1976	22

Page 1