{"id":"https://openalex.org/W3158533226","doi":"https://doi.org/10.1007/978-3-030-90870-6_2","title":"Model Checking for Verification of Quantum Circuits","display_name":"Model Checking for Verification of Quantum Circuits","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3158533226","doi":"https://doi.org/10.1007/978-3-030-90870-6_2","mag":"3158533226"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-90870-6_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-90870-6_2","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5023088481","display_name":"Mingsheng Ying","orcid":"https://orcid.org/0000-0003-4847-702X"},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]},{"id":"https://openalex.org/I4210096034","display_name":"Centre for Quantum Computation and Communication Technology","ror":"https://ror.org/00rnbty21","country_code":"AU","type":"facility","lineage":["https://openalex.org/I1337719021","https://openalex.org/I165143802","https://openalex.org/I2801453606","https://openalex.org/I4210096034","https://openalex.org/I4210132349"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["AU","CN"],"is_corresponding":true,"raw_author_name":"Mingsheng Ying","raw_affiliation_strings":["Centre for Quantum Software and Information, University of Technology Sydney, Ultimo, Australia","Department of Computer Science and Technology, Tsinghua University, Beijing, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Quantum Software and Information, University of Technology Sydney, Ultimo, Australia","institution_ids":["https://openalex.org/I4210096034","https://openalex.org/I114017466"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5023088481"],"corresponding_institution_ids":["https://openalex.org/I114017466","https://openalex.org/I19820366","https://openalex.org/I4210096034","https://openalex.org/I4210128818","https://openalex.org/I99065089"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.1819,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.89103912,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"23","last_page":"39"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","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/T10126","display_name":"Logic, programming, and type systems","score":0.9941999912261963,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7292264699935913},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5552889704704285},{"id":"https://openalex.org/keywords/quantum-circuit","display_name":"Quantum circuit","score":0.5317396521568298},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5242074728012085},{"id":"https://openalex.org/keywords/von-neumann-architecture","display_name":"Von Neumann architecture","score":0.4627314805984497},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.45949840545654297},{"id":"https://openalex.org/keywords/quantum-logic","display_name":"Quantum logic","score":0.45823389291763306},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.44480499625205994},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4178636074066162},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4137963652610779},{"id":"https://openalex.org/keywords/quantum-information","display_name":"Quantum information","score":0.41171568632125854},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39681845903396606},{"id":"https://openalex.org/keywords/quantum-network","display_name":"Quantum network","score":0.34934455156326294},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29006701707839966},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.13548776507377625},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.09875950217247009}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7292264699935913},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5552889704704285},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.5317396521568298},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5242074728012085},{"id":"https://openalex.org/C80469333","wikidata":"https://www.wikidata.org/wiki/Q189088","display_name":"Von Neumann architecture","level":2,"score":0.4627314805984497},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.45949840545654297},{"id":"https://openalex.org/C169460222","wikidata":"https://www.wikidata.org/wiki/Q1206311","display_name":"Quantum logic","level":4,"score":0.45823389291763306},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.44480499625205994},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4178636074066162},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4137963652610779},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.41171568632125854},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39681845903396606},{"id":"https://openalex.org/C186468114","wikidata":"https://www.wikidata.org/wiki/Q836478","display_name":"Quantum network","level":4,"score":0.34934455156326294},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29006701707839966},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.13548776507377625},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.09875950217247009},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-90870-6_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-90870-6_2","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6299999952316284,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W113418608","https://openalex.org/W294073838","https://openalex.org/W1572916684","https://openalex.org/W1630029119","https://openalex.org/W1665191561","https://openalex.org/W1855444172","https://openalex.org/W1915167278","https://openalex.org/W1987489996","https://openalex.org/W1988413534","https://openalex.org/W1993785292","https://openalex.org/W2004330986","https://openalex.org/W2040860354","https://openalex.org/W2053836944","https://openalex.org/W2092494161","https://openalex.org/W2098178883","https://openalex.org/W2099120582","https://openalex.org/W2145334945","https://openalex.org/W2155550441","https://openalex.org/W2338028966","https://openalex.org/W2512013866","https://openalex.org/W2562491126","https://openalex.org/W2607213325","https://openalex.org/W2766460815","https://openalex.org/W2900633510","https://openalex.org/W2962822640","https://openalex.org/W2963787308","https://openalex.org/W2966941128","https://openalex.org/W2980017474","https://openalex.org/W2981129109","https://openalex.org/W3006960967","https://openalex.org/W3016880330","https://openalex.org/W3025214758","https://openalex.org/W3080724058","https://openalex.org/W3083463047","https://openalex.org/W3084410451","https://openalex.org/W3100200555","https://openalex.org/W3100476337","https://openalex.org/W3126996113","https://openalex.org/W3127557285","https://openalex.org/W3144070277","https://openalex.org/W4210251360","https://openalex.org/W4255199382","https://openalex.org/W6600655691","https://openalex.org/W6602488554","https://openalex.org/W6605276371","https://openalex.org/W6607280908"],"related_works":["https://openalex.org/W2096912722","https://openalex.org/W2071462445","https://openalex.org/W1996213744","https://openalex.org/W2296190591","https://openalex.org/W3063001260","https://openalex.org/W74996562","https://openalex.org/W3101020049","https://openalex.org/W4297411627","https://openalex.org/W4284963980","https://openalex.org/W3158533226"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":7},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}