Craig Damon

According to our database, Craig Damon authored at least 10 papers between 1988 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Discovering the Impact of Group Structure on 3-SAT.

James McQuillan, Craig Damon

Proceedings of the 2006 International Conference on Foundations of Computer Science, 2006

2002

Bridging the HLA: Problems and Solutions.

Jürgen Dingel, David Garlan, Craig Damon

Proceedings of the 6th IEEE International Workshop on Distributed Simulation and Real-Time Applications (DS-RT 2002), 2002

1998

Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications.

Daniel Jackson, Somesh Jha, Craig Damon

ACM Trans. Program. Lang. Syst., 1998

1997

Nitpick: A Tool for Interactive Design Analysis.

Craig Damon

Proceedings of the Pulling Together, 1997

1996

Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector.

Daniel Jackson, Craig Damon

IEEE Trans. Software Eng., 1996

Efficient Search as a Means of Executing Specifications.

Craig Damon, Daniel Jackson

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Checking Relational Specifications With Binary Decision Diagrams.

Craig Damon, Daniel Jackson, Somesh Jha

Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

Faster Checking of Software Specifications by Eliminating Isomorphs.

Daniel Jackson, Somesh Jha, Craig Damon

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

1988

A Performance Comparison of Object and Relational Databases Using the Sun Benchmark.

Joshua Duhl, Craig Damon

Proceedings of the Conference on Object-Oriented Programming Systems, 1988

Abstract Types and Storage Types in an OO-DBMS.

Craig Damon, Gordon Landis

Proceedings of the COMPCON'88, Digest of Papers, Thirty-Third IEEE Computer Society International Conference, San Francisco, California, USA, February 29, 1988