John van de Wetering

34 papers A* 2C 1Journal 14Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	A Complete and Natural Rule Set for Multi-Qutrit Clifford Circuits. QPL Sarah Meng Li, Michele Mosca, Neil J. Ross, John van de Wetering, Yuming Zhao
2025	J	`jnl`	Optimal compilation of parametrised quantum circuits. Quantum John van de Wetering, Richie Yeung, Tuomas Laakkonen, Aleks Kissinger
2025	J	`jnl`	Quantum circuit optimization with AlphaTensor. Nat. Mac. Intell. Francisco J. R. Ruiz, Tuomas Laakkonen, Johannes Bausch, Matej Balog, Mohammadamin Barekatain, Francisco J. H. Heras, Alexander Novikov, Nathan Fitzpatrick, Bernardino Romera-Paredes, John van de Wetering, Alhussein Fawzi, Konstantinos Meichanetzidis, Pushmeet Kohli
2024	—	`conf`	A Graphical #SAT Algorithm for Formulae with Small Clause Density. QPL Tuomas Laakkonen, Konstantinos Meichanetzidis, John van de Wetering
2024	—	`conf`	Exact Synthesis of Multiqutrit Clifford-Cyclotomic Circuits. QPL Andrew N. Glaudell, Neil J. Ross, John van de Wetering, Lia Yeh
2024	J	`jnl`	Quantum Circuit Optimization with AlphaTensor. CoRR Francisco J. R. Ruiz, Tuomas Laakkonen, Johannes Bausch, Matej Balog, Mohammadamin Barekatain, Francisco J. H. Heras, Alexander Novikov, Nathan Fitzpatrick, Bernardino Romera-Paredes, John van de Wetering, Alhussein Fawzi, Konstantinos Meichanetzidis, Pushmeet Kohli
2024	—	`conf`	Scalable Spider Nests (...Or How to Graphically Grok Transversal Non-Clifford Gates). QPL Aleks Kissinger, John van de Wetering
2023	J	`jnl`	Completeness of the ZH-calculus. Compositionality Miriam Backens, Aleks Kissinger, Hector Miller-Bakewell, John van de Wetering, Sal Wolffs
2023	J	`jnl`	Optimising T-count is NP-hard. CoRR John van de Wetering, Matt Amy
2023	—	`conf`	Picturing counting reductions with the ZH-calculus. QPL Tuomas Laakkonen, Konstantinos Meichanetzidis, John van de Wetering
2023	—	`conf`	The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality. QPL Patrick Roy, John van de Wetering, Lia Yeh
2023	—	`conf`	The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification. QPL Boldizsár Poór, Robert I. Booth, Titouan Carette, John van de Wetering, Lia Yeh
2022	—	`conf`	Building Qutrit Diagonal Gates from Phase Gadgets. QPL John van de Wetering, Lia Yeh
2022	A*	`conf`	Circuit Extraction for ZX-Diagrams Can Be #P-Hard. ICALP Niel de Beaudrap, Aleks Kissinger, John van de Wetering
2022	J	`jnl`	Circuit Extraction for ZX-diagrams can be #P-hard. CoRR Niel de Beaudrap, Aleks Kissinger, John van de Wetering
2022	—	`conf`	Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions. TQC Aleks Kissinger, John van de Wetering, Renaud Vilmart
2022	C	`conf`	Constructing All Qutrit Controlled Clifford+T gates in Clifford+T. RC Lia Yeh, John van de Wetering
2022	—	`conf`	Qutrit Metaplectic Gates Are a Subset of Clifford+T. TQC Andrew N. Glaudell, Neil J. Ross, John van de Wetering, Lia Yeh
2021	—	`conf`	A Categorical Construction of the Real Unit Interval. ACT John van de Wetering
2021	J	`jnl`	There and back again: A circuit extraction tale. Quantum Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice, Leo Lobski, John van de Wetering
2020	A*	`conf`	A characterisation of ordered abstract probabilities. LICS Abraham Westerbaan, Bas Westerbaan, John van de Wetering
2020	—	`conf`	Dichotomy between deterministic and probabilistic models in countably additive effectus theory. QPL Kenta Cho, Bas Westerbaan, John van de Wetering
2020	J	`jnl`	Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. Quantum Ross Duncan, Aleks Kissinger, Simon Perdrix, John van de Wetering
2020	—	`conf`	Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus. QPL Louis Lemonnier, John van de Wetering, Aleks Kissinger
2020	J	`jnl`	The three types of normal sequential effect algebras. Quantum Abraham Westerbaan, Bas Westerbaan, John van de Wetering
2019	J	`jnl`	A characterization of ordered abstract probabilities. CoRR Abraham Westerbaan, Bas Westerbaan, John van de Wetering
2019	J	`jnl`	An effect-theoretic reconstruction of quantum theory. Compositionality John van de Wetering
2019	J	`jnl`	Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. CoRR Ross Duncan, Aleks Kissinger, Simon Perdrix, John van de Wetering
2019	—	`conf`	PyZX: Large Scale Automated Diagrammatic Reasoning. QPL Aleks Kissinger, John van de Wetering
2019	J	`jnl`	Universal MBQC with generalised parity-phase interactions and Pauli measurements. Quantum Aleks Kissinger, John van de Wetering
2018	—	`conf`	Pure Maps between Euclidean Jordan Algebras. QPL Abraham Westerbaan, Bas Westerbaan, John van de Wetering
2017	J	`jnl`	Ordering information on distributions. CoRR John van de Wetering
2017	—	`conf`	Quantum Theory is a Quasi-stochastic Process Theory. QPL John van de Wetering
2016	—	`conf`	Entailment Relations on Distributions. SLPCS@QPL John van de Wetering