Reversible logic circuits have been historically motivated by theoretical research in low-
power electronics as well as practical improvement of bit manipulation transforms in …

We develop and implement automated methods for optimizing quantum circuits of the size
and type expected in quantum computations that outperform classical computers. We show …

Quantum computing is regarded as a promising paradigm that may overcome the current
computational power bottlenecks in the post-Moore era. The increasing maturity of quantum …

Reversible logic is the basis for several emerging technologies such as quantum computing,
optical computing, or DNA computing and has further applications in domains like low …

Reversible logic finds many applications, especially in the area of quantum computing. A
completely specified n-input, n-output Boolean function is called reversible if it maps each …

Quantum circuits are time-dependent diagrams describing the process of quantum
computation. Usually, a quantum algorithm must be mapped into a quantum circuit. Optimal …

We study the problem of compilation of quantum algorithms into optimized physical-level
circuits executable in a quantum information processing (QIP) experiment based on trapped …

In the not-so-distant future, quantum computing will change the way we tackle certain
problems. It promises to dramatically speed-up many chemical, financial, cryptographical …

Operating on the principles of quantum mechanics, quantum algorithms hold the promise for
solving problems that are beyond the reach of the best-available classical algorithms. An …

We present certain new techniques for the synthesis of reversible networks of Toffoli gates,
as well as improvements to previous methods. Gate count and technology oriented cost …