Quantum cloud computing is an emerging paradigm of computing that empowers quantum
applications and their deployment on quantum computing resources without the need for a …

With quantum computers promising advantages even in the near-term NISQ era, there is a
lively community that develops software and toolkits for the design of corresponding …

Tensor networks have been successfully applied in simulation of quantum physical systems
for decades. Recently, they have also been employed in classical simulation of quantum …

Automated reasoning techniques have been proven of immense importance in classical
applications like formal verification, circuit design and probabilistic inference. The domain of …

We define QSE, a symbolic execution framework for quantum programs by integrating
symbolic variables into quantum states and the outcomes of quantum measurements. The …

Checking whether two quantum circuits are equivalent is important for the design and
optimization of quantum-computer applications with real-world devices. We consider …

This paper presents a new data structure, called Weighted Context-Free-Language Ordered
BDDs (WCFLOBDDs), which are a hierarchically structured decision diagram, akin to …

This tutorial introduces quantum computing with a focus on the applicability of formal
methods in this relatively new domain. We describe quantum circuits and convey an …

We present QReach, the first reachability analysis tool for quantum Markov chains based on
decision diagrams CFLOBDD (presented at CAV 2023). QReach provides a novel …

Realizing the promised advantage of quantum computers over classical computers requires
both physical devices and corresponding methods for the design, verification and analysis of …