{"id":"https://openalex.org/W4293370934","doi":"https://doi.org/10.1109/jetcas.2022.3202204","title":"Equivalence Checking of Quantum Circuits With the ZX-Calculus","display_name":"Equivalence Checking of Quantum Circuits With the ZX-Calculus","publication_year":2022,"publication_date":"2022-08-26","ids":{"openalex":"https://openalex.org/W4293370934","doi":"https://doi.org/10.1109/jetcas.2022.3202204"},"language":"en","primary_location":{"id":"doi:10.1109/jetcas.2022.3202204","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jetcas.2022.3202204","pdf_url":null,"source":{"id":"https://openalex.org/S142323794","display_name":"IEEE Journal on Emerging and Selected Topics in Circuits and Systems","issn_l":"2156-3357","issn":["2156-3357","2156-3365"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Journal on Emerging and Selected Topics in Circuits and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2208.12820","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048862133","display_name":"Tom Peham","orcid":"https://orcid.org/0000-0003-3434-7881"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tom Peham","raw_affiliation_strings":["Chair for Design Automation, Technical University of Munich, München, Germany"],"raw_orcid":"https://orcid.org/0000-0003-3434-7881","affiliations":[{"raw_affiliation_string":"Chair for Design Automation, Technical University of Munich, München, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012129773","display_name":"Lukas Burgholzer","orcid":"https://orcid.org/0000-0003-4699-1316"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Lukas Burgholzer","raw_affiliation_strings":["Institute for Integrated Circuits, Johannes Kepler University Linz, Linz, Austria"],"raw_orcid":"https://orcid.org/0000-0003-4699-1316","affiliations":[{"raw_affiliation_string":"Institute for Integrated Circuits, Johannes Kepler University Linz, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004214923","display_name":"Robert Wille","orcid":"https://orcid.org/0000-0002-4993-7860"},"institutions":[{"id":"https://openalex.org/I4210126338","display_name":"Software Competence Center Hagenberg (Austria)","ror":"https://ror.org/02ks3nr96","country_code":"AT","type":"company","lineage":["https://openalex.org/I4210126338"]},{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["AT","DE"],"is_corresponding":false,"raw_author_name":"Robert Wille","raw_affiliation_strings":["Chair for Design Automation, Technical University of Munich, München, Germany","Software Competence Center Hagenberg GmbH (SCCH), Hagenberg, Austria"],"raw_orcid":"https://orcid.org/0000-0002-4993-7860","affiliations":[{"raw_affiliation_string":"Chair for Design Automation, Technical University of Munich, München, Germany","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"Software Competence Center Hagenberg GmbH (SCCH), Hagenberg, Austria","institution_ids":["https://openalex.org/I4210126338"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.4147,"has_fulltext":false,"cited_by_count":45,"citation_normalized_percentile":{"value":0.95112847,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":"12","issue":"3","first_page":"662","last_page":"675"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9860000014305115,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6181904077529907},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5653156042098999},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4775867462158203},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4009138345718384},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3883785605430603},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.38411521911621094},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3586491346359253},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.07019823789596558}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6181904077529907},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5653156042098999},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4775867462158203},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4009138345718384},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3883785605430603},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.38411521911621094},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3586491346359253},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.07019823789596558},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/jetcas.2022.3202204","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jetcas.2022.3202204","pdf_url":null,"source":{"id":"https://openalex.org/S142323794","display_name":"IEEE Journal on Emerging and Selected Topics in Circuits and Systems","issn_l":"2156-3357","issn":["2156-3357","2156-3365"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Journal on Emerging and Selected Topics in Circuits and Systems","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2208.12820","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2208.12820","pdf_url":"https://arxiv.org/pdf/2208.12820","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:epub.jku.at/:7683969","is_oa":false,"landing_page_url":"https://resolver.obvsg.at/urn:nbn:at:at-ubl:1-49150","pdf_url":null,"source":{"id":"https://openalex.org/S4306401788","display_name":"University Library Linz repository (Johannes Kepler Universitat Linz)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I121883995","host_organization_name":"Johannes Kepler University of Linz","host_organization_lineage":["https://openalex.org/I121883995"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2208.12820","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2208.12820","pdf_url":"https://arxiv.org/pdf/2208.12820","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"score":0.6600000262260437,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G6192866758","display_name":"Design Automation for Quantum Computing","funder_award_id":"101001318","funder_id":"https://openalex.org/F4320338335","funder_display_name":"H2020 European Research Council"}],"funders":[{"id":"https://openalex.org/F4320338335","display_name":"H2020 European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":79,"referenced_works":["https://openalex.org/W69190861","https://openalex.org/W1568345435","https://openalex.org/W1749786511","https://openalex.org/W1985875391","https://openalex.org/W2023470361","https://openalex.org/W2040497903","https://openalex.org/W2084652510","https://openalex.org/W2088468720","https://openalex.org/W2102008187","https://openalex.org/W2121695129","https://openalex.org/W2130753923","https://openalex.org/W2137147061","https://openalex.org/W2203382396","https://openalex.org/W2339327743","https://openalex.org/W2559394418","https://openalex.org/W2598985404","https://openalex.org/W2740579034","https://openalex.org/W2764347725","https://openalex.org/W2765753692","https://openalex.org/W2803889673","https://openalex.org/W2888326017","https://openalex.org/W2889938786","https://openalex.org/W2913992572","https://openalex.org/W2918135161","https://openalex.org/W2938353722","https://openalex.org/W2949516668","https://openalex.org/W2949881164","https://openalex.org/W2950116903","https://openalex.org/W2963837308","https://openalex.org/W2980678955","https://openalex.org/W2990961515","https://openalex.org/W2994934720","https://openalex.org/W2996674934","https://openalex.org/W2996803642","https://openalex.org/W3013348036","https://openalex.org/W3016880330","https://openalex.org/W3024978238","https://openalex.org/W3098041393","https://openalex.org/W3103730115","https://openalex.org/W3104574688","https://openalex.org/W3104914200","https://openalex.org/W3105603580","https://openalex.org/W3107965876","https://openalex.org/W3111162498","https://openalex.org/W3111297213","https://openalex.org/W3117683238","https://openalex.org/W3127429871","https://openalex.org/W3144070277","https://openalex.org/W3149477534","https://openalex.org/W3189250281","https://openalex.org/W3212034829","https://openalex.org/W3217186197","https://openalex.org/W4214951473","https://openalex.org/W4221165917","https://openalex.org/W4226248199","https://openalex.org/W4287548337","https://openalex.org/W4287711460","https://openalex.org/W4288616717","https://openalex.org/W4289105161","https://openalex.org/W4293261765","https://openalex.org/W4311518202","https://openalex.org/W4384030121","https://openalex.org/W4384934446","https://openalex.org/W4394667403","https://openalex.org/W6634007516","https://openalex.org/W6682717362","https://openalex.org/W6742048416","https://openalex.org/W6757149421","https://openalex.org/W6759855141","https://openalex.org/W6762284059","https://openalex.org/W6763460810","https://openalex.org/W6780685081","https://openalex.org/W6784900157","https://openalex.org/W6786319574","https://openalex.org/W6794594628","https://openalex.org/W6810565311","https://openalex.org/W6810682953","https://openalex.org/W6810980876","https://openalex.org/W6966789492"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W1973641256","https://openalex.org/W3123455607","https://openalex.org/W2089274067","https://openalex.org/W56994397","https://openalex.org/W4287830728","https://openalex.org/W1121942432","https://openalex.org/W2418069309","https://openalex.org/W3097860111","https://openalex.org/W2376158287"],"abstract_inverted_index":{"As":[0],"state-of-the-art":[1,174],"quantum":[2,26,40,70,103,134,149],"computers":[3],"are":[4],"capable":[5],"of":[6,25,38,58,77,88,102,128,205],"running":[7],"increasingly":[8],"complex":[9],"algorithms,":[10],"the":[11,36,39,63,73,94,112,126,141,159,196,206],"need":[12],"for":[13,69,99,116,148,176],"automated":[14],"methods":[15,45,175,191],"to":[16,92,124,156,171],"design":[17],"and":[18,75,131,183],"test":[19],"potential":[20],"applications":[21],"rises.":[22],"Equivalence":[23],"checking":[24,80,101,118],"circuits":[27,150],"is":[28,60,91,109,137,145,203],"an":[29],"important,":[30],"yet":[31],"hardly":[32],"automated,":[33],"task":[34],"in":[35,122],"development":[37],"software":[41],"stack.":[42],"Recently,":[43],"new":[44],"have":[46,192],"been":[47,84,193],"proposed":[48,160,190],"that":[49,140],"tackle":[50],"this":[51,78,89,106],"problem":[52],"from":[53],"widely":[54],"different":[55],"perspectives.":[56],"One":[57],"them":[59],"based":[61,114,143,180,185],"on":[62,133,181,186],"ZX-calculus,":[64],"a":[65,97,164],"graphical":[66],"rewriting":[67],"system":[68],"computing.":[71],"However,":[72],"power":[74],"capability":[76],"equivalence":[79,100,117,177],"method":[81,144],"has":[82],"barely":[83],"explored.":[85],"The":[86,189],"aim":[87],"work":[90],"evaluate":[93,158],"ZX-calculus":[95,113,142],"as":[96],"tool":[98,200],"circuits.":[104,135],"To":[105],"end,":[107],"it":[108,170],"demonstrated":[110],"how":[111],"approach":[115],"can":[119],"be":[120],"expanded":[121],"order":[123,155],"verify":[125],"results":[127],"compilation":[129],"flows":[130],"optimizations":[132],"It":[136],"also":[138],"shown":[139],"not":[146],"complete\u2014especially":[147],"with":[151],"ancillary":[152],"qubits.":[153],"In":[154],"properly":[157],"method,":[161],"we":[162],"conduct":[163],"detailed":[165],"case":[166],"study":[167],"by":[168],"comparing":[169],"two":[172],"other":[173],"checking:":[178],"one":[179],"path-sums":[182],"another":[184],"decision":[187],"diagrams.":[188],"integrated":[194],"into":[195],"publicly":[197],"available":[198],"QCEC":[199],"(https://github.com/cda-tum/qcec)":[201],"which":[202],"part":[204],"Munich":[207],"Quantum":[208],"Toolkit":[209],"(MQT).":[210]},"counts_by_year":[{"year":2026,"cited_by_count":7},{"year":2025,"cited_by_count":12},{"year":2024,"cited_by_count":18},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":1}],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2025-10-10T00:00:00"}