Computing walsh, arithmetic, and reed-muller spectral decision diagrams using graph transformations. - Whitney J. Townsend; Mitchell A. Thornton; Rolf Drechsler; D. Michael Miller (ACM Great Lakes Symposium on VLSI, 2002)

Chrestenson Spectrum Computation Using Cayley Color Graphs. - Mitchell A. Thornton; D. Michael Miller; Whitney J. Townsend (ISMVL, 2002)

On-line Error Detection in a Carry-free Adder. - Whitney J. Townsend; Mitchell A. Thornton; Parag K. Lala (IWLS, 2002)

Quadruple Time Redundancy Adders. - Whitney J. Townsend; Jacob A. Abraham; Earl E. Swartzlander Jr. (DFT, 2003)

On-Line Error Detecting Constant Delay Adder. - Whitney J. Townsend; Jacob A. Abraham; Parag K. Lala (IOLTS, 2003)

Program Slicing for ATPG-Based Property Checking. - Vivekananda M. Vedula; Whitney J. Townsend; Jacob A. Abraham (VLSI Design, 2004)