| 2007 | CHI | Improving dictionary-based disambiguation text entry method accuracy. | Jun Gong, Peter Tarasewich, Carole D. Hafner, I. Scott MacKenzie |
| 2007 | JURIX | Extending the power of automated legal drafting technology. | Carole D. Hafner, Marc Lauritsen |
| 1998 | AAAI | Representing Scientific Experiments: Implications for Ontology Design and Knowledge Sharing. | Natalya Fridman Noy, Carole D. Hafner |
| 1996 | ISMB | Ontological Foundations for Biology Knowledge Models. | Carole D. Hafner, Natalya Fridman Noy |
| 1995 | ICAIL | Understanding Precedents in a Temporal Context of Evolving Legal Doctrine. | Donald H. Berman, Carole D. Hafner |
| 1994 | ISMB | Creating a Knowledge Base of Biological Research Papers. | Carole D. Hafner, Kenneth Baclawski, Robert P. Futrelle, Natalya Fridman Noy, Shobana Sampath |
| 1993 | ICAIL | Representing Teleological Structure in Case-based Legal Reasoning: The Missing Link. | Donald H. Berman, Carole D. Hafner |
| 1993 | ICAIL | SmartLaw: Adapting "Classic" Expert System Techniques for the Legal Research Domain. | Carole D. Hafner, Virginia J. Wise |
| 1991 | ICAIL | Incorporating Procedural Context into a Model of Case-based Legal Reasoning. | Donald H. Berman, Carole D. Hafner |
| 1987 | ICAIL | Conceptual Organization of Case Law Knowledge Bases. | Carole D. Hafner |
| 1985 | ACL | Semantics of Temporal Queries and Temporal Data. | Carole D. Hafner |
| 1984 | COLING | Interaction of Knowledge Sources in a Portable Natural Language Interface. | Carole D. Hafner |
| 1980 | SIGIR | Representation of Knowledge in a Legal Information Retrieval System. | Carole D. Hafner |