| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2001 | |
|---|---|---|
| 6 |      | David Spelt, Susan Even: Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model. Concurrency and Computation: Practice and Experience 13(11): 1013-1032 (2001) |
| 1999 | ||
| 5 | | 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. ECOOP Workshop on Object-Oriented Databases 1999: 109-120 |
| 4 |  | 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. ECOOP Workshops 1999: 216-217 |
| 3 | | David Spelt, Susan Even: A Theorem Prover-Based Analysis Tool for Object-Oriented Databases. TACAS 1999: 375-389 |
| 1990 | ||
| 2 | | Susan Even, David A. Schmidt: Type Inference for Action Semantics. ESOP 1990: 118-133 |
| 1 | | Susan Even, David A. Schmidt: Category-Sorted Algebra-Based Action Semantics. Theor. Comput. Sci. 77(1&2): 73-95 (1990) |
| 1 | David A. Schmidt | [1] [2] |
| 2 | David Spelt | [3] [4] [5] [6] |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page