Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tuomas Laakkonen, Konstantinos Meichanetzidis, John van de Wetering |
Picturing counting reductions with the ZH-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023., pp. 89-113, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alex Townsend-Teague, Julio Carlos Magdalena de la Fuente, Markus S. Kesselring |
Floquetifying the Colour Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023., pp. 265-303, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tommy McElvanney, Miriam Backens |
Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023., pp. 203-219, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023., pp. 20-46, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Amy |
Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023., pp. 127-141, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoning Bian, Peter Selinger |
Generators and Relations for 3-Qubit Clifford+CS Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023., pp. 114-126, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023., pp. 220-264, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gejza Jenca, Bert Lindenhovius |
Quantum Suplattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023., pp. 58-74, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023., pp. 1-19, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ewan Murphy, Aleks Kissinger |
Global Synthesis of CNOT Circuits with Holes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023., pp. 75-88, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kin Ian Lo, Mehrnoosh Sadrzadeh, Shane Mansfield |
Generalised Winograd Schema and its Contextuality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023., pp. 187-202, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Howard Barnum, Matthew A. Graydon, Alexander Wilce |
Locally Tomographic Shadows (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023., pp. 47-57, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Robin Cockett, Jean-Simon Pacaud Lemay |
Moore-Penrose Dagger Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023., pp. 171-186, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Roy, John van de Wetering, Lia Yeh |
The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023., pp. 142-170, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daphne Wang, Mehrnoosh Sadrzadeh |
The Causal Structure of Semantic Ambiguities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 208-220, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Amy, Owen Bennett-Gibbs, Neil J. Ross |
Symbolic Synthesis of Clifford Circuits and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 343-362, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | John van de Wetering, Lia Yeh |
Building Qutrit Diagonal Gates from Phase Gadgets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 46-65, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 302-342, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Kartik Singhal 0002, Kesha Hietala, Sarah Marshall, Robert Rand 0001 |
Q# as a Quantum Algorithmic Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 170-191, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Viet Pham Ngoc, David Tuckey, Herbert Wiklicky |
Tunable Quantum Neural Networks in the QPAC-Learning Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 221-235, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tommy McElvanney, Miriam Backens |
Complete Flow-Preserving Rewrite Rules for MBQC Patterns with Pauli Measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 66-82, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Arianne Meijer-van de Griend, Sarah Meng Li |
Dynamic Qubit Routing with CNOT Circuit Synthesis for Quantum Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 363-399, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Agustín Borgna, Rafael Romero 0002 |
Encoding High-level Quantum Programs as SZX-diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 141-169, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Stollenwerk, Stuart Hadfield |
Diagrammatic Analysis for Parameterized Quantum Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 262-301, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Arianne Meijer-van de Griend, Ross Duncan |
Architecture-Aware Synthesis of Phase Polynomials for NISQ Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 116-140, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Masanao Ozawa |
Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 1-12, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Gogioso, Richie Yeung |
Annealing Optimisation of Mixed ZX Phase Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 415-431, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Razin A. Shaikh, Quanlong Wang, Richie Yeung |
How to Sum and Exponentiate Hamiltonians in ZXW Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 236-261, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Andrés-Martínez, Chris Heunen, Robin Kaarsgaard |
Universal Properties of Partial Quantum Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 192-207, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 29-45, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 400-414, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Isaac Friend, Aleks Kissinger |
Identification of Causal Influences in Quantum Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 101-115, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni de Felice, Bob Coecke |
Quantum Linear Optics via String Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 83-100, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Gogioso |
Finite-dimensional Quantum Observables are the Special Symmetric Dagger-Frobenius Algebras of CP Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 432-441, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoning Bian, Peter Selinger |
Generators and Relations for 2-Qubit Clifford+T Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022., pp. 13-28, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Matt Wilson, Giulio Chiribella |
Causality in higher order process theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021., pp. 265-300, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Chris Heunen, Robin Kaarsgaard |
Bennett and Stinespring, Together at Last. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021., pp. 102-118, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
The Sheaf-Theoretic Structure of Definite Causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021., pp. 301-324, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoning Bian, Peter Selinger |
Generators and relations for Un(Z[½, i]). ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021., pp. 145-164, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Meng Li, Neil J. Ross, Peter Selinger |
Generators and Relations for the Group On(Z[1/2]). ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021., pp. 210-264, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Titouan Carette, Yohann D'Anello, Simon Perdrix |
Quantum Algorithms and Oracles with the Scalable ZX-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021., pp. 193-209, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | James Hefford, Stefano Gogioso |
CPM Categories for Galois Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021., pp. 165-192, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexis Toumi, Richie Yeung, Giovanni de Felice |
Diagrammatic Differentiation for Quantum Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021., pp. 132-144, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wesley Fussner, Gavin St. John |
Negative Translations of Orthomodular Lattices and Their Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021., pp. 37-49, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Beata Zjawin, Elie Wolfe, Robert W. Spekkens |
Restricted Hidden Cardinality Constraints in Causal Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021., pp. 119-131, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Will Simmons |
Relating Measurement Patterns to Circuits via Pauli Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021., pp. 50-101, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Arthur J. Parzygnat |
Conditional distributions for quantum systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021., pp. 1-13, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Justin Makary, Neil J. Ross, Peter Selinger |
Generators and Relations for Real Stabilizer Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021., pp. 14-36, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Niel de Beaudrap |
Well-tempered ZX and ZH Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020., pp. 13-45, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Cole Comfort |
The ZX& calculus: A complete graphical calculus for classical circuits using spiders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020., pp. 60-90, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matt Wilson, Giulio Chiribella |
A Diagrammatic Approach to Information Transmission in Generalised Switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020., pp. 333-348, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Robert Rand 0001, Aarthi Sundaram, Kartik Singhal 0002, Brad Lackey |
Gottesman Types for Quantum Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020., pp. 279-290, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020., pp. 188-212, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Munson, Bob Coecke, Quanlong Wang |
AND-gates in ZX-calculus: Spider Nest Identities and QBC-completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020., pp. 230-255, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andre Kornell, Bert Lindenhovius, Michael W. Mislove |
Quantum CPOs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020., pp. 174-187, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Quanlong Wang |
An Algebraic Axiomatisation of ZX-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020., pp. 303-332, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sacha Huriot-Tattegrain, Mehdi Mhalla |
Contextuality and Expressivity of Non-locality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020., pp. 160-173, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | James Hefford, Stefano Gogioso |
Hyper-decoherence in Density Hypercubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020., pp. 141-159, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Pinzani, Stefano Gogioso |
Giving Operational Meaning to the Superposition of Causal Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020., pp. 256-278, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Niel de Beaudrap, Aleks Kissinger, Konstantinos Meichanetzidis |
Tensor Network Rewriting Strategies for Satisfiability and Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020., pp. 46-59, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020., pp. 91-113, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020., pp. 114-140, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kartik Singhal 0002, John H. Reppy |
Quantum Hoare Type Theory: Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020., pp. 291-302, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ämin Baumeler, Eleftherios Tselentis |
Equivalence of grandfather and information antinomy under intervention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020., pp. 1-12, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020., pp. 213-229, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Gheorghiu, Chris Heunen |
Ontological models for quantum theory as functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019., pp. 196-212, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Octavio Zapata |
Effectus of Quantum Probability on Relational Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019., pp. 53-65, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Cowtan, Silas Dilkes, Ross Duncan, Will Simmons, Seyon Sivarajah |
Phase Gadget Synthesis for Shallow Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019., pp. 213-228, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hector Miller-Bakewell |
Finite Verification of Infinite Families of Diagram Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019., pp. 27-52, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Robert Furber |
Scott Continuity in Generalized Probabilistic Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019., pp. 66-84, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sean Tull |
Deriving Dagger Compactness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019., pp. 181-195, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tejas Bhojraj |
Generating Randomness from a Computable, Non-random Sequence of Qubits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019., pp. 1-12, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Soeken |
Using ZDDs in the mapping of quantum circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019., pp. 106-118, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Collins, Ross Duncan |
Hopf-Frobenius Algebras and a Simpler Drinfeld Double. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019., pp. 150-180, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019., pp. 85-105, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019., pp. 131-149, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sivert Aasnæss |
Cohomology and the Algebraic Structure of Contextuality in Measurement Based Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019., pp. 242-253, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Simon Pacaud Lemay |
Why FHilb is Not an Interesting (Co)Differential Category. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019., pp. 13-26, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aleks Kissinger, John van de Wetering |
PyZX: Large Scale Automated Diagrammatic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019., pp. 229-241, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giulia Meuli, Mathias Soeken, Martin Roetteler, Giovanni De Micheli |
ROS: Resource-constrained Oracle Synthesis for Quantum Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019., pp. 119-130, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Robert Rand 0001, Jennifer Paykin, Dong-Ho Lee, Steve Zdancewic |
ReQWIRE: Reasoning about Reversible Quantum Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018., pp. 299-312, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Musto, Jamie Vicary |
Orthogonality for Quantum Latin Isometry Squares. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018., pp. 253-266, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Miriam Backens, Aleks Kissinger |
ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018., pp. 23-42, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Fagan, Ross Duncan |
Optimising Clifford Circuits with Quantomatic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018., pp. 85-105, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018., pp. 43-66, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001 |
Lower and Upper Conditioning in Quantum Bayesian Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018., pp. 225-238, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Cole Comfort, J. Robin B. Cockett |
The category TOF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018., pp. 67-84, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Gogioso, Dan Marsden, Bob Coecke |
Symmetric Monoidal Structure with Local Character is a Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018., pp. 179-190, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Gogioso |
Higher-order CPM Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018., pp. 145-162, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nuriya Nurgalieva, Lídia del Rio |
Inadequacy of modal logic in quantum settings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018., pp. 267-297, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Huot, Sam Staton |
Universal Properties in Quantum Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018., pp. 213-223, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martti Karvonen |
Categories of empirical models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018., pp. 239-252, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Renaud Vilmart |
A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018., pp. 313-344, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|