130 citations · 267 across the 16 of their papers we have counts for
5 papers · 1 filter
Verification of Quantum Systems using Barrier Certificates
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
Various techniques have been used in recent years for verifying quantum computers, that is, for determining whether a quantum computer/system satisfies a given formal specification…
Matrix Representation of Arbitrarily Controlled Quantum Gates
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
Controlled operations allow for the entanglement of quantum registers. In particular, a controlled- gate allows an operation, , to be applied to the target register and entan…
Quantum Computer Benchmarking via Quantum Algorithms
Konstantinos Georgopoulos, Clive Emary, Paolo Zuliani
We present a framework that utilizes quantum algorithms, an architecture aware quantum noise model and an ideal simulator to benchmark quantum computers. The benchmark metrics high…
Modelling and Simulating the Noisy Behaviour of Near-term Quantum Computers
Konstantinos Georgopoulos, Clive Emary, Paolo Zuliani
Noise dominates every aspect of near-term quantum computers, rendering it exceedingly difficult to carry out even small computations. In this paper we are concerned with the modell…
A Comparison of Quantum Walk Implementations on NISQ Computers
Konstantinos Georgopoulos, Clive Emary, Paolo Zuliani
This paper explores two circuit approaches for quantum walks: the first consists of generalised controlled inversions, whereas the second one effectively replaces them with rotatio…