259 citations · 564 across the 8 of their papers we have counts for
8 papers
Automated Quantum Oracle Synthesis with a Minimal Number of Qubits
Jessie M. Henderson, Elena R. Henderson, Aviraj Sinha +2
Several prominent quantum computing algorithms--including Grover's search algorithm and Shor's algorithm for finding the prime factorization of an integer--employ subcircuits terme…
Self-Inverse Functions and Palindromic Circuits
Mathias Soeken, Michael Kirkedal Thomsen, Gerhard W. Dueck +1
We investigate the subclass of reversible functions that are self-inverse and relate them to reversible circuits that are equal to their reverse circuit, which are called palindrom…
Clarification on the Mapping of Reversible Circuits to the NCV-v1 Library
Zahra Sasanian, Robert Wille, D. Michael Miller
In previous work and motivated by a theoretical discussion on physical realizations, a new quantum gate library (the NCV-v1 library) for electronic design automation of quantum cir…
On quantum circuits employing roots of the Pauli matrices
Mathias Soeken, D. Michael Miller, Rolf Drechsler
The Pauli matrices are a set of three 2x2 complex Hermitian, unitary matrices. In this article, we investigate the relationships between certain roots of the Pauli matrices and how…
DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction
Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller
Recently much attention has been paid to quantum circuit design to prepare for the future "quantum computation era." Like the conventional logic synthesis, it should be important t…
Techniques for the Synthesis of Reversible Toffoli Networks
D. Maslov, D. M. Miller, G. W. Dueck
This paper presents novel techniques for the synthesis of reversible networks of Toffoli gates, as well as improvements to previous methods. Gate count and technology oriented cost…