Travelled to:1 × France
2 × Germany
2 × USA
Collaborated with:D.Maslov G.W.Dueck Z.Sasanian R.Wille D.Y.Feinstein M.A.Thornton C.Young E.Dubrova P.Ellervee J.C.Muzio
Talks about:circuit (3) revers (3) logic (3) use (3) algorithm (2) quantum (2) transform (1) synthesi (1) irrevers (1) templat (1)
Person: D. Michael Miller
DBLP: Miller:D=_Michael
Contributed to:
2012
2008200520032000Wrote 5 papers:
- DAC-2012-SasanianWM #quantum #using
- Realizing reversible circuits using a new class of quantum gates (ZS, RW, DMM), pp. 36–41.
- DATE-2008-FeinsteinTM #detection #equivalence #logic #using
- Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits (DYF, MAT, DMM), pp. 1378–1381.
- DATE-2005-MaslovYMD #quantum #using
- Quantum Circuit Simplification Using Templates (DM, CY, DMM, GWD), pp. 1208–1213.
- DAC-2003-MillerMD #algorithm #logic #synthesis
- A transformation based algorithm for reversible logic synthesis (DMM, DM, GWD), pp. 318–323.
- DATE-2000-DubrovaEMM #algorithm #named #optimisation
- TOP: An Algorithm for Three-Level Optimization of PLDs (ED, PE, DMM, JCM), p. 751.