{“id”：“https://openalex.org/W2159843102“，”doi“：”https://doi.org/10.3233/fi-2011-412“，”title“：”节省时间效率模拟算法中的空间“，”display_name“：”节约时间效率仿真算法中的时间“，”publication_year“：2011，”publiation_date“：”2011-01-01“，”ids“：{”openalex“：”https://openalex.org/W2159843102“，”doi“：”https://doi.org/10.3233/fi-2011-412“，”mag“：”2159843102“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.3233/fi-2011-412“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S39012697“，”display_name“：”Fundamental Informaticae“，”issn_l“：”0169-2968“，”isn“：[”0169-2368“，”1875-8681“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310318577“，”“host_organization_name”：“IOS新闻”，“host_ordanization_lineage”：[“https://openalex.org/P4310318577“]，”host_organization_lineage_names“：[”IOS Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexd_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”https://drops.dagstuhl.de/opus/volltexte/2021/14380/pdf/LIPIcs-CONCUR-2021-3.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5047065626“，”display_name“：”Silvia Craf\u00e0“，”orcid“：”https://orcid.org/0000-0003-0993-4734}，“机构”：[{“id”：https://openalex.org/I138689650“，”display_name“：”帕多瓦大学“，”ror“：”https://ror.org/00240q980“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I138689650“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Silvia Crafa“，”raw _ afiliation_strings“：[“意大利帕多瓦大学公共应用研究所。{Crafa，ranzato，tapparo}@math.unipd.IT”]，”从属关系“：[{”raw _affiliation_string“：”意大利帕多瓦大学Matematica Pura ed Applicata研究生。{crafa，ranzato，tapparo}@math.unipd.it“，”机构ID“：[”https://openalex.org/I138689650“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5000629161“，”display_name“：”Francesco Ranzato“，”orcid“：”https://orcid.org/0000-0003-0159-0068}，“机构”：[{“id”：https://openalex.org/I138689650“，”display_name“：”帕多瓦大学“，”ror“：”https://ror.org/00240q980“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I138689650“]}，{”id“：”https://openalex.org/I4210162154“，”display_name“：”IMDEA软件“，”err“：”https://ror.org/04xvfkh51“，”国家代码“：”ES“，”类型“：”设施“，”沿袭“：[”https://openalex.org/I105140100","https://openalex.org/I4210162154“]}]，”countries“：[”ES“，”IT“]，”is_corresponding“：false，”raw_author_name“：”Francesco Ranzato“，”raw _affiliation_strings“：【”意大利帕多瓦大学马特马提卡研究生院Pura ed Applicata“。{crafa，Ranzato，taparo}@math.unipd.IT“，”西班牙马德里IMDEA软件研究所“】，”affiliations“：[{”raw _affiliation_string“：”意大利帕多瓦大学Matematica Pura ed Applicata研究生。{crafa，ranzato，tapparo}@math.unipd.it“，”机构ID“：[”https://openalex.org/I138689650“]}，{”raw_affiliation_string“：”西班牙马德里IMDEA软件研究所“，”institution_ids“：[”https://openalex.org/I4210162154“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5054963482“，”display_name“：”Francesco Tapparo“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I138689650“，”display_name“：”帕多瓦大学“，”ror“：”https://ror.org/00240q980“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I138689650“]}，{”id“：”https://openalex.org/I4210162154“，”display_name“：”IMDEA软件“，”err“：”https://ror.org/04xvfkh51“，”国家代码“：”ES“，”类型“：”设施“，”沿袭“：[”https://openalex.org/I105140100","https://openalex.org/I4210162154“]}]，”countries“：[”ES“，”IT“]，”is_corresponding“：false，”raw_author_name“：”Francesco Tapparo“，”raw _affiliation_strings“：【”意大利帕多瓦大学马特马提卡研究生院Pura ed Applicata。{crafa，ranzato，taparo}@math.unipd.IT“，”西班牙马德里IMDEA软件研究所“】，”affiliations“：[{”raw _affiliation_string“：”意大利帕多瓦大学Matematica Pura ed Applicata研究生。{crafa，ranzato，tapparo}@math.unipd.it“，”institution_ids“：[”https://openalex.org/I138689650“]}，{”raw_affiliation_string“：”西班牙马德里IMDEA软件研究所“，”institution_ids“：[”https://openalex.org/I4210162154“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[]、“corresconding_institution_ids“：[].”apc_list“：null，”apc_payed“：null，”fwci“：1.589，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：11，“citation_normalized_percentile”：{“value”：0.71992，“is_in_top_1_percent”：假，“is_in_top_10_percent“：false｝，”cited_by_percentle_year“：｛”min“：86，”max“：87｝，”biblio“：｛”volume“：”108“，”issue“：”1-2“，”first_page“：”23“，”last_page“：”42“｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：1.0，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：1.0，“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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9977，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9969，“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/keywords/preorder“，”display_name“：”Preorder“，”score“：0.6159155}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.513896}，{”id“：”https://openalex.org/keywords/tool-integration网站“，”display_name“：”工具集成“，”score“：0.5}，{”id“：”https://openalex.org/keywords/representation（https://openalex.org/keywords/representation）“，”display_name“：”Representation（politics）“，”score“：0.41852027}]，”concepts“：[{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.7362045}，{”id“：”https://openalex.org/C2333172网址，“wikidata”：https://www.wikidata.org/wiki/Q1425985“，”display_name“：”Preorder“，”level“：2，”score“：0.6159155}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.59157646}，{”id“：”https://openalex.org/C72434380，“wikidata”：https://www.wikidata.org/wiki/Q230930“，”display_name“：”状态空间“，”level“：2，”score“：0.5364768}，{”id“：”https://openalex.org/C311688，“wikidata”：https://www.wikidata.org/wiki/Q2393193“，”display_name“：”时间复杂性“，”level“：2，”score“：0.48903522}，{”id“：”https://openalex.org/C42812，“wikidata”：https://www.wikidata.org/wiki/Q1082910“，”display_name“：”分区（数论）“，”level“：2，”score“：0.4882324}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.44462672}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.42384714}，{”id“：”https://openalex.org/C2776359362，“wikidata”：https://www.wikidata.org/wiki/Q2145286“，”display_name“：”Representation（politics）“，”level“：3，”score“：0.41852027}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.41846228}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.39478302}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.28397042}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.108861804}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”display_name“：”古生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”政治“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748“，”display_name“：”Law“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.3233/fi-2011-412“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S39012697“，”display_name“：”Fundamental Informaticae“，”issn_l“：”0169-2968“，”issn“：[”0169-2968“，”1875-8681“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310318577“，”“host_organization_name”：“IOS新闻”，“host_ordanization_lineage”：[“https://openalex.org/P4310318577“]，”host_organization_lineage_names“：[”IOS Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“网址：http://www.math.unipd.it/~ranzato/papers.html“，”pdf_url“：”https://drops.dagstuhl.de/opus/volltexte/2021/14380/pdf/LIPIcs-CONCUR-2021-3.pdf，“源”：{“id”：https://openalex.org/S4306402547“，”display_name“：”帕多瓦研究档案馆（帕多瓦大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I138689650“，”“host_organization_name”：“帕多瓦大学”，“host_organization_lineage”：[“https://openalex.org/I138689650“]，”host_organization_lineage_names“：[”帕多瓦大学“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”http://hdl.handle.net/11577/2434609，“pdf_url”：https://www.research.unipd.it/bitstream/111577/2434609/1/originalFinalVersion.pdf，“源”：{“id”：https://openalex.org/S4377196283“，”display_name“：”帕多瓦研究档案馆（帕多瓦大学）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I138689650“，”“host_organization_name”：“帕多瓦大学”，“host_organization_lineage”：[“https://openalex.org/I138689650“]，”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“：”网址：http://www.math.unipd.it/~ranzato/papers.html“，”pdf_url“：”https://drops.dagstuhl.de/opus/volltexte/2021/14380/pdf/LIPIcs-CONCUR-2021-3.pdf，“源”：{“id”：https://openalex.org/S4306402547“，”display_name“：”帕多瓦研究档案馆（帕多瓦大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I138689650“，”“host_organization_name”：“帕多瓦大学”，“host_organization_lineage”：[“https://openalex.org/I138689650“]，”host_organization_lineage_names“：[”帕多瓦大学“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W125598877","https://openalex.org/W1498432697","https://openalex.org/W1507985299","https://openalex.org/W1511995155","https://openalex.org/W1543732613","https://openalex.org/W1550751956","https://openalex.org/W1594530072","https://openalex.org/W1599236338","https://openalex.org/W1644968762","https://openalex.org/W1685060813","https://openalex.org/W1737886586","https://openalex.org/W1816620374","https://openalex.org/W1965244712","https://openalex.org/W1970236925","https://openalex.org/W1992694179","https://openalex.org/W2007281030","https://openalex.org/W2008838944","https://openalex.org/W2014764321","https://openalex.org/W2016143798","https://openalex.org/W2043100293","https://openalex.org/W2067785662","https://openalex.org/W2072651477","https://openalex.org/W2076334860","https://openalex.org/W2098817244","https://openalex.org/W2106388690","https://openalex.org/W2124325155","https://openalex.org/W2129934517","https://openalex.org/W2145018133","https://openalex.org/W2148195254","https://openalex.org/W2149907859","https://openalex.org/W2502084936","https://openalex.org/W2522043470","https://openalex.org/W2769117969","https://openalex.org/W2796681537","https://openalex.org/W2804031838网址","https://openalex.org/W2804787400","https://openalex.org/W2911452205","https://openalex.org/W2912640545","https://openalex.org/W2913459036","https://openalex.org/W2928024470","https://openalex.org/W2952908521","https://openalex.org/W2963193488","https://openalex.org/W2978380005","https://openalex.org/W2988881205","https://openalex.org/W3095975663","https://openalex.org/W3114699776","https://openalex.org/W6269798“]，”related_works“：[”https://openalex.org/W4292607487","https://openalex.org/W2793104284","https://openalex.org/W2579634771","https://openalex.org/W2113177679","https://openalex.org/W2059384236","https://openalex.org/W2034019356","https://openalex.org/W2024848178","https://openalex.org/W2008052156","https://openalex.org/W1993063311","https://openalex.org/W1495199168“]，”abstract_inverted_index“：{”We“：[0]，”introduce“：[1]，”an“：[2,57,62189]，”algorithmic“：[3201]，”framework“：[4202]，”to“：[5150206]，”decise“：[6]，”是否“：[7]，”include“：[8,63117208]，”holds“：[9118]，”between“：[10,66]，”languages“：[11]，“of”：[12,24,34,41,56,80,90108124126156175199 210]，“无限”：[13,39,58]，“单词”：[14,40]，“超过”：[15]，“a“：[16,30,48,53,73,78136153]，”有限“：[17,49,54,83104]，”字母表。我们的“：[18]，”方法“：[19]，”falls“：[20]，”in“：[21]，”the“：[22，9120127145171176186197207]，”class“：[23]，”Ramsey based“：[25]，”methods“：[26]，”and“：[27，51，98164173]，”dependent“：[28]，”on“：[29，82218]，”least“：[31，92]，”fixpoint“：[32，93]，”characterization“：[33]，”\u03c9 languages“：[35]，“杠杆作用”：[36]，“最终”：[37]，“周期性”：[38]，“类型”：[42]，“uv”：[43]，“\u03c9”：[44]，“，”：[45]，“with”：[46]，“u”：[47]，“prefix”：[50]，“v”：【52】，“period”：【55】，“word.We”：【59】，“put”：【60】“：[70]，”设计“：[71]，”作为“：[72]，”完成“：[74]，”抽象“：[75]，”解释“：[76]，”使用“：[77]，”配对“：[79]，“良好拟序”：[81]，“words.BAInc”：[84]，“is”：[85]，“quite”：[86]，“simple:”：[87]，“it”：[88205]，“composes”：[89]，“two”：[91]，“calculations”：[94]，“（one”：[95]，“for”：[96101]，“prefixes”：[97]，“other”：[100]，“periods”）：[102]，“manipating”：[103]，“set”：[105121]，“of”：[106122]，“pairs）”：[107123]，“states”：[109125]，“compared”：[110]，“by”：[11203]，“set”：[112]，“包含”，：[113]，“so”：[114]，“that”：[115140183]，“language”：[116]，“when”：[119]，“fixpoints”：[128]，“satisfy”：[129]，“seme”：[130]，“basic”：[131]，“conditions.We”：%132]，“implemented”：[133]，“BAInc”：[134]，“in”：[135148]，“tool”：[137]，“BAIT”：[139184]，“We”：141195]，“experimental”“：[142]，”评估“：[143]，”对抗“：[144]，”最先进。我们“：[146]，“聚集”：[147]，“添加”：[149]，“现有”：[151]，“基准”，：[152]，“大型”：[154]，“数字”：[155]，“新”：[157]，“案例”：[158]，“研究”：[159]，“词干化”：[160]，“源”：[161]，“程序”：[162]，“验证”：[163]，“单词”：[165]，“组合学”：[166]，“由此”：[167]，“显著”：[168]，“扩展”：[169]，“两者”：[170]，“范围”：[172]，“大小”：[174]，“可用”：[177]，“基准”：[178]，“设置。我们的”：[179]，“实验”：[180]，“结果”：[181]，“显示”：[182]，“进步”：[185]，“最先进”：[187]，“压倒性”：[190]，“多数”：[191]，“这些”：[193]，“标准。最后，“：[194]，”证明“：[196]，”通用性“：[198]，”我们的“：[200]，“实例化”：[204]，“问题”：[209]，“下推”：[212]，“自动机”：[213]，“到”：[214]，“自动机”：[216]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W2159843102“，”counts_by_year“：[{”年份“：2021，”cited_by_count“：1}，{”年“：2019，”ciped_by_cunt“：1\n，{“年份”：2017，”cited_by_count”：2}，“年”：2014，”citted_by_count“:1}，”{“年度”：2013，”citecd_by-count“:1}、{”年度“：2012，”citesd_by/count“:4}]，”更新日期“：”2024-09-16T13:10:28.795566“，”创建日期“：”2016-06-24“}