{“id”：“https://openalex.org/W2533836568“，”doi“：”https://doi.org/10.1007/s10817-016-9388-y“，”title“：”使用AProVE自动分析程序终止和复杂性“，”display_name“：”使用AProVE自动分析程序终止和复杂性“，”publication_year“：2016，”publication_date“：”2016-10-21“，”ids“：｛”openalex“：”https://openalex.org/W2533836568“，”doi“：”https://doi.org/10.1007/s10817-016-9388-y“，”mag“：”2533836568“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10817-016-9388-y“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S99781599“，”display_name“：”自动推理杂志“，”issn_l“：”0168-7433“，”isn“：[”0168-8433“、”1573-0670“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]”，“open_access”：{“is_oa”：true，“oa_status”：“green”url“：”https://eprints.bbk.ac.uk/id/eprint/16551/1/JAR-AProVE.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5025232172“，”display_name“：”J\u00fcrgen Giesl“，”orcid“：”https://orcid.org/0000-0003-0283-8520}，“机构”：[{“id”：https://openalex.org/I887968799“，”display_name“：”亚琛理工大学“，”ror“：”https://ror.org/04xfq0f34“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I887968799“]}]，”国家“：[”DE“]，”is_corresponding“：true，”raw_author_name“：”J\u00fcrgen Giesl“，”raw _ afiliation_strings“：[“LuFG Informatik 2，RWTH Aachen University，Aachen，Germany”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5021802785“，”display_name“：”Cornelius Aschermann“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I887968799“，”display_name“：”亚琛工业大学“，”ror“：”https://ror.org/04xfq0f34“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I887968799“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Cornelius Aschermann“，”raw _ afiliation_strings“：[“LuFG Informatik 2，RWTH Aachen University，Aachen，Germany”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5040207663“，”display_name“：”Marc Brockschmidt“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210164937“，”display_name“：”Microsoft Research（英国）“，”ror“：”https://ror.org/05k87vq12“，”“country_code”“：”GB“，”type“：”company“，”seriance“：[”https://openalex.org/I1290206253","https://openalex.org/I4210164937“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Marc Brockschmidt“，”raw_affiliation_strings“：[“英国剑桥大学微软研究院”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5050663198“，”display_name“：”Fabian Emmes“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I887968799“，”display_name“：”亚琛理工大学“，”ror“：”https://ror.org/04xfq0f34“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I887968799“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Fabian Emmes“，”raw _ afiliation_strings“：[“LuFG Informatik 2，RWTH Aachen University，Aachen，Germany”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5087390223“，”display_name“：”Florian Frohn“，”orcid“：”https://orcid.org/0000-0003-0902-1994}，“机构”：[{“id”：https://openalex.org/I887968799“，”display_name“：”亚琛理工大学“，”ror“：”https://ror.org/04xfq0f34“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I887968799“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Florian Frohn“，”raw _ afiliation_strings“：[“LuFG Informatik 2，RWTH Aachen University，Aachen，Germany”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5045363254“，”display_name“：”Carsten Fuhs“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I98259816“，”display_name“：”伦敦大学伯克贝克“，”ror“：”https://ror.org/02mb95055“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I124357947","https://openalex.org/I98259816“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Carsten Fuhs“，”raw _affiliation_strings“：[“英国伦敦大学伯克贝克计算机科学与信息系统系”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5064836389“，”display_name“：”Jera Hensel“，”orcid“：”https://orcid.org/0000-0003-2852-9830}，“机构”：[{“id”：https://openalex.org/I887968799“，”display_name“：”亚琛理工大学“，”ror“：”https://ror.org/04xfq0f34“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I887968799“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Jera Hensel“，”raw关联字符串“：[“LuFG Informatik 2，RWTH Aachen University，Aachen，Germany”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5089036173“，”display_name“：”Carsten Otto“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210090742“，”display_name“：”RENA Technologies（德国）“，”ror“：”网址：https://ror.org/00j5nrv77“，”country_code“：”DE“，”type“：“company”，”lineage“：[”https://openalex.org/I4210090742“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Carsten Otto“，”raw _affiliation_strings“：[“rena objects ag，Frankfurt，Germany”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5076403348“，”display_name“：”Martin Pl\u00fccker“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I887968799“，”display_name“：”亚琛工业大学“，”ror“：”https://ror.org/04xfq0f34“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I887968799“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Martin Pl\u00fccker“，”raw _ afiliation_strings“：[“LuFG Informatik 2，RWTH Aachen University，Aachen，Germany”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A50582000123“，”display_name“：”Peter Schneider\u2013Kamp“，”orcid“：”https://orcid.org/0000-0003-4000-5570}，“机构”：[{“id”：https://openalex.org/I177969490“，”display_name“：”南丹麦大学“，”ror“：”https://ror.org/03yrrjy16“，”country_code“：”DK“，”type“：“教育”，”世系“：[”https://openalex.org/I177969490“]}]，”国家“：[”DK“]，”is_corresponding“：false，”raw_author_name“：”Peter Schneider-Kamp“，”raw_affiliation_strings“：[“丹麦欧登塞南丹麦大学数学与计算机科学系”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5072166791“，”display_name“：”Thomas Str\u00f6der“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I887968799“，”display_name“：”亚琛理工大学“，”ror“：”https://ror.org/04xfq0f34“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I887968799“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Thomas Str\u00f6der“，”raw _ afiliation_strings“：[“LuFG Informatik 2，RWTH Aachen University，Aachen，Germany”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5089738850“，”display_name“：”Stephanie Swiderski“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210134330“，”display_name“：”交互式仪器（德国）“，”ror“：”https://ror.org/03hcjbn12“，”country_code“：”DE“，”type“：“company”，”lineage“：[”https://openalex.org/I4210134330“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Stephanie Swiderski“，”raw _ afiliation_strings“：[“Interactive Pioneers GmbH，Hamburg，Germany”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5078037586“，”display_name“：”Ren\u00e9 Thiemann“，”orcid“：”https://orcid.org/0000-0002-0323-8829}，“机构”：[{“id”：https://openalex.org/I190249584“，”display_name“：”因斯布鲁克大学“，”ror“：”https://ror.org/054pv6659“，”country_code“：”AT“，”type“：“教育”，”世系“：[”https://openalex.org/I190249584“]}]，”国家“：[”AT“]，”is_corresponding“：false，”raw_author_name“：”Ren\u00e9 Thiemann“，”raw _ afiliation_strings“：[“奥地利因斯布鲁克大学计算机科学研究所”]}]“countries _ distinct_count”：4，”institutions _ disting_count“：7，”corresponding_author_ids“：【”https://openalex.org/A5025232172“]，”对应机构_ids“：[”https://openalex.org/I887968799“]，”apc_list“：{”value“：2290，”currency“：”EUR“，”value_usd“：2890，”provenance“：”doaj“}，”apc _payed“：”{“value”：2290、”current“：”欧元“，”value_usd”：2890、“provenance”：“doaj”}、“has_fulltext”：true、“fulltext_origin”：“pdf”、“cited_by_count”：110、“citecd_by_percentile_year”：{“min”：98、“max”：99}，“biblio”：{“volume”：“58”，“issue”：“1”，“first_page”：“3”，“last_page”：”31“}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9992，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9974，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.53635}，{”id“：”https://openalex.org/keywords/automated-testing网站“，”display_name“：”自动测试“，”score“：0.534521}，{”id“：”https://openalex.org/keywords/program-repair（https://openalex.org/keywords/program-repair）“，”display_name“：”程序修复“，”score“：0.508612}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7772842}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.768821}，{”id“：”https://openalex.org/C2780624054，“wikidata”：https://www.wikidata.org/wiki/Q34010“，”display_name“：”Haskell“，”level“：3，”score“：0.73194826}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.71673256}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.6234138}，{”id“：”https://openalex.org/C81721847，“wikidata”：https://www.wikidata.org/wiki/Q163468“，”display_name“：”Prolog“，”level“：2，”score“：0.54101837}，{”id“：”https://openalex.org/C61797465，“wikidata”：https://www.wikidata.org/wiki/Q1188986“，”display_name“：”Term（time）“，”level“：2，”score“：0.4612597｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.45215958}，{”id“：”https://openalex.org/C42383842，“wikidata”：https://www.wikidata.org/wiki/Q193076“，”display_name“：”函数编程“，”level“：2，”score“：0.32676888}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.17844388}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10817-016-9388-y“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S99781599“，”display_name“：”自动推理杂志“，”issn_l“：”0168-7433“，”isn“：[”0168-8433“、”1573-0670“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://eprints.bbk.ac.uk/id/eprint/16551/1/JAR-AProVE.pdf，“pdf_url”：https://eprints.bbk.ac.uk/id/eprint/16551/1/JAR-AProVE.pdf，“源”：{“id”：https://openalex.org/S43064066“，”display_name“：”BIROn（伦敦大学伯克贝克分校）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I98259816“，”host_organization_name“：”伦敦大学伯克贝克“，”host_organization_lineage“：[”https://openalex.org/I98259816“]，”“host_organization_lineage_names”：[“Birkbeck，University of London”]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://portal.findresearcher.sdu.dk/da/publications/aa819b68-4b0c-420a-bd2a-5a0e8518d56d，“pdf_url”：https://findresearcher.sdu.dk/ws/files/141379108/Analyzing_Program_Termination_and_Complexity_Automaticaly_with_AProVE.pdf，“源”：{“id”：https://openalex.org/S4306400423“，”display_name“：”南丹麦大学研究门户（南丹麦大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I177969490“，”“host_organization_name”：“南丹麦大学”，“host_ordanization_lineage”：[“https://openalex.org/I177969490“]，”host_organization_lineage_names“：[”南丹麦大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://eprints.bbk.ac.uk/id/eprint/16551/1/JAR-AProVE.pdf，“pdf_url”：https://eprints.bbk.ac.uk/id/eprint/16551/1/JAR-AProVE.pdf，“源”：{“id”：https://openalex.org/S43064066“，”display_name“：”BIROn（伦敦大学伯克贝克分校）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I98259816“，”host_organization_name“：”伦敦大学伯克贝克“，”host_organization_lineage“：[”https://openalex.org/I98259816“]，”host_organization_lineage_names“：[”Birkbeck，University of London“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/9“，”score“：0.53，”display_name“：”工业、创新和基础设施“}]，”grants“：[{”funder“：”https://openalex.org/F4320320879“，”funder_display_name“：”Deutsche Forschungsgemeinschaft“，”award_id“：”GI 274/6-1“}，{”funder“：”https://openalex.org/F4320321181“，”“funder_display_name”：“奥地利科学基金”，“award_id”：“Y757”}，{“funder”：“https://openalex.org/F4320338294“，”“funder_display_name”：“空军研究实验室”，“award_id”：null}]，“referenced_works_count”：44，“referrenced_works”：[“https://openalex.org/W91193428","https://openalex.org/W108605113","https://openalex.org/W188927585","https://openalex.org/W197252015","https://openalex.org/W647806872","https://openalex.org/W1480909796","https://openalex.org/W1482572800","https://openalex.org/W1484559376","https://openalex.org/W1489253037","https://openalex.org/W1505286461","https://openalex.org/W1508261706","https://openalex.org/W1518705996","https://openalex.org/W1521232193","https://openalex.org/W1523037784","https://openalex.org/W1530375435","https://openalex.org/W1543075099","https://openalex.org/W1565898282","https://openalex.org/W1589106570","https://openalex.org/W1608799719","https://openalex.org/W1788078288","https://openalex.org/W1808131711","https://openalex.org/W1875182499","https://openalex.org/W1996245589","https://openalex.org/W1996748114","https://openalex.org/W2001932052","https://openalex.org/W2043100293","https://openalex.org/W2081479337","https://openalex.org/W2094896759","https://openalex.org/W2099473324","https://openalex.org/W2106192381","https://openalex.org/W2115215132","https://openalex.org/W2117247884","https://openalex.org/W2123968982","https://openalex.org/W2136514805","https://openalex.org/W2142593419","https://openalex.org/W2147263168","https://openalex.org/W2153007413","https://openalex.org/W2461846980","https://openalex.org/W2471272254","https://openalex.org/W2484748087","https://openalex.org/W2605289564","https://openalex.org/W2911880377","https://openalex.org/W2913313741","https://openalex.org/W4301217393“]，”related_works“：[”https://openalex.org/W2890993444","https://openalex.org/W4242201395","https://openalex.org/W2112263414","https://openalex.org/W1602185604","https://openalex.org/W55831818","https://openalex.org/W3004782279","https://openalex.org/W2028779182","https://openalex.org/W4242678340","https://openalex.org/W2140654465","https://openalex.org/W2129253059“]，”ngrams_url“：”https://api.openalex.org/works/W2533836568/ngrams网站“，”“abstract_inverted_index”：{“In”：[0,23]，“this”：[1]，“system”：[2]，“description”：[3]，“we”：[4,92]，“present”：[5,93]，“the”：[6,69,98]，“tool”：[7]，“AProVE”：[8,31,46,88]，“for”：[9,68,97]，“automatic”：[10,84]，“termination”：[11,62]，“and”：[12,20,63]，“complexity”：[13,66]，“证明”：[14,75]，“of”：[15,56]，“Java”，：[16]，“C”，“：[17]，“Haskell，”：[18]，“Prolog，”“：[19]，”重写“：[21,28,34,71]，”系统。“：[22,72]，”addition“：[24]，”to“：[25,50,60,64,79]，”classical“：/26]，”term“：[27]，”systems“：[29,35]，”（TRS）“，”：[30]，”also“：[32]，”supports“：[33]，”containing“：[36]，”inbuild“：[37]，”integers“：[38]，”。“：[39]，”To“：[40，86]，”analyze“：[41]，”programs“：[42]，”in“：[43，89]，”high-level“：[44]，”languages“：[45]，”automatically“：[47]，”converters“：[48]，”they“：[49]，”（int-）TRSs“。“：[51]，”Then，“：[52]，”a“：[53,94]，”wide“：[54]，”range“：[55]，”technologies“：[57]，”is“：[58]，”employed“：[59]，”prove“：[61]，”infer“：[65]，”bounds“：[67]，”resulting“：[70]，”The“：[73]，”generated“：[74]，”can“：[76]，”be“：[77]，”export“：[78]，”check“：[80]，”their“：[81]，“正确性”：[82]，“使用”：[83]，“证明人”。“：[85]，”使用“：[87]，”软件“：[90101]，”构造“：[91]，”对应“：[95]，”插件“：[96]，”流行“：[99]，”Eclipse“：[100]，”开发“：[102]，”环境。“：[103]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2533836568“，”counts_by_year“：[{”年“：2024，”cited_by_count“：5}，{”年份“：2023，”cited_by_count”：11}，“{”年度“：2022，”citecd_by_count“：11}.，{“年份”：2021，”citesd_by_count“:23}，”年“2020，”citted_by-count“:12}，“年份”：2017，“引用_by_count”：8}，{“年度”：2016，“引用_ by_counts”：1}]，“更新日期”：“2024-05-04T19:34:32.108768“，”创建日期“：”2016-10-28“}