activity
20242026
most citedExact quantum decision diagrams with scaling guarantees for Clifford+ circuits and beyond

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

quant-ph2024

Advancing Quantum Computing with Formal Methods

Arend-Jan Quist, Jingyi Mei, Tim Coopmans +1

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 understandi…

quant-ph2024

Trade-offs between classical and quantum space using spooky pebbling

Arend-Jan Quist, Alfons Laarman

Pebble games are used to study space/time trade-offs. Recently, spooky pebble games were introduced to study classical space / quantum space / time trade-offs for simulation of cla…