151 citations · 431 across the 17 of their papers we have counts for
Showing 2020 · quant-phShow all
3 papers · 2 filters
quant-ph2020★ 29 cited
ZX-calculus for the working quantum computer scientist
John van de Wetering
The ZX-calculus is a graphical language for reasoning about quantum computation that has recently seen an increased usage in a variety of areas such as quantum circuit optimisation…
quant-ph2020★ 4 cited
The three types of normal sequential effect algebras
Abraham Westerbaan, Bas Westerbaan, John van de Wetering
A sequential effect algebra (SEA) is an effect algebra equipped with a sequential product operation modeled after the Lüders product on C*-algebras…
quant-ph2020★ 82 cited
There and back again: A circuit extraction tale
Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice +2
Translations between the quantum circuit model and the measurement-based one-way model are useful for verification and optimisation of quantum computations. They make crucial use o…