| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tuomas Laakkonen, Konstantinos Meichanetzidis, John van de Wetering |
Picturing counting reductions with the ZH-calculus.  |
QPL  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Townsend-Teague, Julio Carlos Magdalena de la Fuente, Markus S. Kesselring |
Floquetifying the Colour Code. |
QPL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommy McElvanney, Miriam Backens |
Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation. |
QPL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Amy |
Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes. |
QPL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoning Bian, Peter Selinger |
Generators and Relations for 3-Qubit Clifford+CS Operators. |
QPL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Gogioso, Matty Hoban (eds.) |
Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022. |
QPL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Gejza Jenca, Bert Lindenhovius |
Quantum Suplattices. |
QPL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiaxin Huang 0011, Sarah Meng Li, Lia Yeh, Aleks Kissinger, Michele Mosca, Michael Vasmer |
Graphical CSS Code Transformation Using ZX Calculus. |
QPL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewan Murphy, Aleks Kissinger |
Global Synthesis of CNOT Circuits with Holes. |
QPL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kin Ian Lo, Mehrnoosh Sadrzadeh, Shane Mansfield |
Generalised Winograd Schema and its Contextuality. |
QPL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Barnum, Matthew A. Graydon, Alexander Wilce |
Locally Tomographic Shadows (Extended Abstract). |
QPL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shane Mansfield, Benoît Valiron, Vladimir Zamdzhiev (eds.) |
Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023. |
QPL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Cockett, Jean-Simon Pacaud Lemay |
Moore-Penrose Dagger Categories. |
QPL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Roy, John van de Wetering, Lia Yeh |
The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality. |
QPL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daphne Wang, Mehrnoosh Sadrzadeh |
The Causal Structure of Semantic Ambiguities. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Amy, Owen Bennett-Gibbs, Neil J. Ross |
Symbolic Synthesis of Clifford Circuits and Beyond. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | John van de Wetering, Lia Yeh |
Building Qutrit Diagonal Gates from Phase Gadgets. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Fu 0001, Kohei Kishida, Neil J. Ross, Peter Selinger |
A biset-enriched categorical model for Proto-Quipper with dynamic lifting. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kartik Singhal 0002, Kesha Hietala, Sarah Marshall, Robert Rand 0001 |
Q# as a Quantum Algorithmic Language. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Viet Pham Ngoc, David Tuckey, Herbert Wiklicky |
Tunable Quantum Neural Networks in the QPAC-Learning Framework. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommy McElvanney, Miriam Backens |
Complete Flow-Preserving Rewrite Rules for MBQC Patterns with Pauli Measurements. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Arianne Meijer-van de Griend, Sarah Meng Li |
Dynamic Qubit Routing with CNOT Circuit Synthesis for Quantum Compilation. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Agustín Borgna, Rafael Romero 0002 |
Encoding High-level Quantum Programs as SZX-diagrams. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Stollenwerk, Stuart Hadfield |
Diagrammatic Analysis for Parameterized Quantum Circuits. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Arianne Meijer-van de Griend, Ross Duncan |
Architecture-Aware Synthesis of Phase Polynomials for NISQ Devices. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Masanao Ozawa |
Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Gogioso, Richie Yeung |
Annealing Optimisation of Mixed ZX Phase Circuits. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Razin A. Shaikh, Quanlong Wang, Richie Yeung |
How to Sum and Exponentiate Hamiltonians in ZXW Calculus. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Andrés-Martínez, Chris Heunen, Robin Kaarsgaard |
Universal Properties of Partial Quantum Maps. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Korbinian Staudacher, Tobias Guggemos, Sophia Grundner-Culemann, Wolfgang Gehrke |
Reducing 2-QuBit Gate Count for ZX-Calculus based Quantum Circuit Optimization. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Staton, Ned Summers |
Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Isaac Friend, Aleks Kissinger |
Identification of Causal Influences in Quantum Processes. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni de Felice, Bob Coecke |
Quantum Linear Optics via String Diagrams. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Gogioso |
Finite-dimensional Quantum Observables are the Special Symmetric Dagger-Frobenius Algebras of CP Maps. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoning Bian, Peter Selinger |
Generators and Relations for 2-Qubit Clifford+T Operators. |
QPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Wilson, Giulio Chiribella |
Causality in higher order process theories. |
QPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Heunen, Robin Kaarsgaard |
Bennett and Stinespring, Together at Last. |
QPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | |
The Sheaf-Theoretic Structure of Definite Causality. |
QPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoning Bian, Peter Selinger |
Generators and relations for Un(Z[½, i]). |
QPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Valiron, Shane Mansfield, Pablo Arrighi, Prakash Panangaden (eds.) |
Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020. |
QPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah Meng Li, Neil J. Ross, Peter Selinger |
Generators and Relations for the Group On(Z[1/2]). |
QPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Titouan Carette, Yohann D'Anello, Simon Perdrix |
Quantum Algorithms and Oracles with the Scalable ZX-calculus. |
QPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Heunen, Miriam Backens (eds.) |
Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021. |
QPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | James Hefford, Stefano Gogioso |
CPM Categories for Galois Extensions. |
QPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Toumi, Richie Yeung, Giovanni de Felice |
Diagrammatic Differentiation for Quantum Machine Learning. |
QPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wesley Fussner, Gavin St. John |
Negative Translations of Orthomodular Lattices and Their Logic. |
QPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Beata Zjawin, Elie Wolfe, Robert W. Spekkens |
Restricted Hidden Cardinality Constraints in Causal Models. |
QPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Will Simmons |
Relating Measurement Patterns to Circuits via Pauli Flow. |
QPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur J. Parzygnat |
Conditional distributions for quantum systems. |
QPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin Makary, Neil J. Ross, Peter Selinger |
Generators and Relations for Real Stabilizer Operators. |
QPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Niel de Beaudrap |
Well-tempered ZX and ZH Calculi. |
QPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Cole Comfort |
The ZX& calculus: A complete graphical calculus for classical circuits using spiders. |
QPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Wilson, Giulio Chiribella |
A Diagrammatic Approach to Information Transmission in Generalised Switches. |
QPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Rand 0001, Aarthi Sundaram, Kartik Singhal 0002, Brad Lackey |
Gottesman Types for Quantum Programs. |
QPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis Lemonnier, John van de Wetering, Aleks Kissinger |
Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus. |
QPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Munson, Bob Coecke, Quanlong Wang |
AND-gates in ZX-calculus: Spider Nest Identities and QBC-completeness. |
QPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andre Kornell, Bert Lindenhovius, Michael W. Mislove |
Quantum CPOs. |
QPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Quanlong Wang |
An Algebraic Axiomatisation of ZX-calculus. |
QPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sacha Huriot-Tattegrain, Mehdi Mhalla |
Contextuality and Expressivity of Non-locality. |
QPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | James Hefford, Stefano Gogioso |
Hyper-decoherence in Density Hypercubes. |
QPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Pinzani, Stefano Gogioso |
Giving Operational Meaning to the Superposition of Causal Orders. |
QPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Niel de Beaudrap, Aleks Kissinger, Konstantinos Meichanetzidis |
Tensor Network Rewriting Strategies for Satisfiability and Counting. |
QPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenta Cho 0002, Bas Westerbaan, John van de Wetering |
Dichotomy between deterministic and probabilistic models in countably additive effectus theory. |
QPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Bob Coecke, Matthew Leifer (eds.) |
Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019. |
QPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kartik Singhal 0002, John H. Reppy |
Quantum Hoare Type Theory: Extended Abstract. |
QPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ämin Baumeler, Eleftherios Tselentis |
Equivalence of grandfather and information antinomy under intervention. |
QPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Meichanetzidis, Stefano Gogioso, Giovanni de Felice, Nicolò Chiappori, Alexis Toumi, Bob Coecke |
Quantum Natural Language Processing on Near-Term Quantum Computers. |
QPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Gheorghiu, Chris Heunen |
Ontological models for quantum theory as functors. |
QPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Octavio Zapata |
Effectus of Quantum Probability on Relational Structures. |
QPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Cowtan, Silas Dilkes, Ross Duncan, Will Simmons, Seyon Sivarajah |
Phase Gadget Synthesis for Shallow Circuits. |
QPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hector Miller-Bakewell |
Finite Verification of Infinite Families of Diagram Equations. |
QPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Furber |
Scott Continuity in Generalized Probabilistic Theories. |
QPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Tull |
Deriving Dagger Compactness. |
QPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tejas Bhojraj |
Generating Randomness from a Computable, Non-random Sequence of Qubits. |
QPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Soeken |
Using ZDDs in the mapping of quantum circuits. |
QPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Collins, Ross Duncan |
Hopf-Frobenius Algebras and a Simpler Drinfeld Double. |
QPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Niel de Beaudrap, Ross Duncan, Dominic Horsman, Simon Perdrix |
Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms. |
QPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Niel de Beaudrap, Xiaoning Bian, Quanlong Wang |
Techniques to Reduce (π/4)-Parity-Phase Circuits, Motivated by the ZX Calculus. |
QPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sivert Aasnæss |
Cohomology and the Algebraic Structure of Contextuality in Measurement Based Quantum Computation. |
QPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Selinger, Giulio Chiribella (eds.) |
Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018. |
QPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Simon Pacaud Lemay |
Why FHilb is Not an Interesting (Co)Differential Category. |
QPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleks Kissinger, John van de Wetering |
PyZX: Large Scale Automated Diagrammatic Reasoning. |
QPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulia Meuli, Mathias Soeken, Martin Roetteler, Giovanni De Micheli |
ROS: Resource-constrained Oracle Synthesis for Quantum Computers. |
QPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Rand 0001, Jennifer Paykin, Dong-Ho Lee, Steve Zdancewic |
ReQWIRE: Reasoning about Reversible Quantum Circuits. |
QPL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Musto, Jamie Vicary |
Orthogonality for Quantum Latin Isometry Squares. |
QPL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Miriam Backens, Aleks Kissinger |
ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity. |
QPL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bob Coecke, Aleks Kissinger (eds.) |
Proceedings 14th International Conference on Quantum Physics and Logic, QPL 2017, Nijmegen, The Netherlands, 3-7 July 2017. |
QPL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Fagan, Ross Duncan |
Optimising Clifford Circuits with Quantomatic. |
QPL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Spencer Breiner, Amir Kalev, Carl A. Miller |
Parallel Self-Testing of the GHZ State with a Proof by Diagrams. |
QPL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0001 |
Lower and Upper Conditioning in Quantum Bayesian Theory. |
QPL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Cole Comfort, J. Robin B. Cockett |
The category TOF. |
QPL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Gogioso, Dan Marsden, Bob Coecke |
Symmetric Monoidal Structure with Local Character is a Property. |
QPL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Gogioso |
Higher-order CPM Constructions. |
QPL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuriya Nurgalieva, Lídia del Rio |
Inadequacy of modal logic in quantum settings. |
QPL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Huot, Sam Staton |
Universal Properties in Quantum Theory. |
QPL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Martti Karvonen |
Categories of empirical models. |
QPL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Renaud Vilmart |
A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond. |
QPL |
2018 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license