130 citations · 267 across the 16 of their papers we have counts for
3 papers · 1 filter
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…
Formal Verification of Quantum Programs: Theory, Tools and Challenges
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
Over the past 27 years, quantum computing has seen a huge rise in interest from both academia and industry. At the current rate, quantum computers are growing in size rapidly backe…
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…