{“id”：“https://openalex.org/W2053679183“，”doi“：”https://doi.org/10.1016/j.entcs.2010.08.006“，”title“：”Combinating Model Reductions“，”display_name“：”组合模型约简“，”publication_year“：2010，”publiation_date“：”2010-09-01“，”ids“：{”openalex“：”https://openalex.org/W2053679183“，”doi“：”https://doi.org/10.1016/j.entcs.2010.08.006“，”mag“：”2053679183“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2010.08.006“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“gold”，“oa_url”：“”https://doi.org/10.1016/j.entcs.2010.08.006“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5018606461“，”display_name“：”Ferdinanda Camporesi“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I29607241“，”display_name“：”\u00c9cole Normale Sup\u00e9rieure-PSL“，”ror“：”https://ror.org/05a0dhs15“，”country_code“：”FR“，”type“：“other”，”lineage“：[”https://openalex.org/I29607241“]}，{”id“：”https://openalex.org/I1326498283“，”“display_name”：“Institute national de recherche en informatique et en automatique”，“错误”：“https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}，{”id“：”https://openalex.org/I9360294“，”display_name“：”博洛尼亚大学“，”ror“：”https://ror.org/0111rn36“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I9360294“]｝]，”国家“：[”FR“，”IT“]，”is_corressing“：true，”raw_author_name“：”Ferdinanda Camporesi“，”raw_affiation_strings“：[”意大利博洛尼亚博洛尼亚大学信息科学系“，”Laboratoire d'informatique de l'\u00c9cole normale sup\u00e9rieure，（INRIA/\u00c9NS/CNRS），法国巴黎“]，”附属机构“：[｛”raw_affiliation_string“：”Laboratoire d'informatique de l'\u00c9cole normale sup\u00e9rieure，（INRIA/\u00c 9NS/CNRS），法国巴黎“，”institution_ids“：[”https://openalex.org/I29607241","https://openalex.org/I1326498283","https://openalex.org/I1294671590“]}，{”raw_affiliation_string“：”意大利博洛尼亚博洛尼亚大学信息科学研究院“，”institution_ids“：[”https://openalex.org/I9360294“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5085031854“，”display_name“：”J\u00e9r\u00f4me Fer\u00eat“，”orcid“：”https://orcid.org/0000-0002-2601-2785}，“机构”：[{“id”：https://openalex.org/I29607241“，”display_name“：”\u00c9cole Normale Sup\u00e9rieure-PSL“，”ror“：”https://ror.org/05a0dhs15“，”country_code“：”FR“，”type“：“other”，”lineage“：[”https://openalex.org/I29607241“]}，{”id“：”https://openalex.org/I1326498283“，”“display_name”：“Institute national de recherche en informatique et en automatique”，“错误”：“https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”J\u00e9r\u00f4me Feret“，”raw _affiliation_strings“：[“Laboratoire d'informatique de l'\u00c9cole normale sup\u00e 9rieure，（INRIA/ENS/CNRS），法国巴黎“]，“affiliations”：[{“raw_affiliation _string”：“Laboratoroire d'infomatique de l’\u00c正常供应（INRIA/ENS/CNRS），巴黎，法国“，”institution_ids“：[”https://openalex.org/I29607241","https://openalex.org/I1326498283","https://openalex.org/I1294671590“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5091329327“，”display_name“：”Aude Maignan“，”orcid“：”https://orcid.org/0000-0002-0905-2515}，“机构”：[{“id”：https://openalex.org/I5124864“，”display_name“：”\u00c9cole Polytechnology F\u00e9d\u00e9洛桑罗勒“，”ror“：”https://ror.org/02s376052“，”country_code“：”CH“，”type“：“教育”，”世系“：[”https://openalex.org/I2799323385","https://openalex.org/I5124864“]}]，”国家“：[”CH“]，”is_corresponding“：true，”raw_author_name“：”Heinz Koeppl“，”raw _ afiliation_strings“：[“瑞士洛桑EPFL计算机与通信科学学院”]，”affiliations“：[{”raw _affiliation_strong“：”瑞士洛桑EP FL计算机和通信科学学院“，”institution_ids“：[https://openalex.org/I5124864“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5091695783“，”display_name“：”Tatjana Petrov“，”orcid“：”https://orcid.org/0000-0002-9041-0905}，“机构”：[{“id”：https://openalex.org/I5124864“，”display_name“：”\u00c9cole Polytechnology F\u00e9d\u00e9洛桑罗勒“，”ror“：”https://ror.org/02s376052“，”country_code“：”CH“，”type“：“教育”，”世系“：[”https://openalex.org/I2799323385","https://openalex.org/I5124864“]}]，”国家“：[”CH“]，”is_corresponding“：true，”raw_author_name“：”Tatjana Petrov“，”raw _affiliation_strings“：[“瑞士洛桑EPFL计算机与通信科学学院”]，”affiliations“：[{”raw _affiliation_string“：”瑞士洛桑PPFL计算机和通信科学学院“，”institution_ids“：[https://openalex.org/I5124864“]}]}]，”countries_disticont_count“：3，”institutions_disticent_count”：5，”corresponding_author_ids“：[”https://openalex.org/A5018606461","https://openalex.org/A5085031854","https://openalex.org/A5091329327","https://openalex.org/A5091695783“]，”对应的机构ID“：[”https://openalex.org/I29607241","https://openalex.org/I1326498283","https://openalex.org/I1294671590","https://openalex.org/I9360294","https://openalex.org/I29607241","https://openalex.org/I1326498283","https://openalex.org/I1294671590","https://openalex.org/I5124864","https://openalex.org/I5124864“]，”apc_list“：null，”apc _ paid“：nul，”fwci“：3.031，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：16，”citation_normalized_percentile“：{”value“：0.9146，”is_in_top_1_percent“：false，”is_ in_top_ 10_percennt“：true}，”cited_by_percentile_year“：{”min“：87，”max“：88}，“biblio”：{“volume”：“265”，“issue”：null，“first_page”：“73”，“last_page”：“96”}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9934，”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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9934，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9924，“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/T10044“，”display_name“：”蛋白质结构预测与分析“，”score“：0.9912，”subfield“：{”id“：”https://openalex.org/subfields/1312“，”display_name“：”分子生物学“}，”字段“：{”id“：”https://openalex.org/fields/13“，”“display_name”：“生物化学、遗传学和分子生物学”}，“域”：{“id”：“https://openalex.org/domains/1“，”display_name“：”生命科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/model-transformation网站“，”display_name“：”模型转换“，”score“：0.577175｝，｛”id“：”https://openalex.org/keywords/model-checking（https://openalex.org/keywords/model-checking）“，”display_name“：”模型检查“，”score“：0.551587｝，｛”id“：”https://openalex.org/keywords/ahomology-modeling“，”display_name“：”同源建模“，”score“：0.547719}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.535696}，{”id“：”https://openalex.org/keywords/model-consistency“，”display_name“：”模型一致性“，”score“：0.52999}，{”id“：”https://openalex.org/keywords/operator网站“，”display_name“：”运算符（生物学）“，”score“：0.4472382}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6533522}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.64850223}，{”id“：”https://openalex.org/C11335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686“，”display_name“：”Reduction（mathematics）“，”level“：2，”score“：0.6146054}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5238031}，{”id“：”https://openalex.org/C17020691，“wikidata”：https://www.wikidata.org/wiki/Q139677“，”display_name“：”运算符（生物学）“，”level“：5，”score“：0.4472382}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.38620603}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.27896273}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.20434472}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.11394736}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：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/C158448853，“wikidata”：https://www.wikidata.org/wiki/Q425218“，”display_name“：”Repressor“，”level“：4，”score“：0.0}，{”id“：”https://openalex.org/C86339819，“wikidata”：https://www.wikidata.org/wiki/Q407384“，”display_name“：”转录因子“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2010.08.006“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“http://nbn-resolution.de/urn:nbn:de:bsz:352-2-m9zzw1bc6grt8“，”pdf_url“：”https://kops.uni-konstanz.de/bitstreams/a7793b31-f461-4598-af14-6293c77217d4/下载，“源”：{“id”：https://openalex.org/S4306401487“，”display_name“：”KOPS（康斯坦茨大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I189712700“，”“host_organization_name”：“康斯坦茨大学”，“host_organization_lineage”：[“https://openalex.org/I189712700“]，”host_organization_lineage_names“：[”Konstanz大学“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://infoscience.epfl.ch/record/149896/files/mfpsXXVI.pdf，“pdf_url”：https://infoscience.epfl.ch/record/149896/files/fpsXXVI.pdf，“源”：{“id”：https://openalex.org/S4306400487“，”display_name“：”信息科学（洛桑理工学院F\u00e9d\u00e9专业）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：null，”host_organization_name“:null，，“版本”：“submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2010.08.006“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W1511823635","https://openalex.org/W1599936794","https://openalex.org/W1986649132","https://openalex.org/W2014764321","https://openalex.org/W2040860090","https://openalex.org/W2071523020","https://openalex.org/W2075690166","https://openalex.org/W2114710208","https://openalex.org/W2126852846网址","https://openalex.org/W2163493106","https://openalex.org/W2169193349“]，”related_works“：[”https://openalex.org/W2991618286","https://openalex.org/W2544423928","https://openalex.org/W2352590024","https://openalex.org/W2187401768","https://openalex.org/W2181743346","https://openalex.org/W2181413294","https://openalex.org/W2073681303","https://openalex.org/W2053286651","https://openalex.org/W2052122378","https://openalex.org/W2051487156“]，”abstract_inverted_index“：{”分子“：[0]，”生物“：[1]，”模型“：[2124]，”通常“：[3]，”遭受“：[4]，”来自“：[5]，”a“：[6,24,81]，”大“：[7]，”组合“：[8]，”爆炸。“：[9]，”确实“：[10]，”蛋白质“：[11]，”形式“：[12]，”复合物“：[13]，”和“：[14,48,92]，”修改“：[15]，“each”：[16]，“others”，“：[17]，“which”：[18]，“leads”：[19]，“to”：[20,96115]，““：[21,42104123]，“形成”：[22]，“的”：[23,27,35,45,65106122]，“巨大”：[25]，“数量”：[26]，“独特”：[28]，“化学”：[29]，“物种”：[30]，“（即：[31]，“非同构”：[32]，“连接”：[33]，“成分”：[34]，“蛋白质”）。“：[36]，”因此“：[37]，”我们“：[38,70,79,93]，”不能“：[39]，”生成“：[40]，”显式“：[41]，”定量“：[43120]，”语义“：[44,91121]，”这些“：[46]，”模型“：[47]，”偶数“：[49]，”较少“：[50]，”计算“：[51]，”它们的“：[52]，”属性。“：[53]，”模型“：[54]，”约简“：[55]，”目标“：[56]，”at“：[57]，”减少“：[58]，”this“：[59,68]，”复杂性“：[60]，”by“：[61103130]，”provided“：[62]，”another“：[63]，”grain“：[64]，”observation“。“：[66]，”In“：[67]，”paper“：[69]，”propose“：[71,80]，”two“：[72]，”unifying“：[73]，”frameworks“：[74112]，”for“：[75,85,89]，”combining“：[76,86]，”model“：[77,87]，”reducations:“：”：[78]，“symmetric”：[82]，“product”：[83]，“operator”：[84]，“reducations”：[88]，“随机”：[90]，“show”：[94]，”“如何”：[95]，“摘要”：[97116]，“进一步”：[98117]，“现有”：[99118]，“减少”：[100119]，“差分”：[101]，“系统”：[102]，“表示”：[105]，“线性”：[107]，“投影”。“：[108]，”We“：[109]，”apply“：[110]，”both“：[111]，”so“：/113]，”as“：[114]，”that“：[125]，”are“：/126]，”writed“：[127]，”in“：[128138]，”Kappa，“：[129]，”taking“：[131]，”into“：[132]，”account“：%133]，”symmetures“：[134]，”interm“：[135]，”binding“:136]，”sites“：+137]，”proteins。“：[139]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2053679183“，”counts_by_year“：[{”year“:2023，”cited_by_count“：1}，{”year“：2019，”cited_by_count”：2}，}”year:2017，”citecd_by_count“：1}，”{“year”：2016，”citesd_by_count“:3}，“year（年）：2015，”ciped_by_cunt“:3}，d_date“：”2024-09-01T01:24:48.227153“，”创建日期“：”2016-06-24“}