Validated Constraint Compilation. - Timothy J. Hickey; David K. Wittenberg (CP, 1999)

Using Analytic CLP to Model and Analyze Hybrid Systems. - Timothy J. Hickey; David K. Wittenberg (FLAIRS, 2004)

Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints. - Timothy J. Hickey; David K. Wittenberg (HSCC, 2004)

Leveraging Layout with Dimensional Stacking and Pixelization to Facilitate Feature Discovery and Directed Queries. - John T. Langton; Astrid A. Prinz; David K. Wittenberg; Timothy J. Hickey (VIEW, 2006)

Hardware Support for Safety Interlocks and Introspection. - Udit Dhawan; Albert Kwon; Edin Kadric; Catalin Hritcu; Benjamin C. Pierce; Jonathan M. Smith; André DeHon; Gregory Malecha; Greg Morrisett; Thomas F. Knight Jr.; Andrew Sutherland; Tom Hawkins; et al. (SASO Workshops, 2012)

PERFECT case studies demonstrating order of magnitude reduction in power consumption. - David K. Wittenberg; Edin Kadric; André DeHon; Jonathan Edwards; Jeffrey Smith; Silviu Chiricescu (HPEC, 2016)