Robert E. Shostak
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1976–2012
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ICFEM | Applying Term Rewriting to Speech Recognition of Numbers. | Robert E. Shostak |
| 1982 | CADE | Deciding Combinations of Theories. | Robert E. Shostak |
| 1982 | CADE | STP: A Mechanized Logic for Specification and Verification. | Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith |
| 1980 | CADE | Simplifying Interpreted Formulas. | Donald W. Loveland, Robert E. Shostak |
| 1979 | IJCAI | A Prover for General Inequalities. | W. W. Bledsoe, Peter Bruell, Robert E. Shostak |
| 1977 | IJCAI | An Algorithm for Reasoning About Equality. | Robert E. Shostak |
| 1976 | ICSE | The Design, Analysis, and Verification of the SIFT Fault-Tolerant System. | John H. Wensley, Milton W. Green, Karl N. Levitt, Robert E. Shostak |
| 1976 | POPL | Primitive Recursive Program Transformations. | Robert S. Boyer, J Strother Moore, Robert E. Shostak |