The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Susan Even: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Susan Even, David A. Schmidt
    Type Inference for Action Semantics. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:118-133 [Conf]
  4. 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]
  5. 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]
  6. Susan Even, David A. Schmidt
    Category-Sorted Algebra-Based Action Semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:77, n:1&2, pp:73-95 [Journal]

Search in 0.002secs, Finished in 0.003secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002