Craig Damon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1988–1997
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | ICSE | Nitpick: A Tool for Interactive Design Analysis. | Craig Damon |
| 1996 | ISSTA | Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. | Daniel Jackson, Craig Damon |
| 1996 | POPL | Faster Checking of Software Specifications by Eliminating Isomorphs. | Daniel Jackson, Somesh Jha, Craig Damon |
| 1996 | TACAS | Efficient Search as a Means of Executing Specifications. | Craig Damon, Daniel Jackson |
| 1988 | OOPSLA | A Performance Comparison of Object and Relational Databases Using the Sun Benchmark. | Joshua Duhl, Craig Damon |