{"id":"https://openalex.org/W3091988203","doi":"https://doi.org/10.1109/tse.2021.3069192","title":"Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control","display_name":"Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control","publication_year":2021,"publication_date":"2021-03-29","ids":{"openalex":"https://openalex.org/W3091988203","doi":"https://doi.org/10.1109/tse.2021.3069192","mag":"3091988203"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2021.3069192","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2021.3069192","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1905.06732","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054528813","display_name":"Maryam Bagheri","orcid":"https://orcid.org/0000-0001-9576-2478"},"institutions":[{"id":"https://openalex.org/I133529467","display_name":"Sharif University of Technology","ror":"https://ror.org/024c2fq17","country_code":"IR","type":"education","lineage":["https://openalex.org/I133529467"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Maryam Bagheri","raw_affiliation_strings":["Department of Computer Engineering, Sharif University of Technology, Tehran, Iran","[Computer Engineering, Sharif University of Technology, 68260 Tehran, Tehran, Iran (the Islamic Republic of), (e-mail: mbagheri@ce.sharif.edu)]"],"raw_orcid":"https://orcid.org/0000-0001-9576-2478","affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Sharif University of Technology, Tehran, Iran","institution_ids":["https://openalex.org/I133529467"]},{"raw_affiliation_string":"[Computer Engineering, Sharif University of Technology, 68260 Tehran, Tehran, Iran (the Islamic Republic of), (e-mail: mbagheri@ce.sharif.edu)]","institution_ids":["https://openalex.org/I133529467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078919695","display_name":"Marjan Sirjani","orcid":"https://orcid.org/0000-0001-5478-0987"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Marjan Sirjani","raw_affiliation_strings":["School of IDT, Mälardalen University, Västerås, Sweden","[School of Innovation, Design and Engineering, Malardalen University, Vsters, Vsters, Sweden, (e-mail: marjan.sirjani@mdh.se)]"],"raw_orcid":"https://orcid.org/0000-0001-5478-0987","affiliations":[{"raw_affiliation_string":"School of IDT, Mälardalen University, Västerås, Sweden","institution_ids":[]},{"raw_affiliation_string":"[School of Innovation, Design and Engineering, Malardalen University, Vsters, Vsters, Sweden, (e-mail: marjan.sirjani@mdh.se)]","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038059275","display_name":"Ehsan Khamespanah","orcid":"https://orcid.org/0000-0001-5278-5442"},"institutions":[{"id":"https://openalex.org/I23946033","display_name":"University of Tehran","ror":"https://ror.org/05vf56z40","country_code":"IR","type":"education","lineage":["https://openalex.org/I23946033"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Ehsan Khamespanah","raw_affiliation_strings":["School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran","[School of Electrical and Computer Engineering, University of Tehran, 48425 Tehran, Tehran, Iran (the Islamic Republic of), (e-mail: e.khamespanah@ut.ac.ir)]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran","institution_ids":["https://openalex.org/I23946033"]},{"raw_affiliation_string":"[School of Electrical and Computer Engineering, University of Tehran, 48425 Tehran, Tehran, Iran (the Islamic Republic of), (e-mail: e.khamespanah@ut.ac.ir)]","institution_ids":["https://openalex.org/I23946033"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091344667","display_name":"Christel Baier","orcid":"https://orcid.org/0000-0002-5321-9343"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christel Baier","raw_affiliation_strings":["Department of Computer Science, Technical University of Dresden, Dresden, Germany","Computer Science, Technische Universitt Dresden, Dresden, Saxony Germany (e-mail: Christel.Baier@tu-dresden.de)"],"raw_orcid":"https://orcid.org/0000-0002-5321-9343","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Technical University of Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]},{"raw_affiliation_string":"Computer Science, Technische Universitt Dresden, Dresden, Saxony Germany (e-mail: Christel.Baier@tu-dresden.de)","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089228487","display_name":"Ali Movaghar","orcid":"https://orcid.org/0000-0002-6803-6750"},"institutions":[{"id":"https://openalex.org/I133529467","display_name":"Sharif University of Technology","ror":"https://ror.org/024c2fq17","country_code":"IR","type":"education","lineage":["https://openalex.org/I133529467"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Ali Movaghar","raw_affiliation_strings":["Department of Computer Engineering, Sharif University of Technology, Tehran, Iran","[Computer Engineering, Sharif University of Technology, Tehran, Tehran, Iran (the Islamic Republic of), 14588-89694 (e-mail: movaghar@sharif.edu)]"],"raw_orcid":"https://orcid.org/0000-0002-6803-6750","affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Sharif University of Technology, Tehran, Iran","institution_ids":["https://openalex.org/I133529467"]},{"raw_affiliation_string":"[Computer Engineering, Sharif University of Technology, Tehran, Tehran, Iran (the Islamic Republic of), 14588-89694 (e-mail: movaghar@sharif.edu)]","institution_ids":["https://openalex.org/I133529467"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.03182452,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"48","issue":"8","first_page":"2732","last_page":"2747"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.8005662560462952},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7382562756538391},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.7234184741973877},{"id":"https://openalex.org/keywords/tracing","display_name":"Tracing","score":0.5493410229682922},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5453481078147888},{"id":"https://openalex.org/keywords/zoom","display_name":"Zoom","score":0.5290778279304504},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.49024254083633423},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.45703446865081787},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4558809995651245},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4259500801563263},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3499467968940735},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2828822731971741},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.24780553579330444}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8005662560462952},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7382562756538391},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.7234184741973877},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.5493410229682922},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5453481078147888},{"id":"https://openalex.org/C124913957","wikidata":"https://www.wikidata.org/wiki/Q1232548","display_name":"Zoom","level":3,"score":0.5290778279304504},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.49024254083633423},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.45703446865081787},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4558809995651245},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4259500801563263},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3499467968940735},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2828822731971741},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.24780553579330444},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C15336307","wikidata":"https://www.wikidata.org/wiki/Q1766051","display_name":"Lens (geology)","level":2,"score":0.0},{"id":"https://openalex.org/C78762247","wikidata":"https://www.wikidata.org/wiki/Q1273174","display_name":"Petroleum engineering","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/tse.2021.3069192","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2021.3069192","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1905.06732","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1905.06732","pdf_url":"https://arxiv.org/pdf/1905.06732","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"mag:3091988203","is_oa":true,"landing_page_url":"https://arxiv.org/abs/1905.06732v3","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1905.06732","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1905.06732","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1905.06732","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1905.06732","pdf_url":"https://arxiv.org/pdf/1905.06732","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3091988203.pdf","grobid_xml":"https://content.openalex.org/works/W3091988203.grobid-xml"},"referenced_works_count":75,"referenced_works":["https://openalex.org/W22898880","https://openalex.org/W97645955","https://openalex.org/W125598877","https://openalex.org/W1516497916","https://openalex.org/W1541540802","https://openalex.org/W1569115119","https://openalex.org/W1805171086","https://openalex.org/W1947529348","https://openalex.org/W1962072139","https://openalex.org/W1970932506","https://openalex.org/W1974314710","https://openalex.org/W1982535910","https://openalex.org/W1987734880","https://openalex.org/W1990911977","https://openalex.org/W1994511055","https://openalex.org/W2000890456","https://openalex.org/W2002130414","https://openalex.org/W2013298510","https://openalex.org/W2033839066","https://openalex.org/W2055557279","https://openalex.org/W2065027354","https://openalex.org/W2071347688","https://openalex.org/W2072399294","https://openalex.org/W2072794470","https://openalex.org/W2076449438","https://openalex.org/W2086502833","https://openalex.org/W2103672915","https://openalex.org/W2107605643","https://openalex.org/W2116769849","https://openalex.org/W2121789641","https://openalex.org/W2124661182","https://openalex.org/W2125955233","https://openalex.org/W2126708625","https://openalex.org/W2130025446","https://openalex.org/W2132976180","https://openalex.org/W2133079113","https://openalex.org/W2136192377","https://openalex.org/W2137467159","https://openalex.org/W2137918685","https://openalex.org/W2139324000","https://openalex.org/W2140105091","https://openalex.org/W2140733413","https://openalex.org/W2142486130","https://openalex.org/W2146454806","https://openalex.org/W2156314014","https://openalex.org/W2157328916","https://openalex.org/W2162327103","https://openalex.org/W2398171686","https://openalex.org/W2442514026","https://openalex.org/W2605757744","https://openalex.org/W2607438445","https://openalex.org/W2730972217","https://openalex.org/W2754124646","https://openalex.org/W2770707046","https://openalex.org/W2799773339","https://openalex.org/W2803704405","https://openalex.org/W2895615573","https://openalex.org/W2914055623","https://openalex.org/W2962924557","https://openalex.org/W2963921122","https://openalex.org/W2974158866","https://openalex.org/W3000707461","https://openalex.org/W3043074253","https://openalex.org/W3128785183","https://openalex.org/W3141549321","https://openalex.org/W3142641116","https://openalex.org/W4256363426","https://openalex.org/W6632434703","https://openalex.org/W6638457440","https://openalex.org/W6640868803","https://openalex.org/W6678129071","https://openalex.org/W6711624837","https://openalex.org/W6751505168","https://openalex.org/W7049146186","https://openalex.org/W7055749545"],"related_works":["https://openalex.org/W3141549321","https://openalex.org/W2946388178","https://openalex.org/W2154740089","https://openalex.org/W2166937630","https://openalex.org/W2799683051","https://openalex.org/W2098549968","https://openalex.org/W1862465682","https://openalex.org/W2293287097","https://openalex.org/W1999616773","https://openalex.org/W2028037778","https://openalex.org/W2106092731","https://openalex.org/W2898061006","https://openalex.org/W1988066482","https://openalex.org/W2055174061","https://openalex.org/W2884377853","https://openalex.org/W2888804772","https://openalex.org/W2528003070","https://openalex.org/W2187457171","https://openalex.org/W28329349","https://openalex.org/W1991178851"],"abstract_inverted_index":{"Autonomous":[0],"traffic":[1,200],"control":[2,201],"systems":[3,6,15,69],"are":[4,103,109],"large-scale":[5],"with":[7,111],"critical":[8],"goals.":[9],"To":[10,81],"satisfy":[11],"expected":[12],"properties,":[13],"these":[14,68,83],"adapt":[16],"themselves":[17],"to":[18,62,142,162,169,252],"possible":[19],"changes":[20,35],"in":[21,25,33,105,230],"their":[22],"environment":[23],"and":[24,43,78,91,107,127,152,177,179,218,247],"the":[26,38,48,53,64,120,129,136,140,143,148,156,171,184,193,220,240,244,248,253],"system":[27,54,137],"itself.":[28],"The":[29,114,173,233],"adaptation":[30,164],"may":[31],"result":[32],"further":[34],"propagated":[36],"throughout":[37],"system.":[39],"For":[40],"each":[41],"change":[42,126,149,185],"its":[44],"consequent":[45],"adaptation,":[46],"assuring":[47],"satisfaction":[49],"of":[50,52,67,131,133,135,213,222,235],"properties":[51,132],"at":[55,72],"runtime":[56],"is":[57,70,117,150,155,175],"important.":[58],"A":[59],"prominent":[60],"approach":[61,94,229,242],"assure":[63],"correct":[65],"behavior":[66],"verification":[71,93,245],"runtime,":[73],"which":[74],"has":[75],"strict":[76],"time":[77,246],"memory":[79,249],"limitations.":[80],"tackle":[82],"limitations,":[84],"we":[85,191],"propose":[86],"Magnifier,":[87,190],"an":[88,98],"iterative,":[89],"incremental,":[90,178],"compositional":[92,224],"that":[95,154,239],"operates":[96],"on":[97,119,165],"actor-based":[99],"model":[100,197],"where":[101],"actors":[102],"grouped":[104],"components,":[106],"components":[108],"augmented":[110],"a":[112,125,166,205,211],"coordinator.":[113],"Magnifier":[115,145],"idea":[116],"zooming":[118],"area":[121,168],"(component)":[122],"affected":[123,182],"by":[124,183,187],"verifying":[128],"correctness":[130,221],"interest":[134],"after":[138],"adapting":[139],"component":[141],"change.":[144,172],"checks":[146],"if":[147,153],"propagating,":[151],"case,":[157],"then":[158],"it":[159],"zooms":[160],"out":[161],"perform":[163],"larger":[167],"contain":[170],"process":[174],"iterative":[176],"considers":[180],"areas":[181],"one":[186],"one.":[188],"In":[189],"use":[192],"Coordinated":[194],"Adaptive":[195],"Actor":[196],"(CoodAA)":[198],"for":[199,208],"systems.":[202],"We":[203,226],"present":[204],"formal":[206],"semantics":[207],"CoodAA":[209],"as":[210],"network":[212],"Timed":[214],"Input-Output":[215],"Automata":[216],"(TIOAs),":[217],"prove":[219],"our":[223,228,236],"reasoning.":[225],"implement":[227],"Ptolemy":[231],"II.":[232],"results":[234],"experiments":[237],"indicate":[238],"proposed":[241],"improves":[243],"consumption":[250],"compared":[251],"non-compositional":[254],"approach.":[255]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}