A ternary universal decision element. - D. Michael Miller; Jon C. Muzio (Notre Dame J. Formal Log., 1976)

A class of two-place three-valued unary generators. - D. Michael Miller; Jon C. Muzio (Notre Dame J. Formal Log., 1980)

Spectral Fault Signatures for Internally Unate Combinational Networks. - D. Michael Miller; Jon C. Muzio (IEEE Trans. Computers, 1983)

Spectral Fault Signatures for Single Stuck-At Faults in Combinational Networks. - D. Michael Miller; Jon C. Muzio (IEEE Trans. Computers, 1984)

Cellular automata-based pseudorandom number generators for built-in self-test. - Peter D. Hortensius; Robert D. McLeod; Werner Pries; D. Michael Miller; Howard C. Card (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989)

Estimating aliasing in CA and LFSR based signature registers. - D. Michael Miller; Shujian Zhang; Werner Pries; Robert D. McLeod (ICCD, 1990)

RCM-MVL: A Recursive Consensus MVL Minimization Algorithm. - Gerhard W. Dueck; D. Michael Miller (ISMVL, 1990)

The analysis of one-dimensional linear cellular automata and their aliasing properties. - Micaela Serra; Terry Slater; Jon C. Muzio; D. Michael Miller (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990)

BIST Generators for Sequential Faults. - Shujian Zhang; Rod Byrne; D. Michael Miller (ICCD, 1992)

Autocorrelation Techniques for Multi-Bit Decoder PLAs. - Randal Tomczuk; D. Michael Miller (ISMVL, 1992)

The OR-k method for on-line checking of programmable logic arrays. - D. M. Marcynuk; D. Michael Miller (J. Electron. Test., 1992)

Multiple-Valued Logic Design Tools. - D. Michael Miller (ISMVL, 1993)

Decimal Addition and Subtraction Units Using the p-Valued Decimal Signed-Digit Number Representation. - Noriaki Muranaka; Shigeru Imanishi; D. Michael Miller (ISMVL, 1993)

Why Cellular Automata are better than LFSRs as Built-in Self-test Generators for Sequential-type Faults. - Shujian Zhang; Rod Byrne; Jon C. Muzio; D. Michael Miller (ISCAS, 1994)

Spectral Transformation of Multiple-Valued Decision Diagrams. - D. Michael Miller (ISMVL, 1994)

Quantitative analysis for linear hybrid cellular automata and LFSR as built-in self-test generators for sequential faults. - Shujian Zhang; Rod Byrne; Jon C. Muzio; D. Michael Miller (J. Electron. Test., 1995)

A spectral method for Boolean function matching. - D. Michael Miller (ED&TC, 1996)

Multiple-Valued Decision Diagrams with Symmetric Variable Nodes. - D. Michael Miller; Noriaki Muranaka (ISMVL, 1996)

A Ternary Systolic Product-Sum Circuit for GF(3m) using Neuron MOSFETs. - Noriaki Muranaka; Shigenobu Arai; Shigeru Imanishi; D. Michael Miller (ISMVL, 1996)

Notes on "Complexity of the lookup-table minimization problem for FPGA technology mapping". - Shujian Zhang; D. Michael Miller; Jon C. Muzio (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1996)

Implementing a Multiple-Valued Decision Diagram Package. - D. Michael Miller; Rolf Drechsler (ISMVL, 1998)

Minimal Test Set Generation for Fault Diagnosis in R-Valued PLAs. - Yasunori Nagata; D. Michael Miller; Masao Mukaidono (ISMVL, 1998)

An improved method for computing a generalized spectral coefficient. - D. Michael Miller (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998)

B-ternary Logic Based Asynchronous Micropipeline. - Yasunori Nagata; D. Michael Miller; Masao Mukaidono (ISMVL, 1999)

TOP: An Algorithm for Three-Level Optimization of PLDs. - Elena Dubrova; Peeter Ellervee; D. Michael Miller; Jon C. Muzio (DATE, 2000)

Logic Synthesis of Controllers for B-Ternary Asynchronous Systems. - Yasunori Nagata; D. Michael Miller; Masao Mukaidono (ISMVL, 2000)

Spectral techniques in VLSI CAD. - Mitchell Aaron Thornton; Rolf Drechsler; D. Michael Miller (Kluwer, 2001)

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)

On the Construction of Multiple-Valued Decision Diagrams. - D. Michael Miller; Rolf Drechsler (ISMVL, 2002)

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

Multi-Output Timed Shannon Circuits. - Mitchell A. Thornton; Rolf Drechsler; D. Michael Miller (ISVLSI, 2002)

A transformation based algorithm for reversible logic synthesis. - D. Michael Miller; Dmitri Maslov; Gerhard W. Dueck (DAC, 2003)

Fredkin/Toffoli Templates for Reversible Logic Synthesis. - Dmitri Maslov; Gerhard W. Dueck; D. Michael Miller (ICCAD, 2003)

On the Size of Multiple-Valued Decision Diagrams. - D. Michael Miller; Gerhard W. Dueck (ISMVL, 2003)

Augmented Sifting of Multiple-Valued Decision Diagrams. - D. Michael Miller; Rolf Drechsler (ISMVL, 2003)

Simplification of Toffoli Networks via Templates. - Dmitri Maslov; Gerhard W. Dueck; D. Michael Miller (SBCCI, 2003)

Introduction: Special Issue in Recognition of Kenneth C. Smith. - Ali Sheikholeslami; D. Michael Miller (J. Multiple Valued Log. Soft Comput., 2003)

A Synthesis Method for MVL Reversible Logi. - D. Michael Miller; Gerhard W. Dueck; Dmitri Maslov (ISMVL, 2004)

Computation of Discrete Function Chrestenson Spectrum Using Cayley Color Graphs. - Mitchell A. Thornton; D. Michael Miller (J. Multiple Valued Log. Soft Comput., 2004)

Quantum Circuit Simplification Using Templates. - Dmitri Maslov; Christina Young; D. Michael Miller; Gerhard W. Dueck (DATE, 2005)

Toffoli network synthesis with templates. - Dmitri Maslov; Gerhard W. Dueck; D. Michael Miller (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005)

Synthesis of Fredkin-Toffoli reversible networks. - Dmitri Maslov; Gerhard W. Dueck; D. Michael Miller (IEEE Trans. Very Large Scale Integr. Syst., 2005)

A Decision Diagram Package for Reversible and Quantum Circuit Simulation. - D. Michael Miller; Mitchell A. Thornton; David Goodman (IEEE Congress on Evolutionary Computation, 2006)

QMDD: A Decision Diagram Structure for Reversible and Quantum Circuits. - D. Michael Miller; Mitchell A. Thornton (ISMVL, 2006)

Synthesis of Quantum Multiple-Valued Circuits. - D. Michael Miller; Dmitri Maslov; Gerhard W. Dueck (J. Multiple Valued Log. Soft Comput., 2006)

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

Comparison of the cost metrics through investigation of the relation between optimal NCV and optimal NCT three-qubit reversible circuits. - Dmitri Maslov; D. Michael Miller (IET Comput. Digit. Tech., 2007)

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

Techniques for the synthesis of reversible Toffoli networks. - Dmitri Maslov; Gerhard W. Dueck; D. Michael Miller (ACM Trans. Design Autom. Electr. Syst., 2007)

Multiple Valued Logic: Concepts and Representations - D. Michael Miller; Mitchell A. Thornton (Multiple Valued Logic, 2007)

Multiple Valued Logic - Concepts and Representations. - D. Michael Miller; Mitchell Aaron Thornton (Morgan & Claypool Publishers, 2008)

An efficient verification of quantum circuits under a practical restriction. - Shigeru Yamashita; Shin-ichi Minato; D. Michael Miller (CIT, 2008)

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)

Quantum Logic Implementation of Unary Arithmetic Operations. - Mitchell A. Thornton; David W. Matula; Laura Spenner; D. Michael Miller (ISMVL, 2008)

DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction. - Shigeru Yamashita; Shin-ichi Minato; D. Michael Miller (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

Quantum Circuit Simplification and Level Compaction. - Dmitri Maslov; Gerhard W. Dueck; D. Michael Miller; Camille Negrevergne (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Synthesizing Reversible Circuits for Irreversible Functions. - D. Michael Miller; Robert Wille; Gerhard W. Dueck (DSD, 2009)

A Heterogeneous Decision Diagram Package. - D. Michael Miller; Radomir S. Stankovic (EUROCAST, 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)

Heterogeneous Decision Diagrams for Applications in Harmonic Analysis on Finite Non-Abelian Groups. - Stanislav Stankovic; Jaakko Astola; D. Michael Miller; Radomir S. Stankovic (ISMVL, 2010)

Information-Preserving Logic Based on Logical Reversibility to Reduce the Memory Data Transfer Bottleneck and Heat Dissipation. - Martin Lukac; Ben Shuai; Michitaka Kameyama; D. Michael Miller (ISMVL, 2011)

Elementary Quantum Gate Realizations for Multiple-Control Toffoli Gates. - D. Michael Miller; Robert Wille; Zahra Sasanian (ISMVL, 2011)

Transforming MCT Circuits to NCVW Circuits. - Zahra Sasanian; D. Michael Miller (RC, 2011)

Realizing reversible circuits using a new class of quantum gates. - Zahra Sasanian; Robert Wille; D. Michael Miller (DAC, 2012)

Recent Developments on Mapping Reversible Circuits to Quantum Gate Libraries. - D. Michael Miller; Zahra Sasanian (ISED, 2012)

Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits. - Mathias Soeken; Zahra Sasanian; Robert Wille; D. Michael Miller; Rolf Drechsler (ISMVL, 2012)

Reversible and Quantum Circuit Optimization: A Functional Approach. - Zahra Sasanian; D. Michael Miller (RC, 2012)

High Speed Genetic Algorithms in Quantum Logic Synthesis: Low Level Parallelization vs. Representation? - Martin Lukac; Michitaka Kameyama; D. Michael Miller; Marek A. Perkowski (J. Multiple Valued Log. Soft Comput., 2012)

Reducing Reversible Circuit Cost by Adding Lines. - D. Michael Miller; Robert Wille; Rolf Drechsler (J. Multiple Valued Log. Soft Comput., 2012)

Mapping a Multiple-control Toffoli Gate Cascade to an Elementary Quantum Gate Circuit. - Zahra Sasanian; D. Michael Miller (J. Multiple Valued Log. Soft Comput., 2012)

Equivalence Checking of Reversible Circuits. - Robert Wille; Daniel Große; D. Michael Miller; Rolf Drechsler (J. Multiple Valued Log. Soft Comput., 2012)

Synthesis of Semi-Classical Quantum Circuits. - Shigeru Yamashita; Shin-ichi Minato; D. Michael Miller (J. Multiple Valued Log. Soft Comput., 2012)

Clarification on the Mapping of Reversible Circuits to the NCV-v1 Library. - Zahra Sasanian; Robert Wille; D. Michael Miller (CoRR, 2013)

On quantum circuits employing roots of the Pauli matrices. - Mathias Soeken; D. Michael Miller; Rolf Drechsler (CoRR, 2013)

Mapping NCV Circuits to Optimized Clifford+T Circuits. - D. Michael Miller; Mathias Soeken; Rolf Drechsler (RC, 2014)

Trading off circuit lines and gate costs in the synthesis of reversible logic. - Robert Wille; Mathias Soeken; D. Michael Miller; Rolf Drechsler (Integr., 2014)

Reversible, Information-Preserving Logic and Its Application. - Martin Lukac; Ben Shuai; Michitaka Kameyama; D. Michael Miller (J. Multiple Valued Log. Soft Comput., 2014)

Using QMDD in Numerical Methods for Solving Linear Differential Equations via Walsh Functions. - Radomir S. Stankovic; D. Michael Miller (ISMVL, 2015)

Using SPIN to Check Nondeterministic Simulink Stateflow Models. - Chikatoshi Yamada; D. Michael Miller (ISMVL, 2015)

Self-Inverse Functions and Palindromic Circuits. - Mathias Soeken; Michael Kirkedal Thomsen; Gerhard W. Dueck; D. Michael Miller (CoRR, 2015)

An extension of transformation-based reversible and quantum circuit synthesis. - Mathias Soeken; Gerhard W. Dueck; Md. Mazder Rahman; D. Michael Miller (ISCAS, 2016)

A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis. - Mathias Soeken; Gerhard W. Dueck; D. Michael Miller (RC, 2016)

Using SPIN to Check Simulink Stateflow Models. - Chikatoshi Yamada; D. Michael Miller (Int. J. Networked Distributed Comput., 2016)

Embedding of Large Boolean Functions for Reversible Logic. - Mathias Soeken; Robert Wille; Oliver Keszöcze; D. Michael Miller; Rolf Drechsler (ACM J. Emerg. Technol. Comput. Syst., 2016)

QMDDs: Efficient Quantum Function Representation and Manipulation. - Philipp Niemann 001; Robert Wille; D. Michael Miller; Mitchell A. Thornton; Rolf Drechsler (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

A Spectral Algorithm for Ternary Function Classification. - D. Michael Miller; Mathias Soeken (ISMVL, 2018)

A Hybrid Method for Spectral Translation Equivalent Boolean Functions. - Mathias Soeken; Eleonora Testa; D. Michael Miller (PACRIM, 2019)

Fast Minimization of Polynomial Decomposition using Fixed-Polarity Pascal Transforms. - Kaitlin N. Smith; Mitchell A. Thornton; D. Michael Miller (ISMVL, 2020)

Search-Based Transformation Synthesis for 3-Valued Reversible Circuits. - D. Michael Miller; Gerhard W. Dueck (RC, 2020)

A Spectral Algorithm for 3-valued Function Equivalence Classification. - D. Michael Miller; Mathias Soeken (J. Multiple Valued Log. Soft Comput., 2020)

Descending Order Transformation-based Synthesis of MVL Reversible Circuits. - D. Michael Miller; Gerhard W. Dueck (ISMVL, 2021)

Function translations and search-based transformation for MVL reversible circuit synthesis. - D. Michael Miller; Gerhard W. Dueck (Sci. Comput. Program., 2021)

On the Contributions to Multiple-Valued Logic by Prof. Kenneth C. Smith. - D. Michael Miller (ISMVL, 2025)