{“id”：“https://openalex.org/W2086682999“，”doi“：”https://doi.org/10.1145/2603088.2603154“，”title“：“同步的几何体”，”display_name“：”同步的几何结构“，”publication_year“：2014，”publiation_date“：”2014-07-14“，”ids“：{”openalex“：”https://openalex.org/W2086682999“，”doi“：”https://doi.org/10.1145/2603088.2603154“，”mag“：”2086682999“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2603088.2603154“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”preprint“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://inria.hal.science/hal-01091560/document（英文）“，”any_repository_has_fulltext“：true｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5084450516“，”display_name“：”Ugo Dal Lago“，”orcid“：”https://orcid.org/0000-0001-9200-070X}，“机构”：[{“id”：https://openalex.org/I9360294“，”display_name“：”博洛尼亚大学“，”ror“：”https://ror.org/0111rn36“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I9360294“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Ugo Dal Lago“，”raw _affiliation_strings“：[“DISI-Dipartimento di Scientize dell'Informazione[博洛尼亚]（Mura Anteo Zamboni，7 40127 Bologna-意大利）”，“FOCUS-基于组件的泛在系统的基础（Dipartimentato di Informatica-Scientiza e Ingegneria（DISI）\\r\n博洛尼亚大学\r\nMura Anteo Zamboni，7\r\n40126博洛尼亚\r\nITALY-意大利机构ID“：[”https://openalex.org/I9360294“]}，{”raw_affiliation_string“：”DISI-科学研究部dell'Informazione[博洛尼亚]（Mura Anteo Zamboni，7 40127博洛尼亚-意大利-意大利）“，”institution_ids“：[]}]}、{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5028757410“，”display_name“：”Claudia Faggian“，”orcid“：”https://orcid.org/0009-0009-8875-3595“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Claudia Faggian“，”raw_affiliation_strings“：[”CNRS“]，”从属关系“：[{”raw_affiliation_string“：”CNRS”，“institution_ids“：[]}”，{“author_position”：“middle”，“author”：{“id”：“”https://openalex.org/A5013382452“，”display_name“：”哈朔一郎“，”兽人“：”https://orcid.org/0000-0002-8300-4650}，“机构”：[{“id”：https://openalex.org/I74801974“，”display_name“：”东京大学“，”ror“：”https://ror.org/057zh3y96“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I74801974“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Ichiro Hasuo“，”raw _affiliation_strings“：[“UTokyo-东京大学（7 Chome-3-1 Hongo，Bunkyo，Tokyo 113-8654，Japon-Japan）”]，“afliations”：[{“raw_affiliation _string”：“UTokyou-东京大学（7 Chome-3-1 Hongo、Bunkyo，Toky 113-8654-，Japon-Japan-Japan-日本）”，“机构ID“：[”https://openalex.org/I74801974“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5069536246“，”display_name“：”Akira Yoshimizu“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I74801974“，”display_name“：”东京大学“，”ror“：”https://ror.org/057zh3y96“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I74801974“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Akira Yoshimizu“，”raw _ afiliation_strings“：[“UTokyo-东京大学（7 Chome-3-1 Hongo，Bunkyo，Tokyo 113-8654，Japon-Japan）”]，“affiliations”：[{“raw _ author_name”：“UTokyo-东京大学“”机构ID“：[”https://openalex.org/I74801974“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null，”fwci“：null，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：15，”citation_normalized_percentile“：{”value“：0.892102，”is_in_top_1_percent“：假，“is_in_top_10_percent”：假}，“cited_by_percentle_year”：｛“min”：89，“max”：90｝，“biblio”：｛“volume”：null，“issue”：null，“first_page”：null，“last_page”：null｝，“is_retracted”：false，“is_paratext”：false，“primary_topic”：｛“id”：https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9993，“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/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9988，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”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/multicore-architectures网站“，”display_name“：”Multicore Architectures“，”score“：0.510861}，{”id“：”https://openalex.org/keywords/bequinchmarking（https://openalex.org/关键词/基准测试）“，”display_name“：”标杆管理“，”score“：0.508466}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.506139}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”Separation Logic“，”score“：0.503243}]，”concepts“：[{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.7571218}，{”id“：”https://openalex.org/C48145219，“wikidata”：https://www.wikidata.org/wiki/Q1335365网址“，”display_name“：”安全令牌“，”level“：2，”score“：0.7190042}，{”id“：”https://openalex.org/C2778562939，“wikidata”：https://www.wikidata.org/wiki/Q1298791“，”display_name“：”同步（交流）“，”level“：3，”score“：0.70964265}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6631327}，{”id“：”https://openalex.org/C28077239，“wikidata”：https://www.wikidata.org/wiki/Q841728“，”display_name“：”线性逻辑“，”level“：2，”score“：0.62262356}，{”id“：”https://openalex.org/C2780801425，“wikidata”：https://www.wikidata.org/wiki/Q5164392“，”display_name“：”Construct（python库）“，”level“：2，”score“：0.6116081}，{”id“：”https://openalex.org/C2778029271，“wikidata”：https://www.wikidata.org/wiki/Q5421931“，”display_name“：”扩展（谓词逻辑）“，”level“：2，”score“：0.52281034}，{”id“：”https://openalex.org/C11335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686网址“，”display_name“：”Reduction（mathematics）“，”level“：2，”score“：0.44505864}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.40754753}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.34418422}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.32075006｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.26575243}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.21601185}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.19780168}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.08917263}，{”id“：”https://openalex.org/C127162648，“wikidata”：https://www.wikidata.org/wiki/Q16858953“，”display_name“：”频道（广播）“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：4，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2603088.2603154“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://hal.inia.fr/hal-01091560，“pdf_url”：https://inria.hal.science/hal-01091560/document（英文），“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”版本“：”提交版本“，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”https://hal.inia.fr/hal-01091560/file/main.pdf，“pdf_url”：https://hal.inia.fr/hal-01091560/file/main.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.inia.fr/hal-01091560/document，“pdf_url”：https://hal.inia.fr/hal-01091560/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://hal.inia.fr/hal-01091560，“pdf_url”：https://inria.hal.science/hal-01091560/文档，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：{”funder“：”https://openalex.org/F4320320883“，”funder_display_name“：”Recherche国家机构“，”award_id“：null}，{”funder“：”https://openalex.org/F4320334764“，”funder_display_name“：”日本科学促进会“，”award_id“：”24680001“}]，”datasets“：[]，”versions“：[]，”referenced_works_count“：24，”referrenced_works“：[”https://openalex.org/W1484620082","https://openalex.org/W1485153875","https://openalex.org/W1516725688","https://openalex.org/W1661856883","https://openalex.org/W1952524329","https://openalex.org/W1952931766","https://openalex.org/W2027591072","https://openalex.org/W2031689017","https://openalex.org/W2065359627","https://openalex.org/W2079171825","https://openalex.org/W2079948728","https://openalex.org/W2083251128","https://openalex.org/W2096885339","https://openalex.org/W2110661450","https://openalex.org/W2124894117","https://openalex.org/W2132638915","https://openalex.org/W2145862486","https://openalex.org/W2160650896","https://openalex.org/W2169724594","https://openalex.org/W2284927181","https://openalex.org/W2404343791","https://openalex.org/W2911865844","https://openalex.org/W4300166437","https://openalex.org/W80378586“]，”related_works“：[”https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W3119814709","https://openalex.org/W3008339103","https://openalex.org/W2916501969","https://openalex.org/W2725786787","https://openalex.org/W2404647514","https://openalex.org/W2018477250","https://openalex.org/W1667647204","https://openalex.org/W1508895727“]，”abstract_inverted_index“：｛”We“：[0]，”graft“：[1]，”synchronization“：[2,35]，”on“：[3]，”Girard's“：[4]，”Geometry“：[5]，”of“：[6，26，38，53]，”Interaction“：[7]，”in“：[8，58]，”its“：[9]，”most“：[10]，”concrete“：[11]，”form“：[12]，”即“：[13]，”token“：[14]，”machines“：[15]，“这”：[16]，“是”：[17]，“实现”：[18]，“通过”：[19]，“引入”：[20]，“证明网”：[21]，“对于“：[22,44]，”SMLL，“：[23]，”an“：[24]，”extension“：[25]，”multipative“：[27]，”linear“：[28]，”logic“：[29]，”with“：[30]，”a“：[31,39]，”specific“：[32]，”construct“：[3]，”modeling“：[34]，”points，“：[36]，”and“：[37,57,66]，”multi-token“：[40]，”abstract“：[41]，”machine“：[42]，”模型“：[43]，”it“：[45]，”有趣“：[46]，”the“：[47,51,59]，”correctivity“：[48]，”标准“：[49]，”确保“：[50]，”缺席“：[52]，”死锁“：[54]，”沿“：[55]，”减少“：[56]，”基础“：[60]，”机器“：[61]，”此“：[62]，”方式“：[63]，”链接“：[64]，”逻辑“：[65]，”操作“：[67]，”属性。“：[68]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2086682999“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年度”：2021，”“cited_by_cunt”：1'，{”“年份”“：2020，”“cited_by-count”“：3}，”{“年”：2017，“cited_by_contount”