BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Miller:D=_Michael

Contributed to:

DAC 20122012
DATE 20082008
DATE 20052005
DAC 20032003
DATE 20002000

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.