The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Craig Damon: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Joshua Duhl, Craig Damon
    A Performance Comparison of Object and Relational Databases Using the Sun Benchmark. [Citation Graph (1, 0)][DBLP]
    OOPSLA, 1988, pp:153-163 [Conf]
  2. Craig Damon, Gordon Landis
    Abstract Types and Storage Types in an OO-DBMS. [Citation Graph (0, 0)][DBLP]
    COMPCON, 1988, pp:172-176 [Conf]
  3. Jürgen Dingel, David Garlan, Craig Damon
    Bridging the HLA: Problems and Solutions. [Citation Graph (0, 0)][DBLP]
    DS-RT, 2002, pp:33-42 [Conf]
  4. James McQuillan, Craig Damon
    Discovering the Impact of Group Structure on 3-SAT. [Citation Graph (0, 0)][DBLP]
    FCS, 2006, pp:163-168 [Conf]
  5. Craig Damon
    Nitpick: A Tool for Interactive Design Analysis. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:596-597 [Conf]
  6. Daniel Jackson, Craig Damon
    Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:239-249 [Conf]
  7. Daniel Jackson, Somesh Jha, Craig Damon
    Faster Checking of Software Specifications by Eliminating Isomorphs. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:79-90 [Conf]
  8. Craig Damon, Daniel Jackson, Somesh Jha
    Checking Relational Specifications With Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1996, pp:70-80 [Conf]
  9. Craig Damon, Daniel Jackson
    Efficient Search as a Means of Executing Specifications. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:70-86 [Conf]
  10. Daniel Jackson, Somesh Jha, Craig Damon
    Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:2, pp:302-343 [Journal]
  11. Daniel Jackson, Craig Damon
    Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:7, pp:484-495 [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