{"id":"https://openalex.org/W2151582871","doi":"https://doi.org/10.1093/logcom/exp022","title":"Labelled Tableaux for Distributed Temporal Logic","display_name":"Labelled Tableaux for Distributed Temporal Logic","publication_year":2009,"publication_date":"2009-07-07","ids":{"openalex":"https://openalex.org/W2151582871","doi":"https://doi.org/10.1093/logcom/exp022","mag":"2151582871"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exp022","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exp022","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/20.500.11850/15805","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025344654","display_name":"David Basin","orcid":"https://orcid.org/0000-0003-2952-939X"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]},{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]},{"id":"https://openalex.org/I4210120471","display_name":"Instituto de Telecomunica\u00e7\u00f5es","ror":"https://ror.org/02ht4fk33","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210120471"]}],"countries":["CH","IT","PT"],"is_corresponding":true,"raw_author_name":"D. Basin","raw_affiliation_strings":["Department of Computer Science, ETH Zurich, Switzerland.E-mail: basin@inf.ethz.ch","Department of Computer Science, ETH Zurich, Switzerland","LUCA VIGAN\u00d2, Department of Computer Science, University of Verona, Italy","SQIG -Instituto de Telecomunica\u00e7\u00f5es, Department of Mathematics, IST, TU Lisbon, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, ETH Zurich, Switzerland.E-mail: basin@inf.ethz.ch","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"Department of Computer Science, ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"LUCA VIGAN\u00d2, Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"SQIG -Instituto de Telecomunica\u00e7\u00f5es, Department of Mathematics, IST, TU Lisbon, Portugal","institution_ids":["https://openalex.org/I4210120471"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006730208","display_name":"Carlos Caleiro","orcid":"https://orcid.org/0000-0001-5587-6585"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]},{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]},{"id":"https://openalex.org/I4210120471","display_name":"Instituto de Telecomunica\u00e7\u00f5es","ror":"https://ror.org/02ht4fk33","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210120471"]}],"countries":["CH","IT","PT"],"is_corresponding":false,"raw_author_name":"C. Caleiro","raw_affiliation_strings":["SQIG \u2014 Instituto de Telecomunica\u00e7\u00f5es, Department of Mathematics, IST, TU Lisbon, Portugal.E-mail: ccal@math.ist.utl.pt; jabr@math.ist.utl.pt","Department of Computer Science, ETH Zurich, Switzerland","LUCA VIGAN\u00d2, Department of Computer Science, University of Verona, Italy","SQIG -Instituto de Telecomunica\u00e7\u00f5es, Department of Mathematics, IST, TU Lisbon, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SQIG \u2014 Instituto de Telecomunica\u00e7\u00f5es, Department of Mathematics, IST, TU Lisbon, Portugal.E-mail: ccal@math.ist.utl.pt; jabr@math.ist.utl.pt","institution_ids":["https://openalex.org/I121345201"]},{"raw_affiliation_string":"Department of Computer Science, ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"LUCA VIGAN\u00d2, Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"SQIG -Instituto de Telecomunica\u00e7\u00f5es, Department of Mathematics, IST, TU Lisbon, Portugal","institution_ids":["https://openalex.org/I4210120471"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008068694","display_name":"Jaime Ramos","orcid":"https://orcid.org/0000-0002-5137-5350"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]},{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]},{"id":"https://openalex.org/I4210120471","display_name":"Instituto de Telecomunica\u00e7\u00f5es","ror":"https://ror.org/02ht4fk33","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210120471"]}],"countries":["CH","IT","PT"],"is_corresponding":false,"raw_author_name":"J. Ramos","raw_affiliation_strings":["SQIG \u2014 Instituto de Telecomunica\u00e7\u00f5es, Department of Mathematics, IST, TU Lisbon, Portugal.E-mail: ccal@math.ist.utl.pt; jabr@math.ist.utl.pt","Department of Computer Science, ETH Zurich, Switzerland","LUCA VIGAN\u00d2, Department of Computer Science, University of Verona, Italy","SQIG -Instituto de Telecomunica\u00e7\u00f5es, Department of Mathematics, IST, TU Lisbon, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SQIG \u2014 Instituto de Telecomunica\u00e7\u00f5es, Department of Mathematics, IST, TU Lisbon, Portugal.E-mail: ccal@math.ist.utl.pt; jabr@math.ist.utl.pt","institution_ids":["https://openalex.org/I121345201"]},{"raw_affiliation_string":"Department of Computer Science, ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"LUCA VIGAN\u00d2, Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"SQIG -Instituto de Telecomunica\u00e7\u00f5es, Department of Mathematics, IST, TU Lisbon, Portugal","institution_ids":["https://openalex.org/I4210120471"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101515402","display_name":"Luca Vigan\u00f2","orcid":"https://orcid.org/0000-0001-9916-271X"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]},{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]},{"id":"https://openalex.org/I4210120471","display_name":"Instituto de Telecomunica\u00e7\u00f5es","ror":"https://ror.org/02ht4fk33","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210120471"]}],"countries":["CH","IT","PT"],"is_corresponding":false,"raw_author_name":"L. Vigano","raw_affiliation_strings":["Department of Computer Science, University of Verona, Italy.E-mail: luca.vigano@univr.it","Department of Computer Science, ETH Zurich, Switzerland","LUCA VIGAN\u00d2, Department of Computer Science, University of Verona, Italy","SQIG -Instituto de Telecomunica\u00e7\u00f5es, Department of Mathematics, IST, TU Lisbon, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy.E-mail: luca.vigano@univr.it","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"LUCA VIGAN\u00d2, Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"SQIG -Instituto de Telecomunica\u00e7\u00f5es, Department of Mathematics, IST, TU Lisbon, Portugal","institution_ids":["https://openalex.org/I4210120471"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5025344654"],"corresponding_institution_ids":["https://openalex.org/I119439378","https://openalex.org/I35440088","https://openalex.org/I4210120471"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":2.6204,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.9145098,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"19","issue":"6","first_page":"1245","last_page":"1279"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"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/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9984999895095825,"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/temporal-logic","display_name":"Temporal logic","score":0.7900072336196899},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7549949288368225},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.5790622234344482},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5387763381004333},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4826832115650177},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.4679488241672516},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.39613455533981323},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36649608612060547},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15338090062141418}],"concepts":[{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.7900072336196899},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7549949288368225},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.5790622234344482},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5387763381004333},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4826832115650177},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.4679488241672516},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.39613455533981323},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36649608612060547},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15338090062141418},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1093/logcom/exp022","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exp022","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:doc.rero.ch:302017","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400148","display_name":"reroDoc Digital Library","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"pmh:oai:kclpure.kcl.ac.uk:publications/29fe2121-2d1c-4fcd-a7d0-03705b074f04","is_oa":false,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/29fe2121-2d1c-4fcd-a7d0-03705b074f04","pdf_url":null,"source":{"id":"https://openalex.org/S4306400216","display_name":"Research Portal (King's College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I183935753","host_organization_name":"King's College London","host_organization_lineage":["https://openalex.org/I183935753"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Basin, D, Caleiro, C, Ramos, J & Vigan\u00f2, L 2009, 'Labelled Tableaux for Distributed Temporal Logic', Journal of Logic and Computation, vol. 19, no. 6, pp. 1245-1279. https://doi.org/10.1093/logcom/exp022","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/15805","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/15805","pdf_url":null,"source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of logic and computation, 19 (6)","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.3929/ethz-b-000015805","is_oa":true,"landing_page_url":"https://doi.org/10.3929/ethz-b-000015805","pdf_url":null,"source":{"id":"https://openalex.org/S7407051236","display_name":"ETH Z\u00fcrich Research Collection","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Other"}],"best_oa_location":{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/15805","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/15805","pdf_url":null,"source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of logic and computation, 19 (6)","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W428994","https://openalex.org/W3296631","https://openalex.org/W13821285","https://openalex.org/W205961229","https://openalex.org/W318997321","https://openalex.org/W1483339275","https://openalex.org/W1489088779","https://openalex.org/W1516260139","https://openalex.org/W1524991160","https://openalex.org/W1525691290","https://openalex.org/W1527982431","https://openalex.org/W1528441743","https://openalex.org/W1539868891","https://openalex.org/W1540180001","https://openalex.org/W1577727862","https://openalex.org/W1591531250","https://openalex.org/W1593711221","https://openalex.org/W1982302236","https://openalex.org/W1987035270","https://openalex.org/W1997716585","https://openalex.org/W2007164449","https://openalex.org/W2036472753","https://openalex.org/W2040489949","https://openalex.org/W2069709605","https://openalex.org/W2075766564","https://openalex.org/W2098396071","https://openalex.org/W2111223667","https://openalex.org/W2128844732","https://openalex.org/W2129637044","https://openalex.org/W2159599065","https://openalex.org/W2166947948","https://openalex.org/W2184251204","https://openalex.org/W2913459036","https://openalex.org/W2914421362","https://openalex.org/W3004540582","https://openalex.org/W3145128584","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W3021103820","https://openalex.org/W2763487042","https://openalex.org/W2031188261","https://openalex.org/W4232446061","https://openalex.org/W4285022830","https://openalex.org/W2020883449","https://openalex.org/W2077520193","https://openalex.org/W3205267199","https://openalex.org/W2032651852"],"abstract_inverted_index":{"The":[0],"distributed":[1,15,87],"temporal":[2,11],"logic":[3,7],"DTL":[4,99],"is":[5],"a":[6,44,60,78],"for":[8,51,64],"reasoning":[9,65],"about":[10],"properties":[12],"of":[13,21,23,38,89,98],"discrete":[14],"systems":[16,76],"from":[17],"the":[18,24,74,86,96],"local":[19,75],"point":[20],"view":[22],"system's":[25],"agents,":[26],"which":[27],"are":[28],"assumed":[29],"to":[30,34],"execute":[31],"sequentially":[32],"and":[33,46,70,100],"interact":[35],"by":[36,81],"means":[37],"synchronous":[39],"event":[40],"sharing.":[41],"We":[42,91],"present":[43],"sound":[45],"complete":[47],"labelled":[48,61],"tableaux":[49,62,102],"system":[50,63],"full":[52],"DTL.":[53,90],"To":[54],"achieve":[55],"this,":[56],"we":[57,72],"first":[58],"formalize":[59],"locally":[66],"at":[67],"each":[68],"agent":[69],"afterwards":[71],"combine":[73],"into":[77],"global":[79],"one":[80],"adding":[82],"rules":[83],"that":[84],"capture":[85],"nature":[88],"also":[92],"provide":[93],"examples":[94],"illustrating":[95],"use":[97],"our":[101],"system.":[103]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}