Bounding Fan-out in Logical Networks. - H. James Hoover; Maria M. Klawe; Nicholas Pippenger (J. ACM, 1984)

A Depth-Universal Circuit. - Stephen A. Cook; H. James Hoover (SIAM J. Comput., 1985)

Log Depth Circuits for Division and Related Problems. - Paul Beame; Stephen A. Cook; H. James Hoover (SIAM J. Comput., 1986)

Feasibly constructive analysis. - H. James Hoover (1987)

Why Integration is Hard. - H. James Hoover (Computers and Mathematics, 1989)

Feasible Real Functions and Arithmetic Circuits. - H. James Hoover (SIAM J. Comput., 1990)

Real Functions, Contraction Mappings and P-Completeness - H. James Hoover (Inf. Comput., 1991)

Uniform Self-Stabilizing Orientation of Unicyclic Networks under Read/Write Atomicity. - H. James Hoover; Piotr Rudnicki (Chic. J. Theor. Comput. Sci., 1996)

An Exercise in Using Constructive Proof Systems to Address Feature Interactions in Telephony. - Stephen Rochefort; H. James Hoover (FIW, 1997)

Hooking into Object-Oriented Application Frameworks. - Garry Froehlich; H. James Hoover; Ling Liu 001; Paul G. Sorenson (ICSE, 1997)

Realising Requirements in Product - Line Development Using O-O Frameworks (Invited Position Paper). - Garry Froehlich; H. James Hoover; Paul G. Sorenson (Australas. J. Inf. Syst., 1999)

Application Framework Issues when Evolving Business Applications for Electronic Commerce. - Garry Froehlich; H. James Hoover; Wendy Liew; Paul G. Sorenson (Inf. Syst., 1999)

Developing engineered product support applications. - H. James Hoover; Tony Olekshy; Garry Froehlich; Paul G. Sorenson (SPLC, 2000)

Choosing an object-oriented domain framework. - Garry Froehlich; H. James Hoover; Paul G. Sorenson (ACM Comput. Surv., 2000)

3dml: A Language for 3D Interaction Techniques. - Pablo A. Figueroa; Mark Green 001; H. James Hoover (Eurographics (Short Presentations), 2001)

Supporting the Deployment of Object-Oriented Frameworks. - Daqing Hou; H. James Hoover; Eleni Stroulia (CAiSE, 2002)

InTml: a description language for VR applications. - Pablo A. Figueroa; Mark Green 001; H. James Hoover (Web3D, 2002)

Towards Specifying Constraints for Object-Oriented Frameworks. - Daqing Hou; H. James Hoover (Inf. Syst. Frontiers, 2002)

Specifying framework constraints with FCL. - Daqing Hou; H. James Hoover; Piotr Rudnicki (CASCON, 2004)

Specifying the Law of Demeter and C++ Programming Guidelines with FCL. - Daqing Hou; H. James Hoover; Piotr Rudnicki (SCAM, 2004)

What Can Programmer Questions Tell Us About Frameworks? - Daqing Hou; Kenny Wong; H. James Hoover (IWPC, 2005)

Efficient comparison of platform alternatives in interactive virtual reality applications. - Pablo A. Figueroa; Walter F. Bischof; Pierre Boulanger; H. James Hoover (Int. J. Hum. Comput. Stud., 2005)

Towards Automatic Exception Safety Verification. - Xin Li; H. James Hoover; Piotr Rudnicki (FM, 2006)

Source-Level Linkage: Adding Semantic Information to C++ Fact-bases. - Daqing Hou; H. James Hoover (ICSM, 2006)

Reverse Engineering Scripting Language Extensions. - Daniel L. Moise; Kenny Wong; H. James Hoover; Daqing Hou (ICPC, 2006)

Using SCL to Specify and Check Design Intent in Source Code. - Daqing Hou; H. James Hoover (IEEE Trans. Software Eng., 2006)

Comprehending Aspect-Oriented Programs: Challenges and Open Issues. - Giuseppe A. Di Lucca; Michael Smit; Bruce Fraser; Eleni Stroulia; H. James Hoover (ICPC, 2007)

Documenting and Evaluating Scattered Concerns for Framework Usability: A Case Study. - Daqing Hou; Chandan Raj Rupakheti; H. James Hoover (APSEC, 2008)

Multidisciplinary students and instructors: a second-year games course. - Nathan R. Sturtevant; H. James Hoover; Jonathan Schaeffer 001; Sean Gouglas; Michael H. Bowling; Finnegan Southey; Matthew Bouchard; Ghassan Zabaneh (SIGCSE, 2008)

InTml: A Dataflow Oriented Development System for Virtual Reality Applications. - Pablo A. Figueroa; Walter F. Bischof; Pierre Boulanger; H. James Hoover; Robyn Taylor (Presence Teleoperators Virtual Environ., 2008)

Transactional pointcuts: designation reification and advice of interrelated join points. - S. Hossein Sadat-Mohtasham; H. James Hoover (GPCE, 2009)

API Conformance Verification for Java Programs. - Xin Li; H. James Hoover; Piotr Rudnicki (ICFEM, 2010)

Code convention adherence in evolving software. - Michael Smit; Barry Gergel; H. James Hoover; Eleni Stroulia (ICSM, 2011)

Interactive visualization of dependencies. - Camilo Arango Moreno; Walter F. Bischof; H. James Hoover (Comput. Educ., 2012)