{"id":"https://openalex.org/W4307623751","doi":"https://doi.org/10.3390/rs14215452","title":"Comparison between Different TomoSAR Imaging Models for Airborne Platform Flying at Low Altitude","display_name":"Comparison between Different TomoSAR Imaging Models for Airborne Platform Flying at Low Altitude","publication_year":2022,"publication_date":"2022-10-29","ids":{"openalex":"https://openalex.org/W4307623751","doi":"https://doi.org/10.3390/rs14215452"},"language":"en","primary_location":{"id":"doi:10.3390/rs14215452","is_oa":true,"landing_page_url":"https://doi.org/10.3390/rs14215452","pdf_url":"https://www.mdpi.com/2072-4292/14/21/5452/pdf?version=1667896812","source":{"id":"https://openalex.org/S43295729","display_name":"Remote Sensing","issn_l":"2072-4292","issn":["2072-4292"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Remote Sensing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2072-4292/14/21/5452/pdf?version=1667896812","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051036819","display_name":"Qiancheng Yan","orcid":"https://orcid.org/0000-0002-2765-638X"},"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/I4210137199","display_name":"Aerospace Information Research Institute","ror":"https://ror.org/0419fj215","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210137199"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiancheng Yan","raw_affiliation_strings":["National Key Laboratory of Microwave Imaging Technology, Aerospace Information Research Institute, Chinese Academy of Sciences, Beijing 100190, China","School of Electronic, Electrical and Communication Engineering, University of Chinese Academy of Sciences, Beijing 100094, China"],"affiliations":[{"raw_affiliation_string":"National Key Laboratory of Microwave Imaging Technology, Aerospace Information Research Institute, Chinese Academy of Sciences, Beijing 100190, China","institution_ids":["https://openalex.org/I4210137199","https://openalex.org/I19820366"]},{"raw_affiliation_string":"School of Electronic, Electrical and Communication Engineering, University of Chinese Academy of Sciences, Beijing 100094, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100317584","display_name":"Zekun Jiao","orcid":"https://orcid.org/0000-0001-6914-190X"},"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/I4210137199","display_name":"Aerospace Information Research Institute","ror":"https://ror.org/0419fj215","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210137199"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zekun Jiao","raw_affiliation_strings":["National Key Laboratory of Microwave Imaging Technology, Aerospace Information Research Institute, Chinese Academy of Sciences, Beijing 100190, China"],"affiliations":[{"raw_affiliation_string":"National Key Laboratory of Microwave Imaging Technology, Aerospace Information Research Institute, Chinese Academy of Sciences, Beijing 100190, China","institution_ids":["https://openalex.org/I4210137199","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110484098","display_name":"Xiaolan Qiu","orcid":null},"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/I4210137199","display_name":"Aerospace Information Research Institute","ror":"https://ror.org/0419fj215","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210137199"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaolan Qiu","raw_affiliation_strings":["Key Laboratory of Intelligent Aerospace Big Dara Application Technology, Suzhou 215124, China","National Key Laboratory of Microwave Imaging Technology, Aerospace Information Research Institute, Chinese Academy of Sciences, Beijing 100190, China","Suzhou Aerospace Information Research Institute, Suzhou 215124, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Intelligent Aerospace Big Dara Application Technology, Suzhou 215124, China","institution_ids":[]},{"raw_affiliation_string":"National Key Laboratory of Microwave Imaging Technology, Aerospace Information Research Institute, Chinese Academy of Sciences, Beijing 100190, China","institution_ids":["https://openalex.org/I4210137199","https://openalex.org/I19820366"]},{"raw_affiliation_string":"Suzhou Aerospace Information Research Institute, Suzhou 215124, China","institution_ids":["https://openalex.org/I4210137199"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015844567","display_name":"Bingnan Wang","orcid":"https://orcid.org/0000-0002-7385-6171"},"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/I4210137199","display_name":"Aerospace Information Research Institute","ror":"https://ror.org/0419fj215","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210137199"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bingnan Wang","raw_affiliation_strings":["National Key Laboratory of Microwave Imaging Technology, Aerospace Information Research Institute, Chinese Academy of Sciences, Beijing 100190, China"],"affiliations":[{"raw_affiliation_string":"National Key Laboratory of Microwave Imaging Technology, Aerospace Information Research Institute, Chinese Academy of Sciences, Beijing 100190, China","institution_ids":["https://openalex.org/I4210137199","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101193014","display_name":"Chibiao Ding","orcid":null},"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/I4210137199","display_name":"Aerospace Information Research Institute","ror":"https://ror.org/0419fj215","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210137199"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chibiao Ding","raw_affiliation_strings":["National Key Laboratory of Microwave Imaging Technology, Aerospace Information Research Institute, Chinese Academy of Sciences, Beijing 100190, China"],"affiliations":[{"raw_affiliation_string":"National Key Laboratory of Microwave Imaging Technology, Aerospace Information Research Institute, Chinese Academy of Sciences, Beijing 100190, China","institution_ids":["https://openalex.org/I4210137199","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5100317584"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210137199"],"apc_list":{"value":2500,"currency":"CHF","value_usd":2707},"apc_paid":{"value":2500,"currency":"CHF","value_usd":2707},"fwci":8.0308,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.96728119,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"14","issue":"21","first_page":"5452","last_page":"5452"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10801","display_name":"Synthetic Aperture Radar (SAR) Applications and Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10801","display_name":"Synthetic Aperture Radar (SAR) Applications and Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11038","display_name":"Advanced SAR Imaging Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10191","display_name":"Robotics and Sensor-Based Localization","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/wavefront","display_name":"Wavefront","score":0.754887580871582},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5665158033370972},{"id":"https://openalex.org/keywords/low-altitude","display_name":"Low altitude","score":0.5161901116371155},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.5086377859115601},{"id":"https://openalex.org/keywords/inversion","display_name":"Inversion (geology)","score":0.5074736475944519},{"id":"https://openalex.org/keywords/planar","display_name":"Planar","score":0.4962337613105774},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4843229353427887},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.4632379412651062},{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.45492544770240784},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.44001591205596924},{"id":"https://openalex.org/keywords/altitude","display_name":"Altitude (triangle)","score":0.38787487149238586},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2867417633533478},{"id":"https://openalex.org/keywords/optics","display_name":"Optics","score":0.21245676279067993},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.20894333720207214},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.18365395069122314},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.17041170597076416}],"concepts":[{"id":"https://openalex.org/C165699331","wikidata":"https://www.wikidata.org/wiki/Q461533","display_name":"Wavefront","level":2,"score":0.754887580871582},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5665158033370972},{"id":"https://openalex.org/C2993172488","wikidata":"https://www.wikidata.org/wiki/Q190200","display_name":"Low altitude","level":3,"score":0.5161901116371155},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.5086377859115601},{"id":"https://openalex.org/C1893757","wikidata":"https://www.wikidata.org/wiki/Q3653001","display_name":"Inversion (geology)","level":3,"score":0.5074736475944519},{"id":"https://openalex.org/C134786449","wikidata":"https://www.wikidata.org/wiki/Q3391255","display_name":"Planar","level":2,"score":0.4962337613105774},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4843229353427887},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4632379412651062},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.45492544770240784},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.44001591205596924},{"id":"https://openalex.org/C6350597","wikidata":"https://www.wikidata.org/wiki/Q339495","display_name":"Altitude (triangle)","level":2,"score":0.38787487149238586},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2867417633533478},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.21245676279067993},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.20894333720207214},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.18365395069122314},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.17041170597076416},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C109007969","wikidata":"https://www.wikidata.org/wiki/Q749565","display_name":"Structural basin","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3390/rs14215452","is_oa":true,"landing_page_url":"https://doi.org/10.3390/rs14215452","pdf_url":"https://www.mdpi.com/2072-4292/14/21/5452/pdf?version=1667896812","source":{"id":"https://openalex.org/S43295729","display_name":"Remote Sensing","issn_l":"2072-4292","issn":["2072-4292"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Remote Sensing","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:c00284e400524db2b0a832396cb170fc","is_oa":true,"landing_page_url":"https://doaj.org/article/c00284e400524db2b0a832396cb170fc","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":"Remote Sensing, Vol 14, Iss 21, p 5452 (2022)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/2072-4292/14/21/5452/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/rs14215452","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Remote Sensing; Volume 14; Issue 21; Pages: 5452","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/rs14215452","is_oa":true,"landing_page_url":"https://doi.org/10.3390/rs14215452","pdf_url":"https://www.mdpi.com/2072-4292/14/21/5452/pdf?version=1667896812","source":{"id":"https://openalex.org/S43295729","display_name":"Remote Sensing","issn_l":"2072-4292","issn":["2072-4292"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Remote Sensing","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.49000000953674316}],"awards":[{"id":"https://openalex.org/G4750055665","display_name":null,"funder_award_id":"62101535","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G796721411","display_name":null,"funder_award_id":"61991421","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8476952019","display_name":null,"funder_award_id":"61991420","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4307623751.pdf","grobid_xml":"https://content.openalex.org/works/W4307623751.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W1973320638","https://openalex.org/W2017003480","https://openalex.org/W2047029664","https://openalex.org/W2048289234","https://openalex.org/W2079299474","https://openalex.org/W2110628907","https://openalex.org/W2118005898","https://openalex.org/W2142212280","https://openalex.org/W2143551587","https://openalex.org/W2145250341","https://openalex.org/W2145491683","https://openalex.org/W2150117772","https://openalex.org/W2907317940","https://openalex.org/W2936032092","https://openalex.org/W3005873321","https://openalex.org/W3028228706","https://openalex.org/W3047718114","https://openalex.org/W4285290171","https://openalex.org/W6676939912","https://openalex.org/W6839740453"],"related_works":["https://openalex.org/W2945563562","https://openalex.org/W2087911195","https://openalex.org/W2406921723","https://openalex.org/W2386865535","https://openalex.org/W2353302948","https://openalex.org/W2372292493","https://openalex.org/W1510008292","https://openalex.org/W4237620542","https://openalex.org/W2366663192","https://openalex.org/W2361714509"],"abstract_inverted_index":{"The":[0,94],"classical":[1],"planar-wavefront-based":[2],"TomoSAR":[3],"imaging":[4],"model":[5,58,128,147,172,197],"suffers":[6],"from":[7,103],"the":[8,11,20,25,36,49,55,66,69,82,90,98,109,122,126,130,134,138,141,145,149,153,162,170,176,190,195,201,208],"problem":[9,67],"that":[10,165],"effective":[12,110],"integration":[13,111],"interval":[14,112],"is":[15,101,166],"not":[16],"enough":[17],"to":[18,32,105,173,175],"cover":[19],"target":[21],"distribution":[22],"region":[23],"in":[24],"low-altitude":[26,177],"airborne":[27,178],"case.":[28,179],"It":[29],"will":[30],"lead":[31],"a":[33,158],"deterioration":[34],"of":[35,38,43,54,89,125,133,144,152,203,210],"performance":[37],"tomogram":[39],"reconstruction":[40],"and":[41,51,63,108,129,137,148,187,200,207],"inaccuracy":[42],"estimated":[44,95],"scatterers.":[45],"This":[46,156],"paper":[47],"reviews":[48],"exact":[50,83,123,131],"approximate":[52,87,142,150],"forms":[53],"aforementioned":[56],"inaccurate":[57],"based":[59,168,183],"on":[60,169,184],"planar":[61],"wavefront":[62,79,205],"points":[64],"out":[65],"with":[68,81,194],"conventional":[70,127,146,171,196],"model.":[71,155],"To":[72],"solve":[73],"this":[74],"problem,":[75],"we":[76,118],"propose":[77],"spherical":[78,204],"models":[80,206,213],"form":[84,88,124,132,143,151],"or":[85],"an":[86],"slant":[91],"range":[92],"formula.":[93],"variable":[96],"for":[97,160],"scatterer\u2019s":[99],"location":[100],"converted":[102],"elevation":[104],"off-nadir":[106],"angle,":[107],"has":[113],"been":[114],"extended.":[115],"In":[116],"addition,":[117],"explore":[119],"relationships":[120],"between":[121,140,212],"proposed":[135,154],"model,":[136],"relationship":[139],"provides":[157],"basis":[159],"modifying":[161],"inversion":[163],"algorithm":[164],"designed":[167],"adapt":[174],"Eventually,":[180],"through":[181],"experiments":[182],"simulated":[185],"data":[186],"measured":[188],"data,":[189],"imprecise":[191],"reconstructions":[192],"obtained":[193],"are":[198,214],"demonstrated,":[199],"correctness":[202],"effectiveness":[209],"transformation":[211],"proved.":[215]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2022-11-04T00:00:00"}