29 citations · 47 across the 4 of their papers we have counts for
12 papers
Quantum Theory from Principles, Quantum Software from Diagrams
John van de Wetering
This thesis consists of two parts. The first part is about how quantum theory can be recovered from first principles, while the second part is about the application of diagrammatic…
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…
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…
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…
A characterisation of ordered abstract probabilities
Abraham Westerbaan, Bas Westerbaan, John van de Wetering
In computer science, especially when dealing with quantum computing or other non-standard models of computation, basic notions in probability theory like "a predicate" vary wildly.…
Commutativity in Jordan Operator Algebras
John van de Wetering
While Jordan algebras are commutative, their non-associativity makes it so that the Jordan product operators do not necessarily commute. When the product operators of two elements…