In the effort to develop useful quantum computers simulating quantum machines with
conventional computing resources is a key capability. Such simulations will always face …

Quantum software tools for a wide variety of design tasks on and across different levels of
abstraction are crucial in order to eventually realize useful quantum applications. This …

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 …

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 computation is a promising emerging technology which, compared to conventional
computation, allows for substantial speed-ups, eg, for integer factorization or database …

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

We introduce a new paradigm for analysing and finding bugs in quantum circuits. In our
approach, the problem is given by a ‍triple {P} C {Q} and the question is whether, given a set …

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 …

Realizing a conceptual quantum algorithm on an actual physical device necessitates the
algorithm's quantum circuit description to undergo certain transformations in order to adhere …

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