Warren A. Hunt - Concepedia

Author

Warren A. Hunt

Also Known As

Hunt Jr, Warren, Hunt, Warren, Hunt, Warren A., Jr., Hunt,, Warren A, W. A. Hunt, W. Hunt, W.A. Hunt, Warren A Hunt, Warren A Hunt,, Warren A. Hunt

121

Publications

2.7K

Citations

H-Index

100

Concepts

All Affiliations

The University of Texas at Austin Cirrus Logic (United States)Intel (United States)Intel (United Kingdom)University of Utah

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	22	34	1.4K
2	Natural Sciences	7	7	299
3	Arts	1	1	183
4	Education	1	1	20
5	Social Sciences	1	1	35

Warren A. Hunt

Publications

1.6K

Citations

H-Index

Page 1

	Year	Citations
State of the Art in Ray Tracing Animated Scenes Ingo Wald, William R. Mark, Johannes Günther, Computer Graphics Forum Geometric ModelingFast Ray TracingRealistic RenderingMachine VisionEngineering	2009	183
An approach to systems verification William R. Bevier, Warren A. Hunt, J Strother Moore, Journal of Automated Reasoning EngineeringAutomated ReasoningProgram AnalysisVerificationFormal Methods	1989	143
Microprocessor design verification Warren A. Hunt Journal of Automated Reasoning Hardware SecurityEngineeringHardware Verification LanguageComputer DesignVerification	1989	129
Fast kd-tree Construction with an Adaptive Error-Bounded Heuristic Warren A. Hunt, William R. Mark, Gordon Stoll Mathematical ProgrammingEngineeringComputer Graphic TechniqueComputational ComplexityEffective Acceleration Structures	2006	110
Trimming while checking clausal proofs Marijn J. H. Heule, Warren A. Hunt, Nathan Wetzler EngineeringVerificationAutomated ProofSoftware AnalysisFormal Verification	2013	106
A formal HDL and its use in the FM9001 verification Warren A. Hunt, Bishop Brock Philosophical Transactions of the Royal Society of London Series A Physical and Engineering Sciences	1992	61
The PADL-1.0/2 system for defining and displaying solid objects H. Voelcker, Aristides A. G. Requicha, Eugene Hartquist,	1978	56
The PADL-1.0/2 system for defining and displaying solid objects H. Voelcker, Aristides A. G. Requicha, Eugene Hartquist, ACM SIGGRAPH Computer Graphics Padl-1.0/2 SystemEngineeringVisual Programming LanguageGeometryComputer Architecture	1978	48
A flexible formal verification framework for industrial scale validation Anna Slobodová, Jared Davis, Sol Swords, Industrial Scale ValidationEngineeringHardware Verification LanguageIndustrial EngineeringVerification	2011	45
Razor Peter Djeu, Warren A. Hunt, Rui Wang, ACM Transactions on Graphics Geometric ModelingRealistic RenderingEngineeringComputer Graphic TechniqueDesktop Systems	2011	42

Page 1