Entailment Relations on Distributions. - John van de Wetering (SLPCS@QPL, 2016)

Ordering information on distributions. - John van de Wetering (CoRR, 2017)

Quantum Theory is a Quasi-stochastic Process Theory. - John van de Wetering (QPL, 2017)

Pure Maps between Euclidean Jordan Algebras. - Abraham Westerbaan; Bas Westerbaan; John van de Wetering (QPL, 2018)

An effect-theoretic reconstruction of quantum theory. - John van de Wetering (Compositionality, 2019)

PyZX: Large Scale Automated Diagrammatic Reasoning. - Aleks Kissinger; John van de Wetering (QPL, 2019)

A characterization of ordered abstract probabilities. - Abraham Westerbaan; Bas Westerbaan; John van de Wetering (CoRR, 2019)

Universal MBQC with generalised parity-phase interactions and Pauli measurements. - Aleks Kissinger; John van de Wetering (Quantum, 2019)

A characterisation of ordered abstract probabilities. - Abraham Westerbaan; Bas Westerbaan; John van de Wetering (LICS, 2020)

Dichotomy between deterministic and probabilistic models in countably additive effectus theory. - Kenta Cho 002; Bas Westerbaan; John van de Wetering (QPL, 2020)

Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus. - Louis Lemonnier; John van de Wetering; Aleks Kissinger (QPL, 2020)

Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. - Ross Duncan; Aleks Kissinger; Simon Perdrix; John van de Wetering (Quantum, 2020)

The three types of normal sequential effect algebras. - Abraham Westerbaan; Bas Westerbaan; John van de Wetering (Quantum, 2020)

A Categorical Construction of the Real Unit Interval. - John van de Wetering (ACT, 2021)

There and back again: A circuit extraction tale. - Miriam Backens; Hector Miller-Bakewell; Giovanni de Felice; Leo Lobski; John van de Wetering (Quantum, 2021)

Circuit Extraction for ZX-Diagrams Can Be #P-Hard. - Niel de Beaudrap; Aleks Kissinger; John van de Wetering (ICALP, 2022)

Constructing All Qutrit Controlled Clifford+T gates in Clifford+T. - Lia Yeh; John van de Wetering (RC, 2022)

Qutrit Metaplectic Gates Are a Subset of Clifford+T. - Andrew N. Glaudell; Neil J. Ross; John van de Wetering; Lia Yeh (TQC, 2022)

Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions. - Aleks Kissinger; John van de Wetering; Renaud Vilmart (TQC, 2022)

Building Qutrit Diagonal Gates from Phase Gadgets. - John van de Wetering; Lia Yeh (QPL, 2022)

Completeness of the ZH-calculus. - Miriam Backens; Aleks Kissinger; Hector Miller-Bakewell; John van de Wetering; Sal Wolffs (Compositionality, 2023)

Picturing counting reductions with the ZH-calculus. - Tuomas Laakkonen; Konstantinos Meichanetzidis; John van de Wetering (QPL, 2023)

The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification. - Boldizsár Poór; Robert I. Booth; Titouan Carette; John van de Wetering; Lia Yeh (QPL, 2023)

The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality. - Patrick Roy; John van de Wetering; Lia Yeh (QPL, 2023)

Optimising T-count is NP-hard. - John van de Wetering; Matt Amy (CoRR, 2023)

A Graphical #SAT Algorithm for Formulae with Small Clause Density. - Tuomas Laakkonen; Konstantinos Meichanetzidis; John van de Wetering (QPL, 2024)

Scalable Spider Nests (...Or How to Graphically Grok Transversal Non-Clifford Gates). - Aleks Kissinger; John van de Wetering (QPL, 2024)

Exact Synthesis of Multiqutrit Clifford-Cyclotomic Circuits. - Andrew N. Glaudell; Neil J. Ross; John van de Wetering; Lia Yeh (QPL, 2024)

Quantum circuit optimization with AlphaTensor. - Francisco J. R. Ruiz; Tuomas Laakkonen; Johannes Bausch; Matej Balog; Mohammadamin Barekatain; Francisco J. H. Heras; Alexander Novikov 001; Nathan Fitzpatrick; Bernardino Romera-Paredes; John van de Wetering; Alhussein Fawzi; Konstantinos Meichanetzidis; et al. (Nat. Mac. Intell., 2025)

A Complete and Natural Rule Set for Multi-Qutrit Clifford Circuits. - Sarah Meng Li; Michele Mosca; Neil J. Ross; John van de Wetering; Yuming Zhao (CoRR, 2025)