TSUNAMI: A Path Oriented Scheme for Algebraic Test Generation. - Ted Stanion; Debashis Bhattacharya (FTCS, 1991)

Maximum projections of don't care conditions in a Boolean network. - Ted Stanion; Carl Sechen (ICCAD, 1993)

Boolean division and factorization using binary decision diagrams. - Ted Stanion; Carl Sechen (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994)

Quasi-algebraic decompositions of switching functions. - Ted Stanion; Carl Sechen (ARVLSI, 1995)

A Method for Finding Good Ashenhurst Decompositions and Its Application to FPGA Synthesis. - Ted Stanion; Carl Sechen (DAC, 1995)

An efficient method for generating exhaustive test sets. - Ted Stanion; Debashis Bhattacharya; Carl Sechen (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1995)

Implicit Verification of Structurally Dissimilar Arithmetic Circuits. - Ted Stanion (ICCD, 1999)

A practical and efficient method for compare-point matching. - Demos Anastasakis; Robert F. Damiano; Hi-Keung Tony Ma; Ted Stanion (DAC, 2002)

Guiding SAT Diagnosis with Tree Decompositions. - Per Bjesse; James H. Kukula; Robert F. Damiano; Ted Stanion; Yunshan Zhu (SAT, 2003)