{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,7]],"date-time":"2026-09-07T22:22:14Z","timestamp":1788819734329,"version":"build-2803163510"},"reference-count":80,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6,29]]},"DOI":"10.1109\/lics52264.2021.9470555","type":"proceedings-article","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T20:14:07Z","timestamp":1625688847000},"page":"1-14","source":"Crossref","is-referenced-by-count":10,"title":["Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods"],"prefix":"10.1109","author":[{"given":"Giorgio","family":"Bacci","sequence":"first","affiliation":[{"name":"Aalborg University,Department of Computer Science,Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giovanni","family":"Bacci","sequence":"additional","affiliation":[{"name":"Aalborg University,Department of Computer Science,Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[{"name":"Aalborg University,Department of Computer Science,Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[{"name":"IMT Lucca,SysMA Research Unit,Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Max","family":"Tschaikowski","sequence":"additional","affiliation":[{"name":"Aalborg University,Department of Computer Science,Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[{"name":"Scuola Superiore Sant’Anna,Institute of Economics,Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1038\/srep00656"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1038\/35002131"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1098\/rsob.120179"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1137\/13090537X"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2019.03.018"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1021\/j100540a008"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btq388"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_57"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2017.12.018"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1991.151651"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.87.925"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48224-5_35"},{"key":"ref33","article-title":"Algebra, coalgebra, and minimization in polynomial differential equations","volume":"15","author":"boreale","year":"2019","journal-title":"Log Methods Comput Sci"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-8-84"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54577-5_31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429124"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.13"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964028"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_19"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1088216.1088219"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.3389\/fgene.2016.00094"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1016\/j.biosystems.2009.04.008"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/s10928-017-9567-4"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1126\/scisignal.aar3641"},{"key":"ref28","first-page":"233","article-title":"Enhancements of the bisimulation proof method","volume":"52","author":"pous","year":"2012","journal-title":"Advanced Topics in Bisimulation and Coinduction"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-3-98"},{"key":"ref27","author":"milner","year":"1989","journal-title":"Communication and Concurrency"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-11-233"},{"key":"ref66","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1186\/1471-2105-7-56","article-title":"A methodology for the structural and functional analysis of signaling and regulatory networks","volume":"7","author":"klamt","year":"2006","journal-title":"BMC Bioinformatics"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209169"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-15-221"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.10.021"},{"key":"ref69","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/j.jtbi.2011.08.042","article-title":"Reduction of boolean network models","volume":"289","author":"veliz-cuba","year":"2011","journal-title":"Journal of Theoretical Biology"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2005.12"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32940-1_24"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/897658"},{"key":"ref22","author":"lindvall","year":"1992","journal-title":"Lectures on the Coupling Method"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19249-9_23"},{"key":"ref24","first-page":"359","article-title":"Application of the Simplex method to a transportation problem","author":"dantzig","year":"1951","journal-title":"Activity Analysis of Production and Allocation"},{"key":"ref23","first-page":"159","article-title":"Coupling methods in probability theory","volume":"22","author":"thorisson","year":"1995","journal-title":"Scand J Stat"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.21236\/ADA457044"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.3.1.24"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177700153"},{"key":"ref51","article-title":"Efficient local computation of differential bisimulations via coupling and up-to methods","author":"bacci","year":"2021","journal-title":"CoRR"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1016\/0022-5193(73)90247-6"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1038\/224177a0"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_6"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1038\/nmeth.1546"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1098\/rsif.2017.0237"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54580-5_19"},{"key":"ref53","article-title":"CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations","author":"ovchinnikov","year":"2020","journal-title":"CoRR"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/0009-2509(89)85014-6"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"1531","DOI":"10.1137\/S0036139995293294","article-title":"The effect of lumping and expanding on kinetic differential equations","volume":"57","author":"toth","year":"1997","journal-title":"SIAM Journal on Applied Mathematics"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1021\/cr950223l"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28729-9_29"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90030-6"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.74"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1017\/S0021900200107338"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(03)00343-0"},{"key":"ref16","first-page":"38","article-title":"Simple O(m log n) time Markov chain lumping","author":"valmari","year":"2010","journal-title":"TACAS"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1702697114"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0806447105"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.2202\/1544-6115.1128"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.09.013"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2935318"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.02.037"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178137"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837649"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/9.863598"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2020.102441"},{"key":"ref49","first-page":"226","article-title":"Forward and backward bisimulations for chemical reaction networks","author":"cardelli","year":"2015","journal-title":"CONCUR"},{"key":"ref9","article-title":"Equivalence of dynamical systems by bisimulation","volume":"49","author":"van der schaft","year":"2004","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978391"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3158145"},{"key":"ref48","first-page":"385","article-title":"Proving uniformity and independence by self-composition and coupling","volume":"46","author":"barthe","year":"2017","journal-title":"LPAR"},{"key":"ref47","first-page":"6280","article-title":"Privacy amplification by subsampling: Tight analyses via couplings and divergences","author":"balle","year":"2018","journal-title":"NeurIPS"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48899-7_27"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_1"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89884-1_8"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009896"}],"event":{"name":"2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Rome, Italy","start":{"date-parts":[[2021,6,29]]},"end":{"date-parts":[[2021,7,2]]}},"container-title":["2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9470497\/9470501\/09470555.pdf?arnumber=9470555","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T23:01:51Z","timestamp":1659481311000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9470555\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,29]]},"references-count":80,"URL":"https:\/\/doi.org\/10.1109\/lics52264.2021.9470555","relation":{},"subject":[],"published":{"date-parts":[[2021,6,29]]}}}