{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T20:20:48Z","timestamp":1775161248666,"version":"3.50.1"},"reference-count":19,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.384.1","type":"journal-article","created":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T06:51:47Z","timestamp":1692773507000},"page":"1-19","source":"Crossref","is-referenced-by-count":4,"title":["Graphical CSS Code Transformation Using ZX Calculus"],"prefix":"10.4204","volume":"384","author":[{"given":"Jiaxin","family":"Huang","sequence":"first","affiliation":[{"name":"Dept. of Computer Science, Hong Kong University of Science and Technology"}]},{"given":"Sarah Meng","family":"Li","sequence":"additional","affiliation":[{"name":"Institute for Quantum Computing, Dept. of Combinatorics & Optimization, University of Waterloo"}]},{"given":"Lia","family":"Yeh","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science, University of Oxford, Quantinuum"}]},{"given":"Aleks","family":"Kissinger","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science, University of Oxford"}]},{"given":"Michele","family":"Mosca","sequence":"additional","affiliation":[{"name":"Institute for Quantum Computing, Dept. of Combinatorics & Optimization, University of Waterloo, Perimeter Institute for Theoretical Physics"}]},{"given":"Michael","family":"Vasmer","sequence":"additional","affiliation":[{"name":"Institute for Quantum Computing, University of Waterloo, Perimeter Institute for Theoretical Physics"}]}],"member":"2720","published-online":{"date-parts":[[2023,8,30]]},"reference":[{"issue":"5","key":"aaronson2004improved","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.70.052328","article-title":"Improved simulation of stabilizer circuits","volume":"70","author":"Aaronson","year":"2004","journal-title":"Physical Review A"},{"issue":"8","key":"anderson2014fault","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.113.080501","article-title":"Fault-tolerant conversion between the steane and reed-muller quantum codes","volume":"113","author":"Anderson","year":"2014","journal-title":"Physical Review Letters"},{"issue":"7779","key":"arute2019quantum","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1038\/s41586-019-1666-5","article-title":"Quantum supremacy using a programmable superconducting processor","volume":"574","author":"Arute","year":"2019","journal-title":"Nature"},{"issue":"9","key":"backensZXcalculusCompleteStabilizer2014","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/16\/9\/093021","article-title":"The ZX-calculus is complete for stabilizer quantum mechanics","volume":"16","author":"Backens","year":"2014","journal-title":"New Journal of Physics"},{"key":"bombin2006distillation","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.97.180501","article-title":"Topological quantum distillation","volume":"97","author":"Bomb\u00edn","year":"2006","journal-title":"Physical Review Letters"},{"key":"bombin2007nobraiding","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.98.160502","article-title":"Topological computation without braiding","volume":"98","author":"Bomb\u00edn","year":"2007","journal-title":"Physical Review Letters"},{"issue":"8","key":"bombinGaugeColorCodes2015","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/17\/8\/083002","article-title":"Gauge color codes: optimal transversal gates and gauge fixing in topological stabilizer codes","volume":"17","author":"Bomb\u00edn","year":"2015","journal-title":"New Journal of Physics"},{"key":"calderbank1996good","doi-asserted-by":"publisher","first-page":"1098","DOI":"10.1103\/PhysRevA.54.1098","article-title":"Good quantum error-correcting codes exist","volume":"54","author":"Calderbank","year":"1996","journal-title":"Physical Review A"},{"issue":"3","key":"calderbank1997quantum","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.78.405","article-title":"Quantum error correction and orthogonal geometry","volume":"78","author":"Calderbank","year":"1997","journal-title":"Physical Review Letters"},{"issue":"6","key":"cao2018potential","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1147\/JRD.2018.2888987","article-title":"Potential of quantum computing for drug discovery","volume":"62","author":"Cao","year":"2018","journal-title":"IBM Journal of Research and Development"},{"key":"CaretteT2019SZX","series-title":"Leibniz International Proceedings in Informatics (LIPIcs)","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.MFCS.2019.55","article-title":"SZX-calculus: scalable graphical quantum reasoning","volume-title":"44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)","volume":"138","author":"Carette","year":"2019"},{"key":"CodsiJ2022stabdecomp","volume-title":"Cutting-edge graphical stabiliser decompositions for classical simulation of quantum circuits","author":"Codsi","year":"2022"},{"key":"CoeckeB2008ZX","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-540-70583-3_25","article-title":"Interacting quantum observables","volume-title":"ICALP","author":"Coecke","year":"2008"},{"issue":"4","key":"CoeckeB2011interacting","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/13\/4\/043016","article-title":"Interacting quantum observables: categorical algebra and diagrammatics","volume":"13","author":"Coecke","year":"2011","journal-title":"New Journal of Physics"},{"key":"PQP","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91376-6_6","volume-title":"Picturing quantum processes","author":"Coecke","year":"2017"},{"key":"CoeckeWang2018deriveeuler","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-319-99498-7_10","article-title":"ZX-rules for 2-qubit Clifford+T quantum circuits","volume-title":"Reversible Computation","author":"Coecke","year":"2018"},{"key":"ColeO2022stabpauliexp","volume-title":"Quantum circuit optimisation through stabiliser reduction of Pauli exponentials","author":"Cole","year":"2022"},{"key":"cowtan2023css","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2301.13738","article-title":"CSS code surgery as a universal construction","author":"Cowtan","year":"2023","journal-title":"arXiv preprint arXiv:2301.13738"},{"key":"DuncanR2014verifying713","doi-asserted-by":"publisher","first-page":"33","DOI":"10.4204\/eptcs.171.4","article-title":"Verifying the Steane code with Quantomatic","volume":"171","author":"Duncan","year":"2014","journal-title":"Electronic Proceedings in Theoretical Computer Science"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T07:38:17Z","timestamp":1693813097000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2307.02437v2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,30]]},"references-count":19,"URL":"https:\/\/doi.org\/10.4204\/eptcs.384.1","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8,30]]}}}