|
Marco A. Casanova:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
David W. Stemple:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Which papers of David W. Stemple cite Marco A. CasanovaOrdered by citing publication[Change the order to 'ordered by cited']
-
David W. Stemple, Tim Sheard, Ralph E. Bunker
Abstract Data Types in Databases: Specification, Manipulation and Access. [Citation Graph (4, 21)][DBLP] ICDE, 1986, pp:590-597 [Conf] Cites:
-
Subhasish Mazumdar, David W. Stemple, Tim Sheard
Resolving the Tension between Integrity and Security Using a Theorem Prover. [Citation Graph (1, 12)][DBLP] SIGMOD Conference, 1988, pp:233-242 [Conf] Cites:
-
Tim Sheard, David W. Stemple
Automatic Verification of Database Transaction Safety. [Citation Graph (27, 16)][DBLP] ACM Trans. Database Syst., 1989, v:14, n:3, pp:322-368 [Journal] Cites:
-
Marco A. Casanova, Philip A. Bernstein
The Logic of a Relational Data Manipulation Language. [Citation Graph (9, 17)][DBLP] POPL, 1979, pp:101-109 [Conf]
-
Marco A. Casanova, Philip A. Bernstein
A Formal System for Reasoning about Programs Accessing a Relational Database. [Citation Graph (21, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1980, v:2, n:3, pp:386-414 [Journal]
|