D.M. Miller

Boolean Function Matching using Walsh Spectral Decision Diagrams

J. Moore, K. Fazel, M. Thornton, 2006, 2006 IEEE Dallas/CAS Workshop on Design, Applications, Integration and Software.

Templates for reversible circuit simplification

G. Dueck, D.M. Miller, D. Maslov, 2005, PACRIM. 2005 IEEE Pacific Rim Conference on Communications, Computers and signal Processing, 2005..

Fredkin/Toffoli templates for reversible logic synthesis

D.M. Miller, D. Maslov, G.W. Dueck, 2003, ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486).