| 2020 | RC | Search-Based Transformation Synthesis for 3-Valued Reversible Circuits. | D. Michael Miller, Gerhard W. Dueck |
| 2016 | ISCAS | An extension of transformation-based reversible and quantum circuit synthesis. | Mathias Soeken, Gerhard W. Dueck, Md. Mazder Rahman, D. Michael Miller |
| 2016 | RC | A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis. | Mathias Soeken, Gerhard W. Dueck, D. Michael Miller |
| 2014 | RC | Mapping NCV Circuits to Optimized Clifford+T Circuits. | D. Michael Miller, Mathias Soeken, Rolf Drechsler |
| 2012 | DAC | Realizing reversible circuits using a new class of quantum gates. | Zahra Sasanian, Robert Wille, D. Michael Miller |
| 2012 | RC | Reversible and Quantum Circuit Optimization: A Functional Approach. | Zahra Sasanian, D. Michael Miller |
| 2011 | RC | Transforming MCT Circuits to NCVW Circuits. | Zahra Sasanian, D. Michael Miller |
| 2009 | DSD | Synthesizing Reversible Circuits for Irreversible Functions. | D. Michael Miller, Robert Wille, Gerhard W. Dueck |
| 2008 | DATE | Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits. | David Y. Feinstein, Mitchell A. Thornton, D. Michael Miller |
| 2006 | CEC | A Decision Diagram Package for Reversible and Quantum Circuit Simulation. | D. Michael Miller, Mitchell A. Thornton, David Goodman |
| 2005 | DATE | Quantum Circuit Simplification Using Templates. | Dmitri Maslov, Christina Young, D. Michael Miller, Gerhard W. Dueck |
| 2003 | DAC | A transformation based algorithm for reversible logic synthesis. | D. Michael Miller, Dmitri Maslov, Gerhard W. Dueck |
| 2003 | ICCAD | Fredkin/Toffoli Templates for Reversible Logic Synthesis. | Dmitri Maslov, Gerhard W. Dueck, D. Michael Miller |
| 2000 | DATE | TOP: An Algorithm for Three-Level Optimization of PLDs. | Elena Dubrova, Peeter Ellervee, D. Michael Miller, Jon C. Muzio |
| 1996 | DATE | A spectral method for Boolean function matching. | D. Michael Miller |
| 1994 | ISCAS | 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 |
| 1992 | ICCD | BIST Generators for Sequential Faults. | Shujian Zhang, Rod Byrne, D. Michael Miller |
| 1990 | ICCD | Estimating aliasing in CA and LFSR based signature registers. | D. Michael Miller, Shujian Zhang, Werner Pries, Robert D. McLeod |