| 2020 | VR | Dependency Graph-based Reactivity for Virtual Environments. | Joo Paulo Oliveira Marum, J. Adam Jones, H. Conrad Cunningham |
| 2016 | EGVE | Functional Reactive Augmented Reality: Proof of Concept Using an Extended Augmented Desktop with Swipe Interaction. | Joo Paulo Oliveira Marum, J. Adam Jones, H. Conrad Cunningham |
| 2001 | SAC | Building a layered framework for the table abstraction. | H. Conrad Cunningham, Jingyi Wang |
| 2000 | PDPTA | A Reusable Software Framework for Distributed Decision-Making Protocols. | Sudharshan Vazhkudai, H. Conrad Cunningham |
| 1995 | SIGCSE | Formal methods in the undergraduate computer science curriculum (abstract). | Henry MacKay Walker, H. Conrad Cunningham, Ruth Davis, Douglas R. Troeger |
| 1990 | ICDCS | The Synchronic Group: A Concurrent Programming Concept and Its Proof Logic. | Gruia-Catalin Roman, H. Conrad Cunningham |
| 1989 | ICDCS | A shared dataspace model of concurrency-language and programming implications. | Gruia-Catalin Roman, H. Conrad Cunningham |
| 1988 | ICDCS | A Shared Dataspace Language Supporting Large-Scale Concurrency. | Gruia-Catalin Roman, H. Conrad Cunningham, Michael E. Ehlers |
| 1987 | ICDCS | Toward Comprehensive Specification of Distributed Systems. | Gruia-Catalin Roman, Michael E. Ehlers, H. Conrad Cunningham, R. H. Lykins |