{"id":"https://openalex.org/W4386365804","doi":"https://doi.org/10.18293/seke2023-014","title":"Symbolic Model Checking Quantum Circuits in Maude","display_name":"Symbolic Model Checking Quantum Circuits in Maude","publication_year":2023,"publication_date":"2023-07-01","ids":{"openalex":"https://openalex.org/W4386365804","doi":"https://doi.org/10.18293/seke2023-014"},"language":"en","primary_location":{"id":"doi:10.18293/seke2023-014","is_oa":true,"landing_page_url":"https://doi.org/10.18293/seke2023-014","pdf_url":"https://doi.org/10.18293/seke2023-014","source":{"id":"https://openalex.org/S4220650826","display_name":"Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering","issn_l":"2325-9000","issn":["2325-9000","2325-9086"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Software Engineering and Knowledge Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://doi.org/10.18293/seke2023-014","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5023981175","display_name":"Canh Minh","orcid":"https://orcid.org/0000-0002-1601-4584"},"institutions":[{"id":"https://openalex.org/I177738480","display_name":"Japan Advanced Institute of Science and Technology","ror":"https://ror.org/03frj4r98","country_code":"JP","type":"education","lineage":["https://openalex.org/I177738480"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Canh Minh Do","raw_affiliation_strings":["School of Information Science Japan Advanced Institute of Science and Technology (JAIST) 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan"],"affiliations":[{"raw_affiliation_string":"School of Information Science Japan Advanced Institute of Science and Technology (JAIST) 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan","institution_ids":["https://openalex.org/I177738480"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030173635","display_name":"Kazuhiro Ogata","orcid":"https://orcid.org/0000-0002-4441-3259"},"institutions":[{"id":"https://openalex.org/I177738480","display_name":"Japan Advanced Institute of Science and Technology","ror":"https://ror.org/03frj4r98","country_code":"JP","type":"education","lineage":["https://openalex.org/I177738480"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kazuhiro Ogata","raw_affiliation_strings":["School of Information Science Japan Advanced Institute of Science and Technology (JAIST) 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan"],"affiliations":[{"raw_affiliation_string":"School of Information Science Japan Advanced Institute of Science and Technology (JAIST) 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan","institution_ids":["https://openalex.org/I177738480"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5023981175"],"corresponding_institution_ids":["https://openalex.org/I177738480"],"apc_list":null,"apc_paid":null,"fwci":1.226,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.83387743,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"2023","issue":null,"first_page":"103","last_page":"108"},"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.9986000061035156,"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.9986000061035156,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9872999787330627,"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9775999784469604,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/computer-science","display_name":"Computer science","score":0.7034151554107666},{"id":"https://openalex.org/keywords/symbolic-trajectory-evaluation","display_name":"Symbolic trajectory evaluation","score":0.5783997774124146},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5414860248565674},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.5408248901367188},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4355814456939697},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41052916646003723},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36872509121894836},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.15863558650016785},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.08874386548995972}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7034151554107666},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.5783997774124146},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5414860248565674},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.5408248901367188},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4355814456939697},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41052916646003723},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36872509121894836},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.15863558650016785},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.08874386548995972}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18293/seke2023-014","is_oa":true,"landing_page_url":"https://doi.org/10.18293/seke2023-014","pdf_url":"https://doi.org/10.18293/seke2023-014","source":{"id":"https://openalex.org/S4220650826","display_name":"Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering","issn_l":"2325-9000","issn":["2325-9000","2325-9086"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Software Engineering and Knowledge Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18293/seke2023-014","is_oa":true,"landing_page_url":"https://doi.org/10.18293/seke2023-014","pdf_url":"https://doi.org/10.18293/seke2023-014","source":{"id":"https://openalex.org/S4220650826","display_name":"Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering","issn_l":"2325-9000","issn":["2325-9000","2325-9086"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Software Engineering and Knowledge Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4386365804.pdf"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W1153205426","https://openalex.org/W1537260257","https://openalex.org/W1855444172","https://openalex.org/W1978553093","https://openalex.org/W2052129968","https://openalex.org/W2056361045","https://openalex.org/W4206222257","https://openalex.org/W4233847666","https://openalex.org/W6627246813","https://openalex.org/W6639148384","https://openalex.org/W6663599918","https://openalex.org/W6664869435","https://openalex.org/W6730504886","https://openalex.org/W6777663047"],"related_works":["https://openalex.org/W2571762577","https://openalex.org/W120135115","https://openalex.org/W2152996796","https://openalex.org/W4235226231","https://openalex.org/W2079251676","https://openalex.org/W1978951759","https://openalex.org/W2212264424","https://openalex.org/W1539201627","https://openalex.org/W2115279934","https://openalex.org/W2149299285"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,13,29,42,81,104,110,115],"symbolic":[4,40],"approach":[5,48],"to":[6,37,49,84],"model":[7],"checking":[8],"quantum":[9,18,58,65,73,89,101,111],"circuits":[10,90],"by":[11],"using":[12],"set":[14],"of":[15,56,72,106],"laws":[16],"from":[17],"mechanics":[19],"and":[20,52,87,103],"basic":[21],"matrix":[22],"operations":[23],"with":[24],"Dirac":[25],"notation.We":[26],"use":[27,46],"Maude,":[28],"high-level":[30],"specification/programming":[31],"language":[32],"based":[33],"on":[34],"rewriting":[35],"logic,":[36],"implement":[38],"our":[39,75],"approach.As":[41],"case":[43],"study,":[44],"we":[45],"the":[47,54,57,69],"formally":[50,85],"specify":[51,86],"verify":[53,88],"correctness":[55],"teleportation":[59],"protocol,":[60],"which":[61],"is":[62],"an":[63,94,99],"important":[64],"communication":[66],"protocol":[67],"in":[68,91,93,114],"early":[70],"work":[71],"communications.Moreover,":[74],"implementation":[76],"can":[77],"be":[78],"used":[79],"as":[80],"general":[82],"framework":[83],"Maude":[92],"effortless":[95],"way,":[96],"where":[97],"only":[98],"initial":[100],"state":[102],"sequence":[105],"actions":[107],"describing":[108],"how":[109],"circuit":[112],"works":[113],"simple":[116],"way":[117],"are":[118],"required.":[119]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5}],"updated_date":"2025-12-23T23:11:35.936235","created_date":"2025-10-10T00:00:00"}