Robert E. Shostak

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The Byzantine generals problem Concurrency: the Works of Leslie Lamport	2020-11-10	Paper
Deciding Combinations of Theories Journal of the ACM	1984-01-01	Paper
The Byzantine Generals Problem ACM Transactions on Programming Languages and Systems	1982-01-01	Paper
scientific article; zbMATH DE number 3755907 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3755912 (Why is no real title available?)	1982-01-01	Paper
Deciding Linear Inequalities by Computing Loop Residues Journal of the ACM	1981-01-01	Paper
Reaching Agreement in the Presence of Faults Journal of the ACM	1980-01-01	Paper
scientific article; zbMATH DE number 3684936 (Why is no real title available?)	1980-01-01	Paper
A Practical Decision Procedure for Arithmetic with Function Symbols Journal of the ACM	1979-01-01	Paper
An algorithm for reasoning about equality Communications of the ACM	1978-01-01	Paper
On the SUP-INF Method for Proving Presburger Formulas Journal of the ACM	1977-01-01	Paper
On the role of unification in mechanical theorem proving Acta Informatica	1977-01-01	Paper
Refutation graphs Artificial Intelligence	1976-01-01	Paper
Gossips and telephones Discrete Mathematics	1972-01-01	Paper

Research outcomes over time

This page was built for person: Robert E. Shostak