Abstracts in software engineering - reports. - Robert S. Boyer; J Strother Moore; Warren A. Hunt; Richard M. Cohen; Richard C. Holt (ACM SIGSOFT Softw. Eng. Notes, 1986)

Resource Analysis for Question Answering. - Lucian Vlad Lita; Warren A. Hunt; Eric Nyberg (ACL (Poster and Demonstration), 2004)

IStar: A Raster Representation for Scalable Image and Volume Data. - Joe Kniss; Warren A. Hunt; Kristin Potter; Pradeep Sen (IEEE Trans. Vis. Comput. Graph., 2007)

Accelerating shadow rays using volumetric occluders and modified kd-tree traversal. - Peter Djeu; Sean Keely; Warren A. Hunt (High Performance Graphics, 2009)

Soft irregular shadow mapping: fast, high-quality, and robust soft shadows. - Gregory S. Johnson; Warren A. Hunt; Allen Hux; William R. Mark; Christopher A. Burns; Stephen Junkins (SI3D, 2009)

State of the Art in Ray Tracing Animated Scenes. - Ingo Wald; William R. Mark; Johannes Günther 001; Solomon Boulos; Thiago Ize; Warren A. Hunt; Steven G. Parker; Peter Shirley (Comput. Graph. Forum, 2009)

Razor: An architecture for dynamic multiresolution ray tracing. - Peter Djeu; Warren A. Hunt; Rui Wang 003; Ikrima Elhassan; Gordon Stoll; William R. Mark (ACM Trans. Graph., 2011)

The area perspective transform: A homogeneous transform for efficient in-volume queries. - Warren A. Hunt; Gregory S. Johnson (ACM Trans. Graph., 2011)

Automated and Scalable Verification of Integer Multipliers. - Mertcan Temel; Anna Slobodová; Warren A. Hunt (CAV (1), 2020)

Sound and Automated Verification of Real-World RTL Multipliers. - Mertcan Temel; Warren A. Hunt (FMCAD, 2021)