{"id":"https://openalex.org/W4387803990","doi":"https://doi.org/10.1007/s11128-023-04144-5","title":"Quantum symbolic execution","display_name":"Quantum symbolic execution","publication_year":2023,"publication_date":"2023-10-20","ids":{"openalex":"https://openalex.org/W4387803990","doi":"https://doi.org/10.1007/s11128-023-04144-5"},"language":"en","primary_location":{"id":"doi:10.1007/s11128-023-04144-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11128-023-04144-5","pdf_url":null,"source":{"id":"https://openalex.org/S92819544","display_name":"Quantum Information Processing","issn_l":"1570-0755","issn":["1570-0755","1573-1332"],"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":"Quantum Information Processing","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/A5103084883","display_name":"Nan Jiang","orcid":"https://orcid.org/0000-0001-9269-8079"},"institutions":[{"id":"https://openalex.org/I37796252","display_name":"Beijing University of Technology","ror":"https://ror.org/037b1pp87","country_code":"CN","type":"education","lineage":["https://openalex.org/I37796252"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiang Nan","raw_affiliation_strings":["Faculty of Information Technology, Beijing University of Technology, Beijing, 100124, China","Faculty of Information Technology, Beijing University of Technology, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Beijing University of Technology, Beijing, 100124, China","institution_ids":["https://openalex.org/I37796252"]},{"raw_affiliation_string":"Faculty of Information Technology, Beijing University of Technology, Beijing, China","institution_ids":["https://openalex.org/I37796252"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100784341","display_name":"Zichen Wang","orcid":"https://orcid.org/0000-0003-2697-7189"},"institutions":[{"id":"https://openalex.org/I37796252","display_name":"Beijing University of Technology","ror":"https://ror.org/037b1pp87","country_code":"CN","type":"education","lineage":["https://openalex.org/I37796252"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wang Zichen","raw_affiliation_strings":["Faculty of Information Technology, Beijing University of Technology, Beijing, 100124, China","Faculty of Information Technology, Beijing University of Technology, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Beijing University of Technology, Beijing, 100124, China","institution_ids":["https://openalex.org/I37796252"]},{"raw_affiliation_string":"Faculty of Information Technology, Beijing University of Technology, Beijing, China","institution_ids":["https://openalex.org/I37796252"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100773357","display_name":"Jian Wang","orcid":"https://orcid.org/0000-0003-2951-688X"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Wang Jian","raw_affiliation_strings":["Beijing Key Laboratory of Security and Privacy in Intelligent Transportation, Beijing Jiaotong University, Beijing, 100044, China","School of Computer and Information Technology, Beijing Jiaotong University, Beijing, 100044, China","Beijing Key Laboratory of Security and Privacy in Intelligent Transportation, Beijing Jiaotong University, Beijing, China","School of Computer and Information Technology, Beijing Jiaotong University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-2951-688X","affiliations":[{"raw_affiliation_string":"Beijing Key Laboratory of Security and Privacy in Intelligent Transportation, Beijing Jiaotong University, Beijing, 100044, China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"School of Computer and Information Technology, Beijing Jiaotong University, Beijing, 100044, China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"Beijing Key Laboratory of Security and Privacy in Intelligent Transportation, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"School of Computer and Information Technology, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5100773357"],"corresponding_institution_ids":["https://openalex.org/I21193070"],"apc_list":{"value":2690,"currency":"USD","value_usd":2690},"apc_paid":null,"fwci":0.3931,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.69157071,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"22","issue":"10","first_page":null,"last_page":null},"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.9998000264167786,"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.9998000264167786,"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.9919000267982483,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9818999767303467,"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/computer-science","display_name":"Computer science","score":0.7686913013458252},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.667366623878479},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.6310265064239502},{"id":"https://openalex.org/keywords/qubit","display_name":"Qubit","score":0.5674458146095276},{"id":"https://openalex.org/keywords/superposition-principle","display_name":"Superposition principle","score":0.5160991549491882},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5036181807518005},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5019171237945557},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44140350818634033},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3894830346107483},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.1591554880142212},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.13246256113052368}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7686913013458252},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.667366623878479},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.6310265064239502},{"id":"https://openalex.org/C203087015","wikidata":"https://www.wikidata.org/wiki/Q378201","display_name":"Qubit","level":3,"score":0.5674458146095276},{"id":"https://openalex.org/C27753989","wikidata":"https://www.wikidata.org/wiki/Q284885","display_name":"Superposition principle","level":2,"score":0.5160991549491882},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5036181807518005},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5019171237945557},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44140350818634033},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3894830346107483},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.1591554880142212},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.13246256113052368},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11128-023-04144-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11128-023-04144-5","pdf_url":null,"source":{"id":"https://openalex.org/S92819544","display_name":"Quantum Information Processing","issn_l":"1570-0755","issn":["1570-0755","1573-1332"],"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":"Quantum Information Processing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.4399999976158142,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G7785884045","display_name":null,"funder_award_id":"61502016","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1493060511","https://openalex.org/W1631356911","https://openalex.org/W1999626800","https://openalex.org/W2009956228","https://openalex.org/W2029010113","https://openalex.org/W2101512909","https://openalex.org/W2107147876","https://openalex.org/W2501678966","https://openalex.org/W2781491433","https://openalex.org/W2891621506","https://openalex.org/W2904801124","https://openalex.org/W2950018366","https://openalex.org/W2964270303","https://openalex.org/W2982169647","https://openalex.org/W3003486108","https://openalex.org/W3012166999","https://openalex.org/W3089560421","https://openalex.org/W3100063892","https://openalex.org/W3101228802","https://openalex.org/W3102775972","https://openalex.org/W3107463944","https://openalex.org/W3109961245","https://openalex.org/W3126921324","https://openalex.org/W3136901529","https://openalex.org/W3157675278","https://openalex.org/W3166070894","https://openalex.org/W3185543386","https://openalex.org/W6600137863","https://openalex.org/W6609645346"],"related_works":["https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W2284072287","https://openalex.org/W4308749380","https://openalex.org/W2611067230","https://openalex.org/W4235469518","https://openalex.org/W2387706296","https://openalex.org/W1546864018","https://openalex.org/W2951363717","https://openalex.org/W2134613344"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}