2008 | ||
---|---|---|
4 | EE | 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 |
3 | EE | 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 | ||
2 | EE | David Y. Feinstein, V. S. S. Nair, Mitchell A. Thornton: Advances in Quantum Computing Fault Tolerance and Testing. HASE 2007: 369-370 |
1 | EE | D. Michael Miller, David Y. Feinstein, Mitchell A. Thornton: Variable Reordering and Sifting for QMDD. ISMVL 2007: 10 |
1 | D. Michael Miller | [1] [3] [4] |
2 | V. S. S. Nair | [2] |
3 | Mitchell A. Thornton (Mitchell Aaron Thornton) | [1] [2] [3] [4] |