Search the dblp DataBase

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]