{"id":"https://openalex.org/W3110313536","doi":"https://doi.org/10.46298/lmcs-18(3:7)2022","title":"Modularising Verification Of Durable Opacity","display_name":"Modularising Verification Of Durable Opacity","publication_year":2022,"publication_date":"2022-07-28","ids":{"openalex":"https://openalex.org/W3110313536","doi":"https://doi.org/10.46298/lmcs-18(3:7)2022","mag":"3110313536"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-18(3:7)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(3:7)2022","pdf_url":"https://lmcs.episciences.org/9851/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/9851/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022450101","display_name":"Eleni Bila","orcid":null},"institutions":[{"id":"https://openalex.org/I28290843","display_name":"University of Surrey","ror":"https://ror.org/00ks66431","country_code":"GB","type":"education","lineage":["https://openalex.org/I28290843"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Eleni Bila","raw_affiliation_strings":["University of Surrey"],"affiliations":[{"raw_affiliation_string":"University of Surrey","institution_ids":["https://openalex.org/I28290843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060549428","display_name":"John Derrick","orcid":"https://orcid.org/0000-0002-6631-8914"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"John Derrick","raw_affiliation_strings":["University of Sheffield"],"affiliations":[{"raw_affiliation_string":"University of Sheffield","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075161500","display_name":"Simon Doherty","orcid":"https://orcid.org/0000-0001-8822-1091"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Simon Doherty","raw_affiliation_strings":["University of Sheffield"],"affiliations":[{"raw_affiliation_string":"University of Sheffield","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012214843","display_name":"Brijesh Dongol","orcid":"https://orcid.org/0000-0003-0446-3507"},"institutions":[{"id":"https://openalex.org/I28290843","display_name":"University of Surrey","ror":"https://ror.org/00ks66431","country_code":"GB","type":"education","lineage":["https://openalex.org/I28290843"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Brijesh Dongol","raw_affiliation_strings":["University of Surrey"],"affiliations":[{"raw_affiliation_string":"University of Surrey","institution_ids":["https://openalex.org/I28290843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020041058","display_name":"Gerhard Schellhorn","orcid":"https://orcid.org/0000-0001-6712-7178"},"institutions":[{"id":"https://openalex.org/I179225836","display_name":"University of Augsburg","ror":"https://ror.org/03p14d497","country_code":"DE","type":"education","lineage":["https://openalex.org/I179225836"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gerhard Schellhorn","raw_affiliation_strings":["University of Augsburg"],"affiliations":[{"raw_affiliation_string":"University of Augsburg","institution_ids":["https://openalex.org/I179225836"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046915601","display_name":"Heike Wehrheim","orcid":"https://orcid.org/0000-0002-2385-7512"},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Heike Wehrheim","raw_affiliation_strings":["University of Oldenburg"],"affiliations":[{"raw_affiliation_string":"University of Oldenburg","institution_ids":["https://openalex.org/I129877168"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5022450101"],"corresponding_institution_ids":["https://openalex.org/I28290843"],"apc_list":null,"apc_paid":null,"fwci":0.8562,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.73388042,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"Volume 18, Issue 3","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8439000248908997},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8351151347160339},{"id":"https://openalex.org/keywords/opacity","display_name":"Opacity","score":0.5296252369880676},{"id":"https://openalex.org/keywords/separation-logic","display_name":"Separation logic","score":0.5218257308006287},{"id":"https://openalex.org/keywords/software-transactional-memory","display_name":"Software transactional memory","score":0.5081067085266113},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.4757159352302551},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.47253942489624023},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4315240681171417},{"id":"https://openalex.org/keywords/memory-safety","display_name":"Memory safety","score":0.4101285934448242},{"id":"https://openalex.org/keywords/transactional-memory","display_name":"Transactional memory","score":0.3789134621620178},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3390253484249115},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.32676321268081665},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.2655208110809326},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.22907176613807678}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8439000248908997},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8351151347160339},{"id":"https://openalex.org/C60056205","wikidata":"https://www.wikidata.org/wiki/Q691914","display_name":"Opacity","level":2,"score":0.5296252369880676},{"id":"https://openalex.org/C173856430","wikidata":"https://www.wikidata.org/wiki/Q3257964","display_name":"Separation logic","level":2,"score":0.5218257308006287},{"id":"https://openalex.org/C167149655","wikidata":"https://www.wikidata.org/wiki/Q1189004","display_name":"Software transactional memory","level":4,"score":0.5081067085266113},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.4757159352302551},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47253942489624023},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4315240681171417},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.4101285934448242},{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.3789134621620178},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3390253484249115},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32676321268081665},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.2655208110809326},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.22907176613807678},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.46298/lmcs-18(3:7)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(3:7)2022","pdf_url":"https://lmcs.episciences.org/9851/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2011.15013","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2011.15013","pdf_url":"https://arxiv.org/pdf/2011.15013","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:doaj.org/article:718f9250040d4226a7d775895bbf1981","is_oa":true,"landing_page_url":"https://doaj.org/article/718f9250040d4226a7d775895bbf1981","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-18(3:7)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(3:7)2022","pdf_url":"https://lmcs.episciences.org/9851/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.46000000834465027,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G1533270981","display_name":null,"funder_award_id":"EP/R032556/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G1958646579","display_name":null,"funder_award_id":"EP/R032556/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G2580144217","display_name":"Verifiably Correct Transactional Memory.","funder_award_id":"EP/R032351/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2711952031","display_name":null,"funder_award_id":"EP/R006938/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3547186239","display_name":null,"funder_award_id":"EP/R032351/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G4648851126","display_name":null,"funder_award_id":"EP/R032351/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5398132153","display_name":null,"funder_award_id":"DFG grant","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5749152109","display_name":"RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots","funder_award_id":"EP/R025134/2","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5938769023","display_name":null,"funder_award_id":"VeTSS","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6087404092","display_name":null,"funder_award_id":"EP/R025134/2","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G655804023","display_name":"Verifiably Correct Transactional Memory","funder_award_id":"EP/R032556/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G694625771","display_name":"Verifiably Correct Swarm Attestation","funder_award_id":"EP/V038915/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7041320342","display_name":null,"funder_award_id":"EP/V038915/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3110313536.pdf","grobid_xml":"https://content.openalex.org/works/W3110313536.grobid-xml"},"referenced_works_count":63,"referenced_works":["https://openalex.org/W3741743","https://openalex.org/W131654420","https://openalex.org/W156702976","https://openalex.org/W307320947","https://openalex.org/W1481578403","https://openalex.org/W1542975293","https://openalex.org/W1560394043","https://openalex.org/W1567210335","https://openalex.org/W1758810311","https://openalex.org/W1946608631","https://openalex.org/W2000302396","https://openalex.org/W2035134754","https://openalex.org/W2041135949","https://openalex.org/W2041617655","https://openalex.org/W2054739713","https://openalex.org/W2064214512","https://openalex.org/W2079614594","https://openalex.org/W2101939036","https://openalex.org/W2113637091","https://openalex.org/W2117917070","https://openalex.org/W2128585185","https://openalex.org/W2144549530","https://openalex.org/W2149089882","https://openalex.org/W2155500238","https://openalex.org/W2162022306","https://openalex.org/W2167729440","https://openalex.org/W2318717892","https://openalex.org/W2511114427","https://openalex.org/W2565252139","https://openalex.org/W2575900856","https://openalex.org/W2610308442","https://openalex.org/W2611515161","https://openalex.org/W2617069544","https://openalex.org/W2617984301","https://openalex.org/W2625240777","https://openalex.org/W2749239548","https://openalex.org/W2787794676","https://openalex.org/W2809467539","https://openalex.org/W2810443901","https://openalex.org/W2909266742","https://openalex.org/W2949686666","https://openalex.org/W2955325419","https://openalex.org/W2963015830","https://openalex.org/W2969449588","https://openalex.org/W2971934144","https://openalex.org/W2974504688","https://openalex.org/W2979682152","https://openalex.org/W2996634758","https://openalex.org/W3007807390","https://openalex.org/W3011389781","https://openalex.org/W3027878860","https://openalex.org/W3037775571","https://openalex.org/W3099093046","https://openalex.org/W3106753174","https://openalex.org/W3108522311","https://openalex.org/W3162279086","https://openalex.org/W3173474899","https://openalex.org/W3175622044","https://openalex.org/W4220858287","https://openalex.org/W4226043713","https://openalex.org/W4231530354","https://openalex.org/W4241849989","https://openalex.org/W4302585339"],"related_works":["https://openalex.org/W2088444093","https://openalex.org/W133473147","https://openalex.org/W2152491655","https://openalex.org/W2076409732","https://openalex.org/W924353067","https://openalex.org/W4252722439","https://openalex.org/W2992926879","https://openalex.org/W1144911151","https://openalex.org/W3046697030","https://openalex.org/W3195212277"],"abstract_inverted_index":{"Non-volatile":[0],"memory":[1,13,70,186],"(NVM),":[2],"also":[3],"known":[4,107],"as":[5,90,108,116],"persistent":[6],"memory,":[7],"is":[8,23,72,99],"an":[9,100,164,200],"emerging":[10],"paradigm":[11],"for":[12,36,94,105],"that":[14,77],"preserves":[15],"its":[16],"contents":[17],"even":[18],"after":[19],"power":[20],"loss.":[21],"NVM":[22,37],"widely":[24],"expected":[25],"to":[26,81,88,122,169,198,215],"become":[27],"ubiquitous,":[28],"and":[29,60,204],"hardware":[30],"architectures":[31],"are":[32],"already":[33],"providing":[34],"support":[35],"programming.":[38],"This":[39],"has":[40],"stimulated":[41],"interest":[42],"in":[43,55,61,149],"the":[44,56,62,91,117,181,189,211],"design":[45],"of":[46,51,58,64,103,120,159,183,185,191,210,213],"novel":[47,131],"concepts":[48],"ensuring":[49],"correctness":[50,92,104,132],"concurrent":[52,79,95],"programming":[53,75],"abstractions":[54],"face":[57],"persistency":[59],"development":[63],"associated":[65],"verification":[66,137,177],"approaches.":[67],"Software":[68],"transactional":[69],"(STM)":[71],"a":[73,85,123,136,155,208],"key":[74],"abstraction":[76],"supports":[78],"access":[80],"shared":[82,216],"state.":[83,217],"In":[84,142],"fashion":[86],"similar":[87],"linearizability":[89],"condition":[93],"data":[96],"structures,":[97],"there":[98],"established":[101],"notion":[102],"STMs":[106],"opacity.":[109,192],"We":[110],"have":[111],"recently":[112],"proposed":[113],"durable":[114],"opacity":[115,121,202],"natural":[118],"extension":[119],"setting":[124],"with":[125,129,207],"non-volatile":[126],"memory.":[127],"Together":[128],"this":[130,143,147,195],"condition,":[133],"we":[134,145,153,173],"designed":[135],"technique":[138],"based":[139],"on":[140],"refinement.":[141],"paper,":[144],"extend":[146],"work":[148],"two":[150],"directions.":[151],"First,":[152],"develop":[154],"durably":[156],"opaque":[157],"version":[158],"NOrec":[160],"(no":[161],"ownership":[162],"records),":[163],"existing":[165,176,201],"STM":[166],"algorithm":[167],"proven":[168],"be":[170],"opaque.":[171],"Second,":[172],"modularise":[174],"our":[175],"approach":[178],"by":[179],"separating":[180],"proof":[182,190,203,209],"durability":[184,212],"accesses":[187,214],"from":[188],"For":[193],"NOrec,":[194],"allows":[196],"us":[197],"re-use":[199],"complement":[205],"it":[206]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}