- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 11 |      | James McQuillan, Craig Damon: Discovering the Impact of Group Structure on 3-SAT. FCS 2006: 163-168 |
| 2002 | ||
| 10 |  | Jürgen Dingel, David Garlan, Craig Damon: Bridging the HLA: Problems and Solutions. DS-RT 2002: 33-42 |
| 1998 | ||
| 9 | | Daniel Jackson, Somesh Jha, Craig Damon: Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications. ACM Trans. Program. Lang. Syst. 20(2): 302-343 (1998) |
| 1997 | ||
| 8 | | Craig Damon: Nitpick: A Tool for Interactive Design Analysis. ICSE 1997: 596-597 |
| 1996 | ||
| 7 | | Daniel Jackson, Craig Damon: Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. ISSTA 1996: 239-249 |
| 6 | | Daniel Jackson, Somesh Jha, Craig Damon: Faster Checking of Software Specifications by Eliminating Isomorphs. POPL 1996: 79-90 |
| 5 | | Craig Damon, Daniel Jackson, Somesh Jha: Checking Relational Specifications With Binary Decision Diagrams. SIGSOFT FSE 1996: 70-80 |
| 4 | | Craig Damon, Daniel Jackson: Efficient Search as a Means of Executing Specifications. TACAS 1996: 70-86 |
| 3 | | Daniel Jackson, Craig Damon: Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. IEEE Trans. Software Eng. 22(7): 484-495 (1996) |
| 1988 | ||
| 2 | | Craig Damon, Gordon Landis: Abstract Types and Storage Types in an OO-DBMS. COMPCON 1988: 172-176 |
| 1 | | Joshua Duhl, Craig Damon: A Performance Comparison of Object and Relational Databases Using the Sun Benchmark. OOPSLA 1988: 153-163 |
| 1 | Jürgen Dingel | [10] |
| 2 | Joshua Duhl | [1] |
| 3 | David Garlan | [10] |
| 4 | Daniel Jackson | [3] [4] [5] [6] [7] [9] |
| 5 | Somesh Jha | [5] [6] [9] |
| 6 | Gordon Landis | [2] |
| 7 | James McQuillan | [11] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page