{"id":"https://openalex.org/W4410584109","doi":"https://doi.org/10.23919/date64628.2025.10992763","title":"Image Computation for Quantum Transition Systems","display_name":"Image Computation for Quantum Transition Systems","publication_year":2025,"publication_date":"2025-03-31","ids":{"openalex":"https://openalex.org/W4410584109","doi":"https://doi.org/10.23919/date64628.2025.10992763"},"language":"en","primary_location":{"id":"doi:10.23919/date64628.2025.10992763","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date64628.2025.10992763","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 Design, Automation & Test in Europe Conference (DATE)","raw_type":"proceedings-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/A5018711965","display_name":"Xin Hong","orcid":"https://orcid.org/0009-0001-8492-9313"},"institutions":[{"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/I4391767820","display_name":"State Key Laboratory of Computer Science","ror":"https://ror.org/01hsx4r68","country_code":null,"type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"]},{"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":["CN"],"is_corresponding":true,"raw_author_name":"Xin Hong","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences,Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science,Beijing,China"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences,Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science,Beijing,China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366","https://openalex.org/I4391767820"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101677610","display_name":"Di Gao","orcid":"https://orcid.org/0000-0003-1751-2371"},"institutions":[{"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"]},{"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/I4391767820","display_name":"State Key Laboratory of Computer Science","ror":"https://ror.org/01hsx4r68","country_code":null,"type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dingchao Gao","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences,Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science,Beijing,China"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences,Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science,Beijing,China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366","https://openalex.org/I4391767820"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108049690","display_name":"Sanjiang Li","orcid":"https://orcid.org/0000-0002-3332-2546"},"institutions":[{"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/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Sanjiang Li","raw_affiliation_strings":["University of Technology Sydney,Centre for Quantum Software and Information,Sydney,Australia"],"affiliations":[{"raw_affiliation_string":"University of Technology Sydney,Centre for Quantum Software and Information,Sydney,Australia","institution_ids":["https://openalex.org/I4210096034","https://openalex.org/I114017466"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075583677","display_name":"Shenggang Ying","orcid":null},"institutions":[{"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"]},{"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/I4391767820","display_name":"State Key Laboratory of Computer Science","ror":"https://ror.org/01hsx4r68","country_code":null,"type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shenggang Ying","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences,Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science,Beijing,China"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences,Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science,Beijing,China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366","https://openalex.org/I4391767820"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023088481","display_name":"Mingsheng Ying","orcid":"https://orcid.org/0000-0003-4847-702X"},"institutions":[{"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/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Mingsheng Ying","raw_affiliation_strings":["University of Technology Sydney,Centre for Quantum Software and Information,Sydney,Australia"],"affiliations":[{"raw_affiliation_string":"University of Technology Sydney,Centre for Quantum Software and Information,Sydney,Australia","institution_ids":["https://openalex.org/I4210096034","https://openalex.org/I114017466"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5018711965"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"],"apc_list":null,"apc_paid":null,"fwci":6.2533,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.96674058,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11183","display_name":"Advanced X-ray Imaging Techniques","score":0.8511999845504761,"subfield":{"id":"https://openalex.org/subfields/3108","display_name":"Radiation"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11183","display_name":"Advanced X-ray Imaging Techniques","score":0.8511999845504761,"subfield":{"id":"https://openalex.org/subfields/3108","display_name":"Radiation"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10052","display_name":"Medical Image Segmentation Techniques","score":0.7544000148773193,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10271","display_name":"Seismic Imaging and Inversion Techniques","score":0.7254999876022339,"subfield":{"id":"https://openalex.org/subfields/1908","display_name":"Geophysics"},"field":{"id":"https://openalex.org/fields/19","display_name":"Earth and Planetary Sciences"},"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.5794766545295715},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5195053815841675},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.49979233741760254},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.45568302273750305},{"id":"https://openalex.org/keywords/transition","display_name":"Transition (genetics)","score":0.41137319803237915},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.25730153918266296},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.18201053142547607},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1418602168560028},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.09382903575897217}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5794766545295715},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5195053815841675},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.49979233741760254},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.45568302273750305},{"id":"https://openalex.org/C194232998","wikidata":"https://www.wikidata.org/wiki/Q1606712","display_name":"Transition (genetics)","level":3,"score":0.41137319803237915},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.25730153918266296},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.18201053142547607},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1418602168560028},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.09382903575897217},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"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.23919/date64628.2025.10992763","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date64628.2025.10992763","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 Design, Automation & Test in Europe Conference (DATE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1153205426","https://openalex.org/W1822320350","https://openalex.org/W1853715199","https://openalex.org/W1855444172","https://openalex.org/W1983064190","https://openalex.org/W2089342336","https://openalex.org/W2099120582","https://openalex.org/W2990961515","https://openalex.org/W3010330328","https://openalex.org/W3016880330","https://openalex.org/W3083463047","https://openalex.org/W3126996113","https://openalex.org/W3144070277","https://openalex.org/W3158533226","https://openalex.org/W3197898955","https://openalex.org/W3212034829","https://openalex.org/W3217586716","https://openalex.org/W4210251360","https://openalex.org/W4300021588","https://openalex.org/W6664869435","https://openalex.org/W6750526431","https://openalex.org/W6784900157","https://openalex.org/W6903348357"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"With":[0],"the":[1,9,47,87,107],"rapid":[2],"progress":[3],"in":[4,69],"quantum":[5,14,36,52,61,77,113],"hardware":[6],"and":[7,25,82,92],"software,":[8],"need":[10],"for":[11,29,60,112],"verification":[12],"of":[13,49,89,109],"systems":[15,37,53],"becomes":[16],"increasingly":[17],"crucial.":[18],"While":[19],"model":[20,50,70],"checking":[21,51],"is":[22,38],"a":[23,66],"dominant":[24],"very":[26],"successful":[27],"technique":[28],"verifying":[30],"classical":[31],"systems,":[32,63],"its":[33],"application":[34],"to":[35],"still":[39],"an":[40],"underdeveloped":[41],"research":[42],"area.":[43],"This":[44],"paper":[45],"advances":[46],"development":[48],"by":[54,85],"providing":[55],"efficient":[56],"image":[57,110],"computation":[58,111],"algorithms":[59,84],"transition":[62,114],"which":[64],"play":[65],"fundamental":[67],"role":[68],"checking.":[71],"In":[72],"our":[73,100],"approach,":[74],"we":[75],"represent":[76],"circuits":[78],"as":[79],"tensor":[80,90,93],"networks":[81,91],"design":[83],"leveraging":[86],"properties":[88],"decision":[94],"diagrams.":[95],"Our":[96],"experiments":[97],"demonstrate":[98],"that":[99],"contraction":[101],"partition-based":[102],"algorithm":[103],"can":[104],"greatly":[105],"improve":[106],"efficiency":[108],"systems.":[115]},"counts_by_year":[{"year":2026,"cited_by_count":3}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}