Discovering the Impact of Group Structure on 3-SAT.
Proceedings of the 2006 International Conference on Foundations of Computer Science, 2006
Bridging the HLA: Problems and Solutions.
Proceedings of the 6th IEEE International Workshop on Distributed Simulation and Real-Time Applications (DS-RT 2002), 2002
Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications.
ACM Trans. Program. Lang. Syst., 1998
Nitpick: A Tool for Interactive Design Analysis.
Proceedings of the Pulling Together, 1997
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector.
IEEE Trans. Software Eng., 1996
Efficient Search as a Means of Executing Specifications.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996
Checking Relational Specifications With Binary Decision Diagrams.
Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996
Faster Checking of Software Specifications by Eliminating Isomorphs.
Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996
A Performance Comparison of Object and Relational Databases Using the Sun Benchmark.
Proceedings of the Conference on Object-Oriented Programming Systems, 1988
Abstract Types and Storage Types in an OO-DBMS.
Proceedings of the COMPCON'88, Digest of Papers, Thirty-Third IEEE Computer Society International Conference, San Francisco, California, USA, February 29, 1988