{"id":"https://openalex.org/W2921097798","doi":"https://doi.org/10.1007/s00165-019-00480-5","title":"A modeling and verification framework for optical quantum circuits","display_name":"A modeling and verification framework for optical quantum circuits","publication_year":2019,"publication_date":"2019-03-15","ids":{"openalex":"https://openalex.org/W2921097798","doi":"https://doi.org/10.1007/s00165-019-00480-5","mag":"2921097798"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-019-00480-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-019-00480-5","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084186424","display_name":"Sidi Mohamed Beillahi","orcid":"https://orcid.org/0000-0001-6526-9295"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Sidi Mohamed Beillahi","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Concordia University, Montreal, QC, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Concordia University, Montreal, QC, Canada","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074297675","display_name":"Mohamed Yousri Mahmoud","orcid":"https://orcid.org/0000-0002-4834-8140"},"institutions":[{"id":"https://openalex.org/I153718931","display_name":"University of Ottawa","ror":"https://ror.org/03c4mmv16","country_code":"CA","type":"education","lineage":["https://openalex.org/I153718931"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mohamed Yousri Mahmoud","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Ottawa, Ottawa, ON, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Ottawa, Ottawa, ON, Canada","institution_ids":["https://openalex.org/I153718931"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007159598","display_name":"Sofi\u00e8ne Tahar","orcid":"https://orcid.org/0000-0002-5537-104X"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Sofi\u00e8ne Tahar","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Concordia University, Montreal, QC, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Concordia University, Montreal, QC, Canada","institution_ids":["https://openalex.org/I60158472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5084186424"],"corresponding_institution_ids":["https://openalex.org/I60158472"],"apc_list":null,"apc_paid":null,"fwci":0.28,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.63520825,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"31","issue":"3","first_page":"321","last_page":"351"},"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.9997000098228455,"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.9997000098228455,"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/T10020","display_name":"Quantum Information and Cryptography","score":0.9984999895095825,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.989300012588501,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.7474878430366516},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6101769804954529},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.49363839626312256},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.41982170939445496},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3620039224624634},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32177773118019104},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1610254943370819},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.14094668626785278}],"concepts":[{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.7474878430366516},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6101769804954529},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.49363839626312256},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.41982170939445496},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3620039224624634},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32177773118019104},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1610254943370819},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.14094668626785278}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00165-019-00480-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-019-00480-5","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":57,"referenced_works":["https://openalex.org/W43281984","https://openalex.org/W88810503","https://openalex.org/W235293953","https://openalex.org/W251886591","https://openalex.org/W1497011154","https://openalex.org/W1514675880","https://openalex.org/W1521372188","https://openalex.org/W1537615043","https://openalex.org/W1614518745","https://openalex.org/W1681009172","https://openalex.org/W1966077740","https://openalex.org/W1971820243","https://openalex.org/W1975989874","https://openalex.org/W1977733098","https://openalex.org/W1993688167","https://openalex.org/W1994460359","https://openalex.org/W1999766050","https://openalex.org/W2003043756","https://openalex.org/W2008313400","https://openalex.org/W2009828204","https://openalex.org/W2023470361","https://openalex.org/W2033216491","https://openalex.org/W2038749191","https://openalex.org/W2044357043","https://openalex.org/W2053364918","https://openalex.org/W2057085376","https://openalex.org/W2060484632","https://openalex.org/W2074669306","https://openalex.org/W2102008187","https://openalex.org/W2104053738","https://openalex.org/W2104590612","https://openalex.org/W2144272791","https://openalex.org/W2145633150","https://openalex.org/W2151292904","https://openalex.org/W2163525631","https://openalex.org/W2196606119","https://openalex.org/W2203382396","https://openalex.org/W2208188898","https://openalex.org/W2288904158","https://openalex.org/W2293720162","https://openalex.org/W2324151162","https://openalex.org/W2394946564","https://openalex.org/W2465986318","https://openalex.org/W2563269605","https://openalex.org/W2592048941","https://openalex.org/W2611519773","https://openalex.org/W2613048740","https://openalex.org/W2767831189","https://openalex.org/W2792039802","https://openalex.org/W2963360541","https://openalex.org/W2990961515","https://openalex.org/W3023478445","https://openalex.org/W3100798923","https://openalex.org/W3105927794","https://openalex.org/W3111297213","https://openalex.org/W3145563287","https://openalex.org/W4233847666"],"related_works":["https://openalex.org/W4250775169","https://openalex.org/W4309231192","https://openalex.org/W2064563243","https://openalex.org/W3165104833","https://openalex.org/W2012783289","https://openalex.org/W2018678701","https://openalex.org/W2753425608","https://openalex.org/W4249573192","https://openalex.org/W323219885","https://openalex.org/W4292559016"],"abstract_inverted_index":{"Abstract":[0],"Quantum":[1],"computing":[2],"systems":[3],"promise":[4],"to":[5,55,74,80],"increase":[6],"the":[7,92,104,113,118,128,136,139,145],"capabilities":[8],"for":[9,33,108],"solving":[10],"problems":[11],"which":[12,109,122],"classical":[13],"computers":[14],"cannot":[15],"handle":[16],"adequately,":[17],"such":[18],"as":[19],"integers":[20],"factorization.":[21],"In":[22],"this":[23],"paper,":[24],"we":[25,38,90,110],"present":[26,91],"a":[27,40,49,66],"formal":[28,93],"modeling":[29],"and":[30,47,103,116,147],"verification":[31],"approach":[32],"optical":[34,44,58],"quantum":[35,45,59,69,84,97,100],"circuits,":[36,107],"where":[37],"build":[39],"rich":[41],"library":[42,64],"of":[43,68,95,138,144],"gates":[46,70,76],"develop":[48],"proof":[50],"strategy":[51],"in":[52,127,142],"higher-order":[53],"logic":[54],"reason":[56],"about":[57],"circuits":[60,98],"automatically.":[61],"The":[62],"constructed":[63],"contains":[65],"variety":[67],"ranging":[71],"from":[72],"1-qubit":[73],"3-qubit":[75],"that":[77],"are":[78],"sufficient":[79],"model":[81],"most":[82],"existing":[83],"circuits.":[85],"As":[86],"real":[87],"world":[88],"applications,":[89],"analysis":[94],"several":[96,133],"including":[99],"full":[101],"adders":[102],"Grover\u2019s":[105],"oracle":[106],"have":[111],"proved":[112],"behavioral":[114],"correctness":[115],"calculated":[117],"operational":[119],"success":[120],"rate,":[121],"has":[123],"never":[124],"been":[125],"provided":[126],"literature.":[129],"We":[130],"show":[131],"through":[132],"case":[134],"studies":[135],"efficiency":[137],"proposed":[140],"framework":[141],"terms":[143],"scalability":[146],"modularity.":[148]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}