Search the dblp DataBase
David Spelt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- David Spelt, Herman Balsters
Automatic Verification of Transactions on an Object-Oriented Database. [Citation Graph (1, 13)][DBLP]
DBPL, 1997, pp:396-412 [Conf] - Susan Even, David Spelt
Compensation Methods to Support Generic Graph Editing: A Case Study in Automated Verification of Schema Requirements for an Advanced Transaction Model. [Citation Graph (0, 0)][DBLP]
ECOOP Workshop on Object-Oriented Databases, 1999, pp:109-120 [Conf] - Susan Even, David Spelt
Compensation Methods to Support Generic Graph Editing: A Case Study in Automated Verification of Schema Requirements for an Advanced Transaction Model. [Citation Graph (0, 0)][DBLP]
ECOOP Workshops, 1999, pp:216-217 [Conf] - David Spelt, Susan Even
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases. [Citation Graph (0, 0)][DBLP]
TACAS, 1999, pp:375-389 [Conf] - David Spelt, Susan Even
Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model. [Citation Graph (0, 0)][DBLP]
Concurrency and Computation: Practice and Experience, 2001, v:13, n:11, pp:1013-1032 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002