{"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":1788819734732,"version":"build-2803163510"},"reference-count":65,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"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":[[2023,6,26]]},"DOI":"10.1109\/lics56636.2023.10175697","type":"proceedings-article","created":{"date-parts":[[2023,7,14]],"date-time":"2023-07-14T13:18:23Z","timestamp":1689340703000},"page":"1-14","source":"Crossref","is-referenced-by-count":3,"title":["Minimization of Dynamical Systems over Monoids"],"prefix":"10.1109","author":[{"given":"Georgios","family":"Argyris","sequence":"first","affiliation":[{"name":"Technical University of Denmark,DTU Compute,Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alberto Lluch","family":"Lafuente","sequence":"additional","affiliation":[{"name":"Technical University of Denmark,DTU Compute,Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander Leguizamon","family":"Robayo","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":"Sant’Anna School for Advanced Studies,Institute of Economics and EMbeDS,Pisa,Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s11538-017-0277-2"},{"key":"ref57","first-page":"337","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718713"},{"key":"ref56","doi-asserted-by":"crossref","DOI":"10.1016\/j.tcs.2021.06.026","article-title":"A large-scale assessment of exact lumping of quantitative models in the biomodels repository","author":"perez-verona","year":"2021","journal-title":"Theoretical Computer Science"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0022-5193(69)90015-0"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-7-135"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0009-2509(94)87006-3"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-15034-0_16"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.biosystems.2009.04.008"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1137\/0723066"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2648511.2648520"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1003527"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1021\/cr950223l"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33636-2_17"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s00180-012-0324-2"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1702697114"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54580-5_19"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99154-2_7"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-019-09761-7"},{"key":"ref50","author":"hairer","year":"2006","journal-title":"Geometric Numerical Integration"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-4-134"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/BF01212280"},{"key":"ref48","first-page":"49","article-title":"Progress on polynomial identity testing","volume":"99","author":"saxena","year":"2009","journal-title":"Bull EATCS"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.2307\/2271358"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_25"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"key":"ref44","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":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.10.021"},{"key":"ref49","author":"gear","year":"1971","journal-title":"Numerical Initial Value Problems in Ordinary Differential Equations"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837649"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btab081"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1137\/0216062"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1017\/S0021900200107338"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90030-6"},{"key":"ref6","first-page":"226","article-title":"Forward and backward bisimulations for chemical reaction networks","author":"cardelli","year":"2015","journal-title":"CONCUR"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039058"},{"key":"ref40","article-title":"Equivalence of dynamical systems by bisimulation","volume":"49","author":"van der schaft","year":"2004","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.08.016"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.07.029"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/LICS52264.2021.9470555"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2019.03.018"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31784-3_15"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_19"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2020.102441"},{"key":"ref32","article-title":"Algebra, coalgebra, and minimization in polynomial differential equations","volume":"15","author":"boreale","year":"2019","journal-title":"Log Methods Comput Sci"},{"key":"ref2","first-page":"167","article-title":"Concurrency and automata on infinite sequences","author":"park","year":"1981","journal-title":"Theoretical Computer Science"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511777110"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.1000269"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/9.863598"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s12080-020-00481-8"},{"key":"ref23","first-page":"407d","article-title":"BioModels — 15 years of sharing computational models in life science","volume":"48","author":"malik-sheriff","year":"2020","journal-title":"Nucleic Acids Research"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0009-2509(89)85014-6"},{"key":"ref25","article-title":"The netzschleuder network catalogue and repository","author":"peixoto","year":"2020"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/0092-8240(94)00036-C"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2504875"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3062544"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.biosystems.2009.04.008"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-85633-5_1"},{"key":"ref65","article-title":"Closed-form continuous-depth models","author":"hasani","year":"2021","journal-title":"CoRR"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btab081"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1137\/S0036139995293294"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63121-9_23"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btv013"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-2-36"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2010.20"}],"event":{"name":"2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Boston, MA, USA","start":{"date-parts":[[2023,6,26]]},"end":{"date-parts":[[2023,6,29]]}},"container-title":["2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10175635\/10175671\/10175697.pdf?arnumber=10175697","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T13:58:53Z","timestamp":1690898333000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10175697\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,26]]},"references-count":65,"URL":"https:\/\/doi.org\/10.1109\/lics56636.2023.10175697","relation":{},"subject":[],"published":{"date-parts":[[2023,6,26]]}}}