Concepedia

H. James Hoover

HJ

17

Publications

949

Citations

15

H-Index

1984

Active since

Affiliations

University of Alberta(Current)

University of Toronto

H. James Hoover is an author at University of Alberta specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceDesignComputer EngineeringFormal MethodsSoftware DesignSoftware EngineeringSystem SoftwareUser ExperienceProgram Analysis

Publications per year

1984–2011

17

Publications

17

Log Depth Circuits for Division and Related Problems

Paul Beame, Stephen Cook, H. James Hoover · SIAM Journal on Computing · 1986 · 237 citations

Circuit Complexity, Mathematical Programming, Computational Complexity Theory +17

Hooking into object-oriented application frameworks

Gary K. Froehlich, H. James Hoover, Ling Liu et al. · 1997 · 122 citations · Full text

Pablo Figueroa, Mark Green, H. James Hoover · 2002 · 84 citations

Complete Virtual Reality, Tangible User Interface, Engineering +12

Using SCL to specify and check design intent in source code

Daqing Hou, H. James Hoover · IEEE Transactions on Software Engineering · 2006 · 84 citations

Software Maintenance, Engineering, Verification +19

Bounding Fan-out in Logical Networks

H. James Hoover, Maria Klawe, Nicholas Pippenger · Journal of the ACM · 1984 · 78 citations · Full text

Rows per page

1–5 of 17