Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* | 1992 | |
---|---|---|

18 | Robert E. Shostak: Trends in PC Database Technology. IFIP Congress (3) 1992: 64-67 | |

1985 | ||

17 | W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak: Completeness Results for Inequality Provers. Artif. Intell. 27(3): 255-288 (1985) | |

1984 | ||

16 | Robert E. Shostak: 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, Proceedings Springer 1984 | |

15 | EE | Robert E. Shostak: Deciding Combinations of Theories. J. ACM 31(1): 1-12 (1984) |

1982 | ||

14 | EE | Robert E. Shostak: Deciding Combinations of Theories. CADE 1982: 209-222 |

13 | EE | Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith: STP: A Mechanized Logic for Specification and Verification. CADE 1982: 32-49 |

12 | EE | Leslie Lamport, Robert E. Shostak, Marshall C. Pease: The Byzantine Generals Problem. ACM Trans. Program. Lang. Syst. 4(3): 382-401 (1982) |

1981 | ||

11 | EE | Robert E. Shostak: Deciding Linear Inequalities by Computing Loop Residues. J. ACM 28(4): 769-779 (1981) |

1980 | ||

10 | EE | Donald W. Loveland, Robert E. Shostak: Simplifying Interpreted Formulas. CADE 1980: 97-109 |

9 | EE | Marshall C. Pease, Robert E. Shostak, Leslie Lamport: Reaching Agreement in the Presence of Faults. J. ACM 27(2): 228-234 (1980) |

1979 | ||

8 | EE | Robert E. Shostak: A Practical Decision Procedure for Arithmetic with Function Symbols. J. ACM 26(2): 351-360 (1979) |

1978 | ||

7 | Robert E. Shostak: An Algorithm for Reasoning About Equality. Commun. ACM 21(7): 583-585 (1978) | |

1977 | ||

6 | Robert E. Shostak: An Algorithm for Reasoning About Equality. IJCAI 1977: 526-527 | |

5 | Robert E. Shostak: On the Role of Unification in Mechanical Theorem Proving Acta Inf. 7: 319-323 (1977) | |

4 | EE | Robert E. Shostak: On the SUP-INF Method for Proving Presburger Formulas. J. ACM 24(4): 529-543 (1977) |

1976 | ||

3 | John H. Wensley, Milton W. Green, Karl N. Levitt, Robert E. Shostak: The Design, Analysis, and Verification of the SIFT Fault-Tolerant System. ICSE 1976: 458-469 | |

2 | Robert S. Boyer, J. Strother Moore, Robert E. Shostak: Primitive Recursive Program Transformations. POPL 1976: 171-174 | |

1 | Robert E. Shostak: Refutation Graphs. Artif. Intell. 7(1): 51-64 (1976) |

1 | W. W. Bledsoe | [17] |

2 | Robert S. Boyer | [2] |

3 | Milton W. Green | [3] |

4 | Kenneth Kunen | [17] |

5 | Leslie Lamport | [9] [12] |

6 | Karl N. Levitt | [3] |

7 | Donald W. Loveland | [10] |

8 | P. M. Melliar-Smith (P. Michael Melliar-Smith) | [13] |

9 | J. Strother Moore | [2] |

10 | Marshall C. Pease | [9] [12] |

11 | Richard L. Schwartz | [13] |

12 | John H. Wensley | [3] |