Quantum computing (QC) is an emerging paradigm with the potential to offer significant
computational advantage over conventional classical computing by exploiting quantum …

Quantum computing is the latest revolution in computing and will probably come to be seen
as an advance as important as the steam engine or the information society. In the last few …

We present VOQC, the first fully verified optimizer for quantum circuits, written using the Coq
proof assistant. Quantum circuits are expressed as programs in a simple, low-level language …

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 …

Quantum circuit compilation comprises many computationally hard reasoning tasks that lie
inside# P and its decision counterpart in PP. The classical simulation of universal quantum …

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

Quantum computing promises substantial speedups by exploiting quantum mechanical
phenomena such as superposition and entanglement. Corresponding design methods …

Multiple Valued Logic: Concepts and Representations begins with a survey of the use
ofmultiple-valued logic in several modern application areas including electronic design …

As state-of-the-art quantum computers are capable of running increasingly complex
algorithms, the need for automated methods to design and test potential applications rises …

Reversible computation is a heavily investigated emerging technology due to its promising
characteristics in low-power design, its application in quantum computations, and several …