Login / Signup
QPL
2007
2013
2017
2023
2007
2023
Keyphrases
Publications
2023
Alex Townsend-Teague
,
Julio Carlos Magdalena de la Fuente
,
Markus S. Kesselring
Floquetifying the Colour Code.
QPL
(2023)
Howard Barnum
,
Matthew A. Graydon
,
Alexander Wilce
Locally Tomographic Shadows (Extended Abstract).
QPL
(2023)
Giovanni de Felice
,
Razin A. Shaikh
,
Boldizsár Poór
,
Lia Yeh
,
Quanlong Wang
,
Bob Coecke
Light-Matter Interaction in the ZXW Calculus.
QPL
(2023)
Matthew Amy
Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes.
QPL
(2023)
Boldizsár Poór
,
Robert I. Booth
,
Titouan Carette
,
John van de Wetering
,
Lia Yeh
The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification.
QPL
(2023)
Tommy McElvanney
,
Miriam Backens
Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation.
QPL
(2023)
Xiaoning Bian
,
Peter Selinger
Generators and Relations for 3-Qubit Clifford+CS Operators.
QPL
(2023)
volume 384, 2023
Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023.
QPL
384 (2023)
2022
Arianne Meijer-van de Griend
,
Ross Duncan
Architecture-Aware Synthesis of Phase Polynomials for NISQ Devices.
QPL
(2022)
Stefano Gogioso
,
Richie Yeung
Annealing Optimisation of Mixed ZX Phase Circuits.
QPL
(2022)
Masanao Ozawa
Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory.
QPL
(2022)
Tobias Stollenwerk
,
Stuart Hadfield
Diagrammatic Analysis for Parameterized Quantum Circuits.
QPL
(2022)
Viet Pham Ngoc
,
David Tuckey
,
Herbert Wiklicky
Tunable Quantum Neural Networks in the QPAC-Learning Framework.
QPL
(2022)
Xiaoning Bian
,
Peter Selinger
Generators and Relations for 2-Qubit Clifford+T Operators.
QPL
(2022)
Tommy McElvanney
,
Miriam Backens
Complete Flow-Preserving Rewrite Rules for MBQC Patterns with Pauli Measurements.
QPL
(2022)
Arianne Meijer-van de Griend
,
Sarah Meng Li
Dynamic Qubit Routing with CNOT Circuit Synthesis for Quantum Compilation.
QPL
(2022)
Matthew Amy
,
Owen Bennett-Gibbs
,
Neil J. Ross
Symbolic Synthesis of Clifford Circuits and Beyond.
QPL
(2022)
Razin A. Shaikh
,
Quanlong Wang
,
Richie Yeung
How to Sum and Exponentiate Hamiltonians in ZXW Calculus.
QPL
(2022)
John van de Wetering
,
Lia Yeh
Building Qutrit Diagonal Gates from Phase Gadgets.
QPL
(2022)
Stefano Gogioso
Finite-dimensional Quantum Observables are the Special Symmetric Dagger-Frobenius Algebras of CP Maps.
QPL
(2022)
2021
James Hefford
,
Stefano Gogioso
CPM Categories for Galois Extensions.
QPL
(2021)
Titouan Carette
,
Yohann D'Anello
,
Simon Perdrix
Quantum Algorithms and Oracles with the Scalable ZX-calculus.
QPL
(2021)
Alexis Toumi
,
Richie Yeung
,
Giovanni de Felice
Diagrammatic Differentiation for Quantum Machine Learning.
QPL
(2021)
Justin Makary
,
Neil J. Ross
,
Peter Selinger
Generators and Relations for Real Stabilizer Operators.
QPL
(2021)
Sarah Meng Li
,
Neil J. Ross
,
Peter Selinger
(Z[1/2]).
QPL
(2021)
Xiaoning Bian
,
Peter Selinger
(Z[½, i]).
QPL
(2021)
Will Simmons
Relating Measurement Patterns to Circuits via Pauli Flow.
QPL
(2021)
Matt Wilson
,
Giulio Chiribella
Causality in higher order process theories.
QPL
(2021)
Arthur J. Parzygnat
Conditional distributions for quantum systems.
QPL
(2021)
Beata Zjawin
,
Elie Wolfe
,
Robert W. Spekkens
Restricted Hidden Cardinality Constraints in Causal Models.
QPL
(2021)
Wesley Fussner
,
Gavin St. John
Negative Translations of Orthomodular Lattices and Their Logic.
QPL
(2021)
Chris Heunen
,
Robin Kaarsgaard
Bennett and Stinespring, Together at Last.
QPL
(2021)
volume 343, 2021
Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021.
QPL
343 (2021)
volume 340, 2021
Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020.
QPL
340 (2021)
2020
Louis Lemonnier
,
John van de Wetering
,
Aleks Kissinger
Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus.
QPL
(2020)
Kenta Cho
,
Bas Westerbaan
,
John van de Wetering
Dichotomy between deterministic and probabilistic models in countably additive effectus theory.
QPL
(2020)
Sacha Huriot-Tattegrain
,
Mehdi Mhalla
Contextuality and Expressivity of Non-locality.
QPL
(2020)
Quanlong Wang
An Algebraic Axiomatisation of ZX-calculus.
QPL
(2020)
Niel de Beaudrap
Well-tempered ZX and ZH Calculi.
QPL
(2020)
James Hefford
,
Stefano Gogioso
Hyper-decoherence in Density Hypercubes.
QPL
(2020)
Matt Wilson
,
Giulio Chiribella
A Diagrammatic Approach to Information Transmission in Generalised Switches.
QPL
(2020)
Niel de Beaudrap
,
Aleks Kissinger
,
Konstantinos Meichanetzidis
Tensor Network Rewriting Strategies for Satisfiability and Counting.
QPL
(2020)
Andre Kornell
,
Bert Lindenhovius
,
Michael W. Mislove
Quantum CPOs.
QPL
(2020)
Anthony Munson
,
Bob Coecke
,
Quanlong Wang
AND-gates in ZX-calculus: Spider Nest Identities and QBC-completeness.
QPL
(2020)
Ämin Baumeler
,
Eleftherios Tselentis
Equivalence of grandfather and information antinomy under intervention.
QPL
(2020)
Adriana D. Correia
,
Henk T. C. Stoof
,
Michael Moortgat
Putting a Spin on Language: A Quantum Interpretation of Unary Connectives for Linguistic Applications.
QPL
(2020)
Robert Rand
,
Aarthi Sundaram
,
Kartik Singhal
,
Brad Lackey
Gottesman Types for Quantum Programs.
QPL
(2020)
Konstantinos Meichanetzidis
,
Stefano Gogioso
,
Giovanni de Felice
,
Nicolò Chiappori
,
Alexis Toumi
,
Bob Coecke
Quantum Natural Language Processing on Near-Term Quantum Computers.
QPL
(2020)
Cole Comfort
The ZX& calculus: A complete graphical calculus for classical circuits using spiders.
QPL
(2020)
volume 318, 2020
Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019.
QPL
318 (2020)