D. Michael Miller

University of Victoria — Canada

Computer Science · Physical Sciences

35h-index5.0kcitations134works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Quantum Computing Algorithms and Architecture(63), Quantum-Dot Cellular Automata(41), Formal Methods in Verification(32), Low-power high-performance VLSI design(30), Quantum Information and Cryptography(24)

Publications134 total

Function translations and search-based transformation for MVL reversible circuit synthesis
Science of Computer Programming·2021· 1 cited
Descending Order Transformation-based Synthesis of MVL Reversible Circuits
2021· 2 cited
Translation Techniques for Reversible Circuit Synthesis with Positive and Negative Controls
2021· 1 cited
Fast Minimization of Polynomial Decomposition using Fixed-Polarity Pascal Transforms
2020
A Spectral Algorithm for 3-valued Function Equivalence Classification.
Infoscience (Ecole Polytechnique Fédérale de Lausanne)·2020Open Access
Search-Based Transformation Synthesis for 3-Valued Reversible Circuits
Lecture notes in computer science·2020· 4 citedOpen Access
A Hybrid Method for Spectral Translation Equivalent Boolean Functions
2019· 3 citedOpen Access
An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions
2019· 6 cited
A Spectral Algorithm for Ternary Function Classification
2018· 8 cited
An extension of transformation-based reversible and quantum circuit synthesis
2016· 10 citedOpen Access
A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis
Lecture notes in computer science·2016· 19 citedOpen Access
Embedding of Large Boolean Functions for Reversible Logic
ACM Journal on Emerging Technologies in Computing Systems·2015· 56 cited
SPIN model checking for the BEE system
2015· 1 cited
QMDDs: Efficient Quantum Function Representation and Manipulation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2015· 127 cited
Using SPIN to check Simulink Stateflow models
2015· 2 cited
Using QMDD in Numerical Methods for Solving Linear Differential Equations via Walsh Functions
2015· 3 cited
Using SPIN to Check Nondeterministic Simulink Stateflow Models
2015· 2 cited
Self-Inverse Functions and Palindromic Circuits
arXiv (Cornell University)·2015· 1 citedOpen Access
Embedding of Large Boolean Functions for Reversible Logic
arXiv (Cornell University)·2014· 3 citedOpen Access
Reversible, information-preserving logic and its application
2014
page 1 of 7Next →

Frequent Co-authors

Dmitri Maslov(17), Gerhard W. Dueck(17), Rolf Drechsler(10), Robert Wille(9), Zahra Sasanian(6), Mitchell A. Thornton(5), Mathias Soeken(5), J.C. Muzio(2), Robert P. Davis(2), Shanshan Zhang(2), S.L. Hurst(1), J.C. Muzio(1), P.D. Hortensius(1), R.D. McLeod(1), W. Pries(1), H.C. Card(1), C. Negrevergne(1), M. Serra(1), T. A. Slater(1), Philipp Niemann(1)