{"id":"https://openalex.org/W4366672939","doi":"https://doi.org/10.1007/978-3-031-30823-9_13","title":"Modular Mix-and-Match Complementation of B\u00fcchi Automata","display_name":"Modular Mix-and-Match Complementation of B\u00fcchi Automata","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4366672939","doi":"https://doi.org/10.1007/978-3-031-30823-9_13"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-30823-9_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30823-9_13","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30823-9_13.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30823-9_13.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030524096","display_name":"Vojt\u011bch Havlena","orcid":"https://orcid.org/0000-0003-4375-7954"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Vojt\u011bch Havlena","raw_affiliation_strings":["Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic"],"raw_orcid":"https://orcid.org/0000-0003-4375-7954","affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063557188","display_name":"Ond\u0159ej Leng\u00e1l","orcid":"https://orcid.org/0000-0002-3038-5875"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Ond\u0159ej Leng\u00e1l","raw_affiliation_strings":["Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic"],"raw_orcid":"https://orcid.org/0000-0002-3038-5875","affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100711677","display_name":"Yong Li","orcid":"https://orcid.org/0000-0002-7301-9234"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN","GB"],"is_corresponding":true,"raw_author_name":"Yong Li","raw_affiliation_strings":["Department of Computer Science, University of Liverpool, Liverpool, UK","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People\u2019s Republic of China"],"raw_orcid":"https://orcid.org/0000-0002-7301-9234","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Liverpool, Liverpool, UK","institution_ids":["https://openalex.org/I146655781"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People\u2019s Republic of China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054344548","display_name":"Barbora \u0160mahl\u00edkov\u00e1","orcid":"https://orcid.org/0000-0002-1184-4669"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Barbora \u0160mahl\u00edkov\u00e1","raw_affiliation_strings":["Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic"],"raw_orcid":"https://orcid.org/0000-0002-1184-4669","affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074733161","display_name":"Andrea Turrini","orcid":"https://orcid.org/0000-0003-4343-9323"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210142539","display_name":"Guangdong Institute of Intelligent Manufacturing","ror":"https://ror.org/049jpjz09","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210142539"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Andrea Turrini","raw_affiliation_strings":["Institute of Intelligent Software, Guangzhou, Guangzhou, People\u2019s Republic of China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People\u2019s Republic of China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People's Republic of China"],"raw_orcid":"https://orcid.org/0000-0003-4343-9323","affiliations":[{"raw_affiliation_string":"Institute of Intelligent Software, Guangzhou, Guangzhou, People\u2019s Republic of China","institution_ids":["https://openalex.org/I4210142539"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People\u2019s Republic of China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People's Republic of China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5030524096","https://openalex.org/A5054344548","https://openalex.org/A5063557188","https://openalex.org/A5074733161","https://openalex.org/A5100711677"],"corresponding_institution_ids":["https://openalex.org/I146655781","https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4210142539","https://openalex.org/I60587646"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.9392,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.72424635,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"249","last_page":"270"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11567","display_name":"semigroups and automata theory","score":0.9902999997138977,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9854000210762024,"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":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7822012901306152},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6524418592453003},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.5668127536773682},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5602890849113464},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5245085954666138},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4799778461456299},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4303953945636749},{"id":"https://openalex.org/keywords/complementation","display_name":"Complementation","score":0.4131866991519928},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25524628162384033}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7822012901306152},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6524418592453003},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.5668127536773682},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5602890849113464},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5245085954666138},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4799778461456299},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4303953945636749},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.4131866991519928},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25524628162384033},{"id":"https://openalex.org/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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":1,"locations":[{"id":"doi:10.1007/978-3-031-30823-9_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30823-9_13","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30823-9_13.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-30823-9_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30823-9_13","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30823-9_13.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"score":0.6499999761581421,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G3298403960","display_name":null,"funder_award_id":"GA23-","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G3373991914","display_name":null,"funder_award_id":"101008233","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4275097225","display_name":null,"funder_award_id":"62102407","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4677120484","display_name":null,"funder_award_id":"YSBR-040","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4999239871","display_name":"Reinforcement Learning for Finite Horizons (ReLeaF)","funder_award_id":"EP/X021513/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6663863995","display_name":null,"funder_award_id":"XDA0320000","funder_id":"https://openalex.org/F4320321133","funder_display_name":"Chinese Academy of Sciences"},{"id":"https://openalex.org/G7050863041","display_name":null,"funder_award_id":"YSBR-040","funder_id":"https://openalex.org/F4320321133","funder_display_name":"Chinese Academy of Sciences"},{"id":"https://openalex.org/G7097245526","display_name":"\u7c7b\u4eba\u4efb\u52a1\u89c4\u5212\u3001\u63a8\u7406\u53ca\u5176\u9a8c\u8bc1\u7cfb\u7edf\u7684\u7814\u7a76\u548c\u5e94\u7528","funder_award_id":"61836005","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7459148310","display_name":null,"funder_award_id":"GA23-07565S","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"},{"id":"https://openalex.org/F4320321133","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4366672939.pdf"},"referenced_works_count":55,"referenced_works":["https://openalex.org/W104223015","https://openalex.org/W286513891","https://openalex.org/W1495139601","https://openalex.org/W1599105898","https://openalex.org/W1599236338","https://openalex.org/W1644968762","https://openalex.org/W1964626357","https://openalex.org/W1964680921","https://openalex.org/W1965927648","https://openalex.org/W1976773489","https://openalex.org/W1994797527","https://openalex.org/W2014767396","https://openalex.org/W2023808162","https://openalex.org/W2031592188","https://openalex.org/W2050073538","https://openalex.org/W2059045337","https://openalex.org/W2076334860","https://openalex.org/W2086970337","https://openalex.org/W2091750535","https://openalex.org/W2124285023","https://openalex.org/W2138856440","https://openalex.org/W2168605507","https://openalex.org/W2487186542","https://openalex.org/W2501722818","https://openalex.org/W2522043470","https://openalex.org/W2626852693","https://openalex.org/W2763823660","https://openalex.org/W2765527199","https://openalex.org/W2777178969","https://openalex.org/W2798623107","https://openalex.org/W2799100779","https://openalex.org/W2949283240","https://openalex.org/W2952908521","https://openalex.org/W2963378790","https://openalex.org/W2963524373","https://openalex.org/W2964335063","https://openalex.org/W2982119447","https://openalex.org/W2990071612","https://openalex.org/W3027188300","https://openalex.org/W3042859643","https://openalex.org/W3098682569","https://openalex.org/W3103503317","https://openalex.org/W3104076899","https://openalex.org/W3122348209","https://openalex.org/W3122950708","https://openalex.org/W3130346675","https://openalex.org/W3193588428","https://openalex.org/W3217777288","https://openalex.org/W4226459950","https://openalex.org/W4246764629","https://openalex.org/W4283722959","https://openalex.org/W4289874360","https://openalex.org/W4289921754","https://openalex.org/W4313680197","https://openalex.org/W6894066395"],"related_works":["https://openalex.org/W1518010816","https://openalex.org/W1976496938","https://openalex.org/W2189178478","https://openalex.org/W2154338693","https://openalex.org/W2060032524","https://openalex.org/W1529656707","https://openalex.org/W2053233145","https://openalex.org/W2928599599","https://openalex.org/W2170634995","https://openalex.org/W2082036845"],"abstract_inverted_index":{"Abstract":[0],"Complementation":[1],"of":[2,24,32,75,90,109,112,169,186,191,206,212,222],"nondeterministic":[3],"B\u00fcchi":[4],"automata":[5,12],"(BAs)":[6],"is":[7],"an":[8,145,163],"important":[9],"problem":[10],"in":[11,17,29,139,198],"theory":[13],"with":[14,69,133,144],"numerous":[15],"applications":[16],"formal":[18],"verification,":[19],"such":[20],"as":[21,94,230],"termination":[22],"analysis":[23],"programs,":[25],"model":[26],"checking,":[27],"or":[28,100],"decision":[30],"procedures":[31,67,125],"some":[33],"logics.":[34],"We":[35,116,194],"build":[36],"on":[37,43,208],"ideas":[38],"from":[39],"a":[40,52,73,118,142,199,203,209,231],"recent":[41],"work":[42],"BA":[44,57,65,236],"determinization":[45],"by":[46],"Li":[47],"et":[48],"al.":[49],"and":[50,102,130,201,225,238],"propose":[51],"new":[53,166],"modular":[54],"algorithm":[55,60,197],"for":[56,72,184,233],"complementation.":[58],"Our":[59],"allows":[61],"to":[62,161],"combine":[63],"several":[64,134],"complementation":[66,124,185,237],"together,":[68],"one":[70,85],"procedure":[71],"subset":[74],"the":[76,88,110,113,156,187,196,220,223],"BA\u2019s":[77],"strongly":[78],"connected":[79],"components":[80],"(SCCs).":[81],"In":[82],"this":[83],"way,":[84],"can":[86,126,150,228],"exploit":[87],"structure":[89,111],"particular":[91],"SCCs":[92],"(such":[93],"when":[95],"they":[96],"are":[97],"inherently":[98],"weak":[99],"deterministic)":[101],"use":[103],"more":[104,153],"efficient":[105,235],"specialized":[106],"algorithms,":[107],"regardless":[108],"whole":[114],"BA.":[115],"give":[117],"general":[119],"framework":[120,137,217],"into":[121],"which":[122,149],"partial":[123],"be":[127,152],"plugged":[128],"in,":[129],"its":[131],"instantiation":[132],"algorithms.":[135,241],"The":[136],"can,":[138],"general,":[140],"produce":[141],"complement":[143],"Emerson-Lei":[146],"acceptance":[147],"condition,":[148],"often":[151],"compact.":[154],"Using":[155],"algorithm,":[157],"we":[158],"were":[159],"able":[160],"establish":[162],"exponentially":[164],"better":[165],"upper":[167],"bound":[168],"$$\\mathcal":[170],"{O}(4^n)$$":[171],"<mml:math":[172],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[173],"<mml:mrow>":[174],"<mml:mi>O</mml:mi>":[175],"<mml:mo>(</mml:mo>":[176],"<mml:msup>":[177],"<mml:mn>4</mml:mn>":[178],"<mml:mi>n</mml:mi>":[179],"</mml:msup>":[180],"<mml:mo>)</mml:mo>":[181],"</mml:mrow>":[182],"</mml:math>":[183],"recently":[188],"introduced":[189],"class":[190],"elevator":[192],"automata.":[193],"implemented":[195],"prototype":[200],"performed":[202],"comprehensive":[204],"set":[205,211],"experiments":[207],"large":[210],"benchmarks,":[213],"showing":[214],"that":[215,226],"our":[216],"complements":[218],"well":[219],"state":[221],"art":[224],"it":[227],"serve":[229],"basis":[232],"future":[234],"inclusion":[239],"checking":[240]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-19T17:40:00.097472","created_date":"2025-10-10T00:00:00"}