{"id":"https://openalex.org/W2016769804","doi":"https://doi.org/10.1007/s00236-013-0185-3","title":"Termination of nondeterministic quantum programs","display_name":"Termination of nondeterministic quantum programs","publication_year":2013,"publication_date":"2013-10-29","ids":{"openalex":"https://openalex.org/W2016769804","doi":"https://doi.org/10.1007/s00236-013-0185-3","mag":"2016769804"},"language":"en","primary_location":{"id":"doi:10.1007/s00236-013-0185-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00236-013-0185-3","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"Acta Informatica","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/A5078253695","display_name":"Yangjia Li","orcid":"https://orcid.org/0000-0001-7808-0934"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yangjia Li","raw_affiliation_strings":["Tsinghua National Laboratory of Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China","Tsinghua National Laboratory of Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing, China 100084#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua National Laboratory of Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Tsinghua National Laboratory of Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing, China 100084#TAB#","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088217238","display_name":"Nengkun Yu","orcid":"https://orcid.org/0000-0003-1188-3032"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Nengkun Yu","raw_affiliation_strings":["Tsinghua National Laboratory of Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China","Tsinghua National Laboratory of Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing, China 100084#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua National Laboratory of Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Tsinghua National Laboratory of Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing, China 100084#TAB#","institution_ids":["https://openalex.org/I99065089"]}]},{"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/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"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Mingsheng Ying","raw_affiliation_strings":["Center for Quantum Computation and Intelligent Systems, Faculty of Engineering and Information Technology, University of Technology, Sydney, NSW, 2007, Australia","Center for Quantum Computation and Intelligent Systems, Faculty of Engineering and Information Technology, University of Technology, Sydney, Australia 2007#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Quantum Computation and Intelligent Systems, Faculty of Engineering and Information Technology, University of Technology, Sydney, NSW, 2007, Australia","institution_ids":["https://openalex.org/I4210096034","https://openalex.org/I114017466"]},{"raw_affiliation_string":"Center for Quantum Computation and Intelligent Systems, Faculty of Engineering and Information Technology, University of Technology, Sydney, Australia 2007#TAB#","institution_ids":["https://openalex.org/I4210096034","https://openalex.org/I114017466"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":4.4472,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.94270139,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"51","issue":"1","first_page":"1","last_page":"24"},"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.9998999834060669,"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.9998999834060669,"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.9988999962806702,"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/T10622","display_name":"Quantum Mechanics and Applications","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.8984278440475464},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6144915819168091},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.5309711694717407},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5082890391349792},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46581459045410156},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.4555985629558563},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4535742998123169},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.42345547676086426},{"id":"https://openalex.org/keywords/quantum-process","display_name":"Quantum process","score":0.4150984287261963},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4105755686759949},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2723332643508911},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.15160611271858215},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.10872462391853333},{"id":"https://openalex.org/keywords/quantum-dynamics","display_name":"Quantum dynamics","score":0.07230624556541443}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.8984278440475464},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6144915819168091},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.5309711694717407},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5082890391349792},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46581459045410156},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.4555985629558563},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4535742998123169},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.42345547676086426},{"id":"https://openalex.org/C11255438","wikidata":"https://www.wikidata.org/wiki/Q7269085","display_name":"Quantum process","level":4,"score":0.4150984287261963},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4105755686759949},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2723332643508911},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.15160611271858215},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.10872462391853333},{"id":"https://openalex.org/C15184713","wikidata":"https://www.wikidata.org/wiki/Q7269042","display_name":"Quantum dynamics","level":3,"score":0.07230624556541443},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00236-013-0185-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00236-013-0185-3","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"Acta Informatica","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.800000011920929,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320334704","display_name":"Australian Research Council","ror":"https://ror.org/05mmh0f86"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1588709134","https://openalex.org/W1631356911","https://openalex.org/W1802214495","https://openalex.org/W1974158938","https://openalex.org/W1975427574","https://openalex.org/W1999626800","https://openalex.org/W1999702075","https://openalex.org/W2011123002","https://openalex.org/W2044357043","https://openalex.org/W2044912742","https://openalex.org/W2054665888","https://openalex.org/W2064622659","https://openalex.org/W2069673205","https://openalex.org/W2072765545","https://openalex.org/W2079572249","https://openalex.org/W2091188761","https://openalex.org/W2121087903","https://openalex.org/W2121369607","https://openalex.org/W2126098510","https://openalex.org/W2138408756","https://openalex.org/W2141008943","https://openalex.org/W2155544688","https://openalex.org/W2157601714","https://openalex.org/W2338028966","https://openalex.org/W2764347725","https://openalex.org/W2914012520","https://openalex.org/W2949594786","https://openalex.org/W2953375948","https://openalex.org/W3007889862","https://openalex.org/W3037143906","https://openalex.org/W3105690832","https://openalex.org/W3148585635","https://openalex.org/W4238931494","https://openalex.org/W4293163450"],"related_works":["https://openalex.org/W2155794351","https://openalex.org/W4353086852","https://openalex.org/W1995074057","https://openalex.org/W1028212721","https://openalex.org/W4376876762","https://openalex.org/W1533380987","https://openalex.org/W4384648128","https://openalex.org/W3175185081","https://openalex.org/W89429213","https://openalex.org/W3092769055"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}