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

Quantum computers promise substantial speedups over conventional machines for many
practical applications. While considered" dreams of the future" for a long time, first quantum …

Quantum computation is a promising emerging technology which, compared to conventional
computation, allows for substantial speed-ups, eg, for integer factorization or database …

We introduce a framework for the formal specification and verification of quantum circuits
based on the Feynman path integral. Our formalism, built around exponential sums of …

Quantum mechanical phenomena such as phase shifts, superposition, and entanglement
show promise in use for computation. Suitable technologies for the modeling and design of …

A new method for determining elementary quantum gate realizations for multiple-control
Toffoli (MCT) gates is presented. The realization for each MCT gate is formed as a …

In recent years, research in the domain of reversible circuit design has attracted significant
attention leading to many different approaches for eg synthesis, optimization, simulation …

One of the main challenges in quantum computing is to ensure error-free operation of the
basic quantum gates. There are various implementation technologies of quantum gates for …

We study the fundamental design automation problem of equivalence checking in the NISQ
(Noisy Intermediate-Scale Quantum) computing realm where quantum noise is present …

In recent years, research in the domain of reversible circuit design has attracted significant
attention leading to many different approaches eg for synthesis, optimization, simulation …