


default search action
19th QPL 2022: Oxford, UK
- Stefano Gogioso, Matty Hoban:
Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022. EPTCS 394, 2023 - Masanao Ozawa:
Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory. 1-12 - Xiaoning Bian, Peter Selinger:
Generators and Relations for 2-Qubit Clifford+T Operators. 13-28 - Korbinian Staudacher, Tobias Guggemos, Sophia Grundner-Culemann, Wolfgang Gehrke:
Reducing 2-QuBit Gate Count for ZX-Calculus based Quantum Circuit Optimization. 29-45 - John van de Wetering, Lia Yeh:
Building Qutrit Diagonal Gates from Phase Gadgets. 46-65 - Tommy McElvanney, Miriam Backens
:
Complete Flow-Preserving Rewrite Rules for MBQC Patterns with Pauli Measurements. 66-82 - Giovanni de Felice, Bob Coecke:
Quantum Linear Optics via String Diagrams. 83-100 - Isaac Friend
, Aleks Kissinger:
Identification of Causal Influences in Quantum Processes. 101-115 - Arianne Meijer-van de Griend
, Ross Duncan:
Architecture-Aware Synthesis of Phase Polynomials for NISQ Devices. 116-140 - Agustín Borgna
, Rafael Romero
:
Encoding High-level Quantum Programs as SZX-diagrams. 141-169 - Kartik Singhal
, Kesha Hietala, Sarah Marshall, Robert Rand
:
Q# as a Quantum Algorithmic Language. 170-191 - Pablo Andrés-Martínez, Chris Heunen, Robin Kaarsgaard:
Universal Properties of Partial Quantum Maps. 192-207 - Daphne Wang, Mehrnoosh Sadrzadeh:
The Causal Structure of Semantic Ambiguities. 208-220 - Viet Pham Ngoc, David Tuckey, Herbert Wiklicky:
Tunable Quantum Neural Networks in the QPAC-Learning Framework. 221-235 - Razin A. Shaikh
, Quanlong Wang, Richie Yeung:
How to Sum and Exponentiate Hamiltonians in ZXW Calculus. 236-261 - Tobias Stollenwerk, Stuart Hadfield
:
Diagrammatic Analysis for Parameterized Quantum Circuits. 262-301 - Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger:
A biset-enriched categorical model for Proto-Quipper with dynamic lifting. 302-342 - Matthew Amy, Owen Bennett-Gibbs, Neil J. Ross:
Symbolic Synthesis of Clifford Circuits and Beyond. 343-362 - Arianne Meijer-van de Griend
, Sarah Meng Li:
Dynamic Qubit Routing with CNOT Circuit Synthesis for Quantum Compilation. 363-399 - Sam Staton, Ned Summers:
Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras. 400-414 - Stefano Gogioso, Richie Yeung:
Annealing Optimisation of Mixed ZX Phase Circuits. 415-431 - Stefano Gogioso:
Finite-dimensional Quantum Observables are the Special Symmetric Dagger-Frobenius Algebras of CP Maps. 432-441

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.