Robert E. Shostak

According to our database1, Robert E. Shostak
  • authored at least 20 papers between 1972 and 2012.
  • has a "Dijkstra number"2 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Applying Term Rewriting to Speech Recognition of Numbers.
Proceedings of the Formal Methods and Software Engineering, 2012

1992
Trends in PC Database Technology.
Proceedings of the Personal Computers and Intelligent Systems, 1992

1985
Completeness Results for Inequality Provers.
Artif. Intell., 1985

1984
Deciding Combinations of Theories.
J. ACM, 1984

1982
The Byzantine Generals Problem.
ACM Trans. Program. Lang. Syst., 1982

STP: A Mechanized Logic for Specification and Verification.
Proceedings of the 6th Conference on Automated Deduction, 1982

Deciding Combinations of Theories.
Proceedings of the 6th Conference on Automated Deduction, 1982

1981
Deciding Linear Inequalities by Computing Loop Residues.
J. ACM, 1981

1980
Reaching Agreement in the Presence of Faults.
J. ACM, 1980

Simplifying Interpreted Formulas.
Proceedings of the 5th Conference on Automated Deduction, 1980

1979
A Practical Decision Procedure for Arithmetic with Function Symbols.
J. ACM, 1979

A Prover for General Inequalities.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1978
An Algorithm for Reasoning About Equality.
Commun. ACM, 1978

1977
On the SUP-INF Method for Proving Presburger Formulas.
J. ACM, 1977

On the Role of Unification in Mechanical Theorem Proving.
Acta Inf., 1977

An Algorithm for Reasoning About Equality.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976
Refutation Graphs.
Artif. Intell., 1976

Primitive Recursive Program Transformations.
Proceedings of the Conference Record of the Third ACM Symposium on Principles of Programming Languages, 1976

The Design, Analysis, and Verification of the SIFT Fault-Tolerant System.
Proceedings of the 2nd International Conference on Software Engineering, 1976

1972
Gossips and telephones.
Discrete Mathematics, 1972


  Loading...