 | 2009 |
| 7 |  | David Y. Feinstein,
Mitchell A. Thornton:
On the Guidance of Reversible Logic Synthesis by Dynamic Variable Reordering.
ISMVL 2009: 132-138 |
| 6 |  | David Y. Feinstein,
Mitchell A. Thornton,
D. Michael Miller:
Minimization of Quantum Multiple-valued Decision Diagrams Using Data Structure Metrics.
Multiple-Valued Logic and Soft Computing 15(4): 361-377 (2009) |
| 2008 |
| 5 |  | David Y. Feinstein,
Mitchell A. Thornton,
D. Michael Miller:
Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits.
DATE 2008: 1378-1381 |
| 4 |  | David Y. Feinstein,
Mitchell A. Thornton,
D. Michael Miller:
On the Data Structure Metrics of Quantum Multiple-Valued Decision Diagrams.
ISMVL 2008: 138-143 |
| 2007 |
| 3 |  | David Y. Feinstein,
V. S. S. Nair,
Mitchell A. Thornton:
Advances in Quantum Computing Fault Tolerance and Testing.
HASE 2007: 369-370 |
| 2 |  | D. Michael Miller,
David Y. Feinstein,
Mitchell A. Thornton:
Variable Reordering and Sifting for QMDD.
ISMVL 2007: 10 |
| 1 |  | D. Michael Miller,
David Y. Feinstein,
Mitchell A. Thornton:
QMDD Minimization Using Sifting for Variable Reordering.
Multiple-Valued Logic and Soft Computing 13(4-6): 537-552 (2007) |