@inproceedings(AC1,
author = {Samson Abramsky and Bob Coecke},
year = {2004},
title = {A Categorical Semantics of Quantum Protocols},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004), 14-17 July 2004, Turku, Finland, Proceedings},
publisher = {{IEEE} Computer Society},
pages = {415--425},
doi = {10.1109/LICS.2004.1319636},
)
@inproceedings(Amy-2018,
author = {Matthew Amy},
year = {2018},
title = {Towards Large-scale Functional Verification of Universal Quantum Circuits},
booktitle = {Proceedings of QPL 2018},
pages = {1--21},
doi = {10.4204/EPTCS.287.1},
note = {{[arXiv:1901.09476]; see also https://github.com/meamy/feynman.}},
)
@article(Backens,
author = {Miriam Backens},
year = {2014},
title = {The {ZX}-calculus is complete for stabilizer quantum mechanics},
journal = {New Journal of Physics},
volume = {16},
number = {9},
pages = {093021},
doi = {10.1088/1367-2630/16/9/093021},
)
@inproceedings(Backens2,
author = {Miriam Backens},
year = {2014},
title = {The ZX-calculus is complete for the single-qubit Clifford+T group},
editor = {Bob Coecke and Ichiro Hasuo and Prakash Panangaden},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {172},
publisher = {Open Publishing Association},
pages = {293--303},
doi = {10.4204/EPTCS.172.21},
)
@inproceedings(EPTCS287.2,
author = {Miriam Backens and Aleks Kissinger},
year = {2019},
title = {ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity},
editor = {Peter Selinger and Giulio Chiribella},
booktitle = {{\rm Proceedings of the 15th International Conference on} Quantum Physics and Logic, {\rm Halifax, Canada, 3-7th June 2018}},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {287},
publisher = {Open Publishing Association},
pages = {23--42},
doi = {10.4204/EPTCS.287.2},
)
@inproceedings(nielbianwangtqc,
author = {Niel de Beaudrap and Xiaoning Bian and Quanlong Wang},
year = {2020},
title = {Fast and Effective Techniques for T-Count Reduction via Spider Nest Identities},
editor = {Steven T. Flammia},
booktitle = {15th Conference on the Theory of Quantum Computation, Communication and Cryptography, {TQC} 2020, June 9-12, 2020, Riga, Latvia},
series = {LIPIcs},
volume = {158},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
pages = {11:1--11:23},
doi = {10.4230/LIPIcs.TQC.2020.11},
)
@inproceedings(nielbianwang,
author = {Niel de Beaudrap and Xiaoning Bian and Quanlong Wang},
year = {2020},
title = {Techniques to Reduce $\pi/4$-Parity-Phase Circuits, Motivated by the ZX Calculus},
editor = {Bob Coecke and Matthew Leifer},
booktitle = {{\rm Proceedings 16th International Conference on} Quantum Physics and Logic, {\rm Chapman University, Orange, CA, USA., 10-14 June 2019}},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {318},
publisher = {Open Publishing Association},
pages = {131--149},
doi = {10.4204/EPTCS.318.9},
)
@article(Xiaoning,
author = {Xiaoning Bian},
title = {https://github.com/onestruggler/cx-ccx},
journal = {GitHub},
)
@inproceedings(galoiscircuits,
author = {Donny Cheung and Dmitri Maslov and Jimson Mathew and Dhiraj K. Pradhan},
year = {2008},
title = {On the Design and Optimization of a Quantum Polynomial-Time Attack on Elliptic Curve Cryptography},
editor = {Yasuhito Kawano and Michele Mosca},
booktitle = {Theory of Quantum Computation, Communication, and Cryptography, Third Workshop, {TQC} 2008, Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5106},
publisher = {Springer},
pages = {96--104},
doi = {10.1007/978-3-540-89304-2\_9},
)
@inproceedings(CockettComfort,
author = {J.R.B. Cockett and Cole Comfort},
year = {2019},
title = {The Category TOF},
editor = {Peter Selinger and Giulio Chiribella},
booktitle = {{\rm Proceedings of the 15th International Conference on} Quantum Physics and Logic, {\rm Halifax, Canada, 3-7th June 2018}},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {287},
publisher = {Open Publishing Association},
pages = {67--84},
doi = {10.4204/EPTCS.287.4},
)
@inproceedings(DBLP:conf/rc/CoeckeW18,
author = {B. Coecke and Q. Wang},
year = {2018},
title = {ZX-Rules for 2-Qubit {C}lifford+{T} Quantum Circuits},
booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings},
pages = {144--161},
doi = {10.1007/978-3-319-99498-7\_10},
)
@inproceedings(CD1,
author = {Bob Coecke and Ross Duncan},
year = {2008},
title = {Interacting Quantum Observables},
editor = {Luca Aceto and Damg{\r a}rd, Ivan and Leslie Ann Goldberg and Magn{\'{u}}s M. Halld{\'{o}}rsson and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Igor Walukiewicz},
booktitle = {Automata, Languages and Programming, 35th International Colloquium, {ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part {II} - Track {B:} Logic, Semantics, and Theory of Programming {\&} Track {C:} Security and Cryptography Foundations},
series = {Lecture Notes in Computer Science},
volume = {5126},
publisher = {Springer},
pages = {298--310},
doi = {10.1007/978-3-540-70583-3\_25},
)
@article(CD2,
author = {Bob Coecke and Ross Duncan},
year = {2011},
title = {Interacting quantum observables: categorical algebra and diagrammatics},
journal = {New Journal of Physics},
volume = {13},
number = {4},
pages = {043016},
doi = {10.1088/1367-2630/13/4/043016},
url = {http://stacks.iop.org/1367-2630/13/i=4/a=043016},
)
@inproceedings(CK,
author = {Bob Coecke and Aleks Kissinger},
year = {2010},
title = {The Compositional Structure of Multipartite Quantum Entanglement},
editor = {Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf der Heide and Paul G. Spirakis},
booktitle = {Automata, Languages and Programming, 37th International Colloquium, {ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6199},
publisher = {Springer},
pages = {297--308},
doi = {10.1007/978-3-642-14162-1\_25},
)
@book(CKbook,
author = {Bob Coecke and Aleks Kissinger},
year = {2017},
title = {Picturing quantum processes},
publisher = {Cambridge University Press},
doi = {10.1017/9781316219317},
)
@inproceedings(Amar,
author = {Amar Hadzihasanovic},
year = {2015},
title = {A Diagrammatic Axiomatisation for Qubit Entanglement},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015},
publisher = {{IEEE} Computer Society},
pages = {573--584},
doi = {10.1109/LICS.2015.59},
)
@phdthesis(hadzihasanovic2017algebra,
author = {Amar Hadzihasanovic},
year = {2017},
title = {The algebra of entanglement and the geometry of composition},
school = {University of Oxford},
)
@inproceedings(iwama2002transformation,
author = {Kazuo Iwama and Yahiko Kambayashi and Shigeru Yamashita},
year = {2002},
title = {Transformation rules for designing CNOT-based quantum circuits},
booktitle = {Proceedings of the 39th Design Automation Conference, {DAC} 2002, New Orleans, LA, USA, June 10-14, 2002},
publisher = {{ACM}},
pages = {419--424},
doi = {10.1145/513918.514026},
)
@inproceedings(jeandel2017complete,
author = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart},
year = {2018},
title = {A Complete Axiomatisation of the {ZX}-Calculus for {C}lifford+{T} Quantum Mechanics},
booktitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science},
series = {LICS '18},
publisher = {ACM},
address = {New York, NY, USA},
pages = {559--568},
doi = {10.1145/3209108.3209131},
)
@inproceedings(jeandel2018diagrammatic,
author = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart},
year = {2018},
title = {Diagrammatic Reasoning Beyond {C}lifford+{T} Quantum Mechanics},
booktitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science},
series = {LICS '18},
publisher = {ACM},
address = {New York, NY, USA},
pages = {569--578},
doi = {10.1145/3209108.3209139},
)
@article(Aleks2,
author = {Aleks Kissinger and Arianne Meijer{-}van de Griend},
year = {2020},
title = {{CNOT} circuit extraction for topologically-constrained quantum memories},
journal = {Quantum Inf. Comput.},
volume = {20},
number = {7{\&}8},
pages = {581--596},
doi = {10.26421/QIC20.7-8-4},
)
@inproceedings(Aleks3,
author = {Aleks Kissinger and John van de Wetering},
year = {2020},
title = {PyZX: Large Scale Automated Diagrammatic Reasoning},
editor = {Bob Coecke and Matthew Leifer},
booktitle = {{\rm Proceedings 16th International Conference on} Quantum Physics and Logic, {\rm Chapman University, Orange, CA, USA., 10-14 June 2019}},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {318},
publisher = {Open Publishing Association},
pages = {229--241},
doi = {10.4204/EPTCS.318.14},
)
@article(Aleks1,
author = {Aleks Kissinger and John van de Wetering},
year = {2020},
title = {Reducing the number of non-Clifford gates in quantum circuits},
journal = {Phys. Rev. A},
volume = {102},
pages = {022406},
doi = {10.1103/PhysRevA.102.022406},
)
@article(NRSCM-2018,
author = {Yunseong Nam and Neil J. Ross and Yuan Su and Andrew M. Childs and Dmitri Maslov},
year = {2018},
title = {Automated optimization of large quantum circuits with continuous parameters},
journal = {npj Quantum Information},
volume = {4},
number = {1},
pages = {23},
doi = {10.1038/s41534-018-0072-4},
note = {{[arXiv:1710.07345]}},
)
@article(ng2017universal,
author = {Kang Feng Ng and Quanlong Wang},
year = {2017},
title = {A universal completion of the {ZX}-calculus},
note = {\href{http://arxiv.org/abs/1706.09877}{arXiv:1706.09877}},
)
@article(qwangkfclifford2018,
author = {Kang Feng Ng and Quanlong Wang},
year = {2018},
title = {Completeness of the {ZX}-calculus for Pure Qubit Clifford+T Quantum Mechanics},
note = {\href{http://arxiv.org/abs/1801.07993}{arXiv:1801.07993}},
)
@inproceedings(toffoli,
author = {Tommaso Toffoli},
year = {1980},
title = {Reversible Computing},
editor = {J. W. de Bakker and Jan van Leeuwen},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
publisher = {Springer},
pages = {632--644},
doi = {10.1007/3-540-10003-2\_104},
)
@inproceedings(Vilmart2018,
author = {Renaud Vilmart},
year = {2019},
title = {A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--10},
doi = {10.1109/LICS.2019.8785765},
)
@phdthesis(QWthesis,
author = {Quanlong Wang},
year = {2018},
title = {Completeness of the {ZX}-calculus},
school = {University of Oxford},
)
@article(wangalg2020,
author = {Quanlong Wang},
year = {2020},
title = {An algebraic axiomatisation of ZX-calculus},
journal = {To appear in Proceedings 17th International Conference on Quantum Physics and Logic},
note = {\href{http://arxiv.org/abs/1911.06752}{arXiv:1911.06752}},
)
@unpublished(ZhangChen-2019,
author = {Fang {Zhang} and Jianxin {Chen}},
year = {2019},
title = {Optimizing T gates in Clifford+T circuit as $\pi/4$ rotations around Paulis},
note = {\href{http://arxiv.org/abs/1903.12456}{arXiv:1903.12456}},
)