dblp.uni-trier.dewww.uni-trier.de

Robert E. Shostak Vis

List of publications from the DBLP Bibliography Server - FAQ
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
15EERobert E. Shostak: Deciding Combinations of Theories. J. ACM 31(1): 1-12 (1984)
1982
14EERobert E. Shostak: Deciding Combinations of Theories. CADE 1982: 209-222
13EERobert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith: STP: A Mechanized Logic for Specification and Verification. CADE 1982: 32-49
12EELeslie Lamport, Robert E. Shostak, Marshall C. Pease: The Byzantine Generals Problem. ACM Trans. Program. Lang. Syst. 4(3): 382-401 (1982)
1981
11EERobert E. Shostak: Deciding Linear Inequalities by Computing Loop Residues. J. ACM 28(4): 769-779 (1981)
1980
10EEDonald W. Loveland, Robert E. Shostak: Simplifying Interpreted Formulas. CADE 1980: 97-109
9EEMarshall C. Pease, Robert E. Shostak, Leslie Lamport: Reaching Agreement in the Presence of Faults. J. ACM 27(2): 228-234 (1980)
1979
8EERobert 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)
4EERobert 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)

Coauthor Index

1W. W. Bledsoe [17]
2Robert S. Boyer [2]
3Milton W. Green [3]
4Kenneth Kunen [17]
5Leslie Lamport [9] [12]
6Karl N. Levitt [3]
7Donald W. Loveland [10]
8P. M. Melliar-Smith (P. Michael Melliar-Smith) [13]
9J. Strother Moore [2]
10Marshall C. Pease [9] [12]
11Richard L. Schwartz [13]
12John H. Wensley [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)