{"id":"https://openalex.org/W2745179117","doi":"https://doi.org/10.1145/3158145","title":"Proving expected sensitivity of probabilistic programs","display_name":"Proving expected sensitivity of probabilistic programs","publication_year":2017,"publication_date":"2017-12-27","ids":{"openalex":"https://openalex.org/W2745179117","doi":"https://doi.org/10.1145/3158145","mag":"2745179117"},"language":"en","primary_location":{"id":"doi:10.1145/3158145","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3158145","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3158145&type=pdf","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=3158145&type=pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075577852","display_name":"Gilles Barthe","orcid":"https://orcid.org/0000-0002-3853-1777"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Gilles Barthe","raw_affiliation_strings":["IMDEA Software Institute, Spain","Institute IMDEA Software [Madrid]"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Spain","institution_ids":["https://openalex.org/I4210162154"]},{"raw_affiliation_string":"Institute IMDEA Software [Madrid]","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057608582","display_name":"Thomas Espitau","orcid":"https://orcid.org/0000-0002-7655-9594"},"institutions":[{"id":"https://openalex.org/I4210099593","display_name":"Computer Algorithms for Medicine","ror":"https://ror.org/00zky6d38","country_code":"AT","type":"facility","lineage":["https://openalex.org/I4210099593"]},{"id":"https://openalex.org/I4210124483","display_name":"Laboratoire M\u00e9moire et Cognition","ror":"https://ror.org/036ydxy43","country_code":"FR","type":"facility","lineage":["https://openalex.org/I154526488","https://openalex.org/I204730241","https://openalex.org/I204730241","https://openalex.org/I4210124483","https://openalex.org/I4210150564","https://openalex.org/I4210163442"]},{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]}],"countries":["AT","FR"],"is_corresponding":false,"raw_author_name":"Thomas Espitau","raw_affiliation_strings":["UPMC, France","\u00c9cole normale sup\u00e9rieure - Cachan","ALgorithms for coMmunicAtion SecuriTY"],"affiliations":[{"raw_affiliation_string":"UPMC, France","institution_ids":["https://openalex.org/I4210124483"]},{"raw_affiliation_string":"\u00c9cole normale sup\u00e9rieure - Cachan","institution_ids":["https://openalex.org/I11559806"]},{"raw_affiliation_string":"ALgorithms for coMmunicAtion SecuriTY","institution_ids":["https://openalex.org/I4210099593"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103256238","display_name":"Benjamin Gr\u00e9goire","orcid":"https://orcid.org/0000-0001-6650-9924"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Benjamin Gr\u00e9goire","raw_affiliation_strings":["Inria, France","Mathematical,  Reasoning and Software"],"affiliations":[{"raw_affiliation_string":"Inria, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Mathematical,  Reasoning and Software","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033286190","display_name":"Justin Hsu","orcid":"https://orcid.org/0000-0002-8953-7060"},"institutions":[{"id":"https://openalex.org/I36788626","display_name":"California University of Pennsylvania","ror":"https://ror.org/01spssf70","country_code":"US","type":"education","lineage":["https://openalex.org/I36788626"]},{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Justin Hsu","raw_affiliation_strings":["University College London, UK","University of Pennsylvania"],"affiliations":[{"raw_affiliation_string":"University College London, UK","institution_ids":["https://openalex.org/I45129253"]},{"raw_affiliation_string":"University of Pennsylvania","institution_ids":["https://openalex.org/I36788626"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033447950","display_name":"Pierre-Yves Strub","orcid":"https://orcid.org/0000-0002-8196-7875"},"institutions":[{"id":"https://openalex.org/I142476485","display_name":"\u00c9cole Polytechnique","ror":"https://ror.org/05hy3tk52","country_code":"FR","type":"education","lineage":["https://openalex.org/I142476485","https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre-Yves Strub","raw_affiliation_strings":["\u00c9cole Polytechnique, France","D\u00e9partement d'informatique de l'\u00c9cole polytechnique"],"affiliations":[{"raw_affiliation_string":"\u00c9cole Polytechnique, France","institution_ids":["https://openalex.org/I142476485"]},{"raw_affiliation_string":"D\u00e9partement d'informatique de l'\u00c9cole polytechnique","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5075577852"],"corresponding_institution_ids":["https://openalex.org/I4210162154"],"apc_list":null,"apc_paid":null,"fwci":3.1179,"has_fulltext":true,"cited_by_count":36,"citation_normalized_percentile":{"value":0.93400681,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"2","issue":"POPL","first_page":"1","last_page":"29"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","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"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9980999827384949,"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.9970999956130981,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.8121010065078735},{"id":"https://openalex.org/keywords/sensitivity","display_name":"Sensitivity (control systems)","score":0.6663596034049988},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.6141076683998108},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5720045566558838},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.519096851348877},{"id":"https://openalex.org/keywords/lipschitz-continuity","display_name":"Lipschitz continuity","score":0.49368295073509216},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.47452512383461},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43700656294822693},{"id":"https://openalex.org/keywords/mixing","display_name":"Mixing (physics)","score":0.4289494752883911},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.36116406321525574},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3330990970134735},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20698952674865723},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.14769849181175232},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.13311073184013367}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8121010065078735},{"id":"https://openalex.org/C21200559","wikidata":"https://www.wikidata.org/wiki/Q7451068","display_name":"Sensitivity (control systems)","level":2,"score":0.6663596034049988},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.6141076683998108},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5720045566558838},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.519096851348877},{"id":"https://openalex.org/C22324862","wikidata":"https://www.wikidata.org/wiki/Q652707","display_name":"Lipschitz continuity","level":2,"score":0.49368295073509216},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.47452512383461},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43700656294822693},{"id":"https://openalex.org/C138777275","wikidata":"https://www.wikidata.org/wiki/Q6884054","display_name":"Mixing (physics)","level":2,"score":0.4289494752883911},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36116406321525574},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3330990970134735},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20698952674865723},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.14769849181175232},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.13311073184013367},{"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3158145","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3158145","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3158145&type=pdf","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1708.02537","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1708.02537","pdf_url":"https://arxiv.org/pdf/1708.02537","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-01959322v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01959322","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"Proceedings of the ACM on Programming Languages, 2017, 2 (POPL), pp.1-29. ⟨10.1145/3158145⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"doi:10.1145/3158145","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3158145","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3158145&type=pdf","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3864752869","display_name":null,"funder_award_id":"679127","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"},{"id":"https://openalex.org/G5239629888","display_name":null,"funder_award_id":"1513694","funder_id":"https://openalex.org/F4320337388","funder_display_name":"Division of Computer and Network Systems"},{"id":"https://openalex.org/G5900154129","display_name":"TWC: Medium: Distributed Differential Privacy","funder_award_id":"1513694","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7147904858","display_name":null,"funder_award_id":"360368","funder_id":"https://openalex.org/F4320306164","funder_display_name":"Simons Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306164","display_name":"Simons Foundation","ror":"https://ror.org/01cmst727"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"},{"id":"https://openalex.org/F4320337388","display_name":"Division of Computer and Network Systems","ror":"https://ror.org/02rdzmk74"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2745179117.pdf","grobid_xml":"https://content.openalex.org/works/W2745179117.grobid-xml"},"referenced_works_count":62,"referenced_works":["https://openalex.org/W18814837","https://openalex.org/W385466589","https://openalex.org/W398859631","https://openalex.org/W1535793628","https://openalex.org/W1540515733","https://openalex.org/W1811750039","https://openalex.org/W1843453084","https://openalex.org/W1919126359","https://openalex.org/W1986208405","https://openalex.org/W2000108089","https://openalex.org/W2003675319","https://openalex.org/W2007273498","https://openalex.org/W2011086847","https://openalex.org/W2017609955","https://openalex.org/W2027193703","https://openalex.org/W2071592032","https://openalex.org/W2091015169","https://openalex.org/W2097061283","https://openalex.org/W2109260999","https://openalex.org/W2131275552","https://openalex.org/W2131542408","https://openalex.org/W2139338362","https://openalex.org/W2140422174","https://openalex.org/W2141670510","https://openalex.org/W2161290831","https://openalex.org/W2202919481","https://openalex.org/W2207879440","https://openalex.org/W2222812367","https://openalex.org/W2273367549","https://openalex.org/W2289395462","https://openalex.org/W2291259925","https://openalex.org/W2294955337","https://openalex.org/W2295961883","https://openalex.org/W2462334487","https://openalex.org/W2499441210","https://openalex.org/W2502685258","https://openalex.org/W2543296129","https://openalex.org/W2562060745","https://openalex.org/W2594877703","https://openalex.org/W2610327505","https://openalex.org/W2612816951","https://openalex.org/W2730651664","https://openalex.org/W2753900993","https://openalex.org/W2766478409","https://openalex.org/W2963794891","https://openalex.org/W3005141333","https://openalex.org/W3013397595","https://openalex.org/W3098696637","https://openalex.org/W3100368036","https://openalex.org/W3104159150","https://openalex.org/W3106186972","https://openalex.org/W3121371595","https://openalex.org/W3145555275","https://openalex.org/W4230388387","https://openalex.org/W4230556510","https://openalex.org/W4231181376","https://openalex.org/W4237794778","https://openalex.org/W4243039964","https://openalex.org/W4256210729","https://openalex.org/W4285719527","https://openalex.org/W4400691701","https://openalex.org/W6634772692"],"related_works":["https://openalex.org/W3185235544","https://openalex.org/W2897842840","https://openalex.org/W2911623553","https://openalex.org/W4297791327","https://openalex.org/W2397777611","https://openalex.org/W1502031429","https://openalex.org/W2318923278","https://openalex.org/W2417585376","https://openalex.org/W1994157709","https://openalex.org/W4294336468"],"abstract_inverted_index":{"Program":[0],"sensitivity,":[1,62],"also":[2,180],"known":[3],"as":[4],"Lipschitz":[5],"continuity,":[6],"describes":[7],"how":[8],"small":[9],"changes":[10,18],"in":[11,19,127],"a":[12,35,39,89,115,132,173,185],"program\u2019s":[13],"input":[14],"lead":[15],"to":[16,84,191],"bounded":[17],"the":[20,52,150,163,193,207],"output.":[21],"We":[22,87,143,179],"propose":[23],"an":[24],"average":[25],"notion":[26],"of":[27,42,59,65,71,118,129,136,152,162,176,206],"program":[28,91],"sensitivity":[29,55,76,98],"for":[30,95,172,188],"probabilistic":[31,40,60,137,174],"programs\u2014expected":[32],"sensitivity\u2014that":[33],"averages":[34],"distance":[36],"function":[37,61],"over":[38],"coupling":[41,195],"two":[43,47,103],"output":[44],"distributions":[45],"from":[46,210],"similar":[48],"inputs.":[49],"By":[50],"varying":[51],"distance,":[53],"expected":[54,75,97],"recovers":[56],"useful":[57],"notions":[58],"including":[63],"stability":[64,161],"machine":[66],"learning":[67],"algorithms":[68],"and":[69,81,109,200,202],"convergence":[70],"Markov":[72],"chains.":[73],"Furthermore,":[74,167],"satisfies":[77],"clean":[78],"compositional":[79,141],"properties":[80],"is":[82],"amenable":[83],"formal":[85],"verification.":[86],"develop":[88],"relational":[90,107,154],"logic":[92,101,146,183],"called":[93],"EpRHL":[94],"proving":[96],"properties.":[99],"Our":[100,156],"features":[102],"key":[104],"ideas.":[105],"First,":[106],"pre-conditions":[108],"post-conditions":[110],"are":[111,125],"expressed":[112],"using":[113],"distances,":[114],"real-valued":[116],"generalization":[117,135],"typical":[119],"boolean-valued":[120],"(relational)":[121],"assertions.":[122],"Second,":[123],"judgments":[124],"interpreted":[126],"terms":[128],"expectation":[130,189],"coupling,":[131],"novel,":[133],"quantitative":[134],"couplings":[138,190],"which":[139],"supports":[140],"reasoning.":[142],"demonstrate":[144],"our":[145,182],"on":[147],"examples":[148],"beyond":[149],"reach":[151],"prior":[153],"logics.":[155],"main":[157],"example":[158],"formalizes":[159],"uniform":[160],"stochastic":[164],"gradient":[165],"method.":[166],"we":[168],"prove":[169],"rapid":[170,204],"mixing":[171,205],"model":[175],"population":[177],"dynamics.":[178],"extend":[181],"with":[184],"transitivity":[186],"principle":[187],"capture":[192],"path":[194],"proof":[196],"technique":[197],"by":[198],"Bubley":[199],"Dyer,":[201],"formalize":[203],"Glauber":[208],"dynamics":[209],"statistical":[211],"physics.":[212]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":4}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}