Robert E. Shostak

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

Coauthor Index

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]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page