Concepedia

Warren A. Hunt

WA

40

Publications

1.6K

Citations

25

H-Index

1954

Active since

Affiliations

The University of Texas at Austin(Current)

Cirrus Logic (United States)

Intel (United States)

Intel (United Kingdom)

University of Utah

Warren A. Hunt is an author at The University of Texas at Austin specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal MethodsFormal VerificationVerificationProgram AnalysisSoftware AnalysisComputer ArchitectureSystem Software

Publications per year

1954–2017

40

Publications

40

State of the Art in Ray Tracing Animated Scenes

Ingo Wald, William R. Mark, Johannes Günther et al. · Computer Graphics Forum · 2009 · 183 citations

Geometric Modeling, Fast Ray Tracing, Realistic Rendering +13

An approach to systems verification

William R. Bevier, Warren A. Hunt, J Strother Moore et al. · Journal of Automated Reasoning · 1989 · 143 citations

Engineering, Automated Reasoning, Program Analysis +11

Microprocessor design verification

Warren A. Hunt · Journal of Automated Reasoning · 1989 · 129 citations

Hardware Security, Engineering, Hardware Verification Language +8

Fast kd-tree Construction with an Adaptive Error-Bounded Heuristic

Warren A. Hunt, William R. Mark, Gordon Stoll · 2006 · 110 citations

Mathematical Programming, Engineering, Computer Graphic Technique +23

Trimming while checking clausal proofs

Marijn J. H. Heule, Warren A. Hunt, Nathan Wetzler · 2013 · 106 citations

Engineering, Verification, Automated Proof +17

Rows per page

1–5 of 40