| 2010 | ICFEM | API Conformance Verification for Java Programs. | Xin Li, H. James Hoover, Piotr Rudnicki |
| 2009 | GPCE | Transactional pointcuts: designation reification and advice of interrelated join points. | S. Hossein Sadat-Mohtasham, H. James Hoover |
| 2008 | APSEC | Documenting and Evaluating Scattered Concerns for Framework Usability: A Case Study. | Daqing Hou, Chandan Raj Rupakheti, H. James Hoover |
| 2008 | SIGCSE | Multidisciplinary students and instructors: a second-year games course. | Nathan R. Sturtevant, H. James Hoover, Jonathan Schaeffer, Sean Gouglas, Michael H. Bowling, Finnegan Southey, Matthew Bouchard, Ghassan Zabaneh |
| 2006 | FM | Towards Automatic Exception Safety Verification. | Xin Li, H. James Hoover, Piotr Rudnicki |
| 2004 | SCAM | Specifying the Law of Demeter and C++ Programming Guidelines with FCL. | Daqing Hou, H. James Hoover, Piotr Rudnicki |
| 2002 | CaiSE | Supporting the Deployment of Object-Oriented Frameworks. | Daqing Hou, H. James Hoover, Eleni Stroulia |
| 2000 | SPLC | Developing engineered product support applications. | H. James Hoover, Tony Olekshy, Garry Froehlich, Paul G. Sorenson |
| 1997 | ICSE | Hooking into Object-Oriented Application Frameworks. | Garry Froehlich, H. James Hoover, Ling Liu, Paul G. Sorenson |
| 1984 | FOCS | Log Depth Circuits for Division and Related Problems | Paul Beame, Stephen A. Cook, H. James Hoover |