Advances in Quantum Computing Fault Tolerance and Testing. - David Y. Feinstein; V. S. S. Nair; Mitchell A. Thornton (HASE, 2007)

Variable Reordering and Sifting for QMDD. - D. Michael Miller; David Y. Feinstein; Mitchell A. Thornton (ISMVL, 2007)

QMDD Minimization Using Sifting for Variable Reordering. - D. Michael Miller; David Y. Feinstein; Mitchell A. Thornton (J. Multiple Valued Log. Soft Comput., 2007)

Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits. - David Y. Feinstein; Mitchell A. Thornton; D. Michael Miller (DATE, 2008)

On the Data Structure Metrics of Quantum Multiple-Valued Decision Diagrams. - David Y. Feinstein; Mitchell A. Thornton; D. Michael Miller (ISMVL, 2008)

On the Guidance of Reversible Logic Synthesis by Dynamic Variable Reordering. - David Y. Feinstein; Mitchell A. Thornton (ISMVL, 2009)

Minimization of Quantum Multiple-valued Decision Diagrams Using Data Structure Metrics. - David Y. Feinstein; Mitchell A. Thornton; D. Michael Miller (J. Multiple Valued Log. Soft Comput., 2009)

On the Skipped Variables of Quantum Multiple-Valued Decision Diagrams. - David Y. Feinstein; Mitchell A. Thornton (ISMVL, 2011)

Using Multiple-Valued Logic Decision Diagrams to Model System Threat Probabilities. - Theodore W. Manikas; Mitchell A. Thornton; David Y. Feinstein (ISMVL, 2011)

Using the Asynchronous Paradigm for Reversible Sequential Circuit Implementation. - David Y. Feinstein; Mitchell A. Thornton (ISMVL, 2012)

Modeling Medical System Threats with Conditional Probabilities Using Multiple-Valued Logic Decision Diagrams. - Theodore W. Manikas; David Y. Feinstein; Mitchell A. Thornton (ISMVL, 2012)

Reversible Logic Synthesis Based on Decision Diagram Variable Ordering. - David Y. Feinstein; Mitchell A. Thornton (J. Multiple Valued Log. Soft Comput., 2012)

Quantum Multiple-Valued Decision Diagrams Containing Skipped Variables. - David Y. Feinstein; Mitchell A. Thornton (J. Multiple Valued Log. Soft Comput., 2015)

Modeling System Threat Probabilities Using Mixed-Radix Multiple-Valued Logic Decision Diagrams. - Theodore W. Manikas; Mitchell A. Thornton; David Y. Feinstein (J. Multiple Valued Log. Soft Comput., 2015)