{"id":"https://openalex.org/W2293292615","doi":"https://doi.org/10.1145/2837614.2837649","title":"Symbolic computation of differential equivalences","display_name":"Symbolic computation of differential equivalences","publication_year":2016,"publication_date":"2016-01-07","ids":{"openalex":"https://openalex.org/W2293292615","doi":"https://doi.org/10.1145/2837614.2837649","mag":"2293292615"},"language":"en","primary_location":{"id":"doi:10.1145/2837614.2837649","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2837614.2837649","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://www.scopus.com/inward/record.url?scp=85063086427&partnerID=8YFLogxK","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013220584","display_name":"Luca Cardelli","orcid":"https://orcid.org/0000-0002-8705-8488"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]},{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Luca Cardelli","raw_affiliation_strings":["Microsoft Research, UK / University of Oxford, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Research, UK / University of Oxford, UK","institution_ids":["https://openalex.org/I40120149","https://openalex.org/I4210164937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037431084","display_name":"Mirco Tribastone","orcid":"https://orcid.org/0000-0002-6018-5989"},"institutions":[{"id":"https://openalex.org/I127077003","display_name":"IMT School for Advanced Studies Lucca","ror":"https://ror.org/035gh3a49","country_code":"IT","type":"education","lineage":["https://openalex.org/I127077003"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Mirco Tribastone","raw_affiliation_strings":["IMT Lucca, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IMT Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090729724","display_name":"Max Tschaikowski","orcid":"https://orcid.org/0000-0002-6186-8669"},"institutions":[{"id":"https://openalex.org/I127077003","display_name":"IMT School for Advanced Studies Lucca","ror":"https://ror.org/035gh3a49","country_code":"IT","type":"education","lineage":["https://openalex.org/I127077003"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Max Tschaikowski","raw_affiliation_strings":["IMT Lucca, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IMT Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023123658","display_name":"Andrea Vandin","orcid":"https://orcid.org/0000-0002-2606-7241"},"institutions":[{"id":"https://openalex.org/I127077003","display_name":"IMT School for Advanced Studies Lucca","ror":"https://ror.org/035gh3a49","country_code":"IT","type":"education","lineage":["https://openalex.org/I127077003"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Vandin","raw_affiliation_strings":["IMT Lucca, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IMT Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.9775,"has_fulltext":false,"cited_by_count":46,"citation_normalized_percentile":{"value":0.98924731,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"137","last_page":"150"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"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.9987999796867371,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9897000193595886,"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"}},{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9854000210762024,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.6377594470977783},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5849897861480713},{"id":"https://openalex.org/keywords/ode","display_name":"Ode","score":0.5439266562461853},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.5291557312011719},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.4727264940738678},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4459383189678192},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.42604804039001465},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.42445114254951477},{"id":"https://openalex.org/keywords/ordinary-differential-equation","display_name":"Ordinary differential equation","score":0.4113655686378479},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.41020381450653076},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3695143759250641},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3035932779312134},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.23474347591400146},{"id":"https://openalex.org/keywords/differential-equation","display_name":"Differential equation","score":0.21120211482048035},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.17758285999298096},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.15822452306747437}],"concepts":[{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.6377594470977783},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5849897861480713},{"id":"https://openalex.org/C34862557","wikidata":"https://www.wikidata.org/wiki/Q178985","display_name":"Ode","level":2,"score":0.5439266562461853},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.5291557312011719},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.4727264940738678},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4459383189678192},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.42604804039001465},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.42445114254951477},{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.4113655686378479},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.41020381450653076},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3695143759250641},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3035932779312134},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.23474347591400146},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.21120211482048035},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.17758285999298096},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.15822452306747437},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":10,"locations":[{"id":"doi:10.1145/2837614.2837649","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2837614.2837649","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.imtlucca.it:3435","is_oa":false,"landing_page_url":"http://eprints.imtlucca.it/3435/1/z3-popl16.pdf","pdf_url":"http://eprints.imtlucca.it/3435/1/z3-popl16.pdf","source":{"id":"https://openalex.org/S4306401340","display_name":"IMT Institutional Repository (IMT School for Advanced Studies Lucca)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I127077003","host_organization_name":"IMT School for Advanced Studies Lucca","host_organization_lineage":["https://openalex.org/I127077003"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Item"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.734.3921","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.734.3921","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://lucacardelli.name/Papers/Symbolic%20Computation%20of%20Differential%20Equivalences%20%28Extended%29.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.736.2081","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.736.2081","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://lucacardelli.name/Papers/Symbolic%20Computation%20of%20Differential%20Equivalences.pdf","raw_type":"text"},{"id":"pmh:oai:iris.uniroma1.it:11573/1745162","is_oa":false,"landing_page_url":"https://hdl.handle.net/11573/1745162","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:f025b083-37fd-4036-a8b5-95db7ce53b8e","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:f025b083-37fd-4036-a8b5-95db7ce53b8e","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Symplectic Elements at Oxford","raw_type":"Journal article"},{"id":"pmh:oai:pure.atira.dk:publications/31f71958-f8a6-48c6-a45a-984cf27f0d1d","is_oa":true,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85063086427&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"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":"Cardelli , L , Tribastone , M , Tschaikowski , M & Vandin , A 2019 , ' Symbolic computation of differential equivalences ' , Theoretical Computer Science , vol. 777 , pp. 132-154 . https://doi.org/10.1016/j.tcs.2019.03.018","raw_type":"article"},{"id":"pmh:oai:pure.atira.dk:publications/536da6d2-4596-4ea4-898d-03a8883f3d8b","is_oa":true,"landing_page_url":"https://orbit.dtu.dk/en/publications/536da6d2-4596-4ea4-898d-03a8883f3d8b","pdf_url":null,"source":{"id":"https://openalex.org/S4306400705","display_name":"Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I96673099","host_organization_name":"Technical University of Denmark","host_organization_lineage":["https://openalex.org/I96673099"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Cardelli , L , Tribastone , M , Tschaikowski , M & Vandin , A 2019 , ' Symbolic computation of differential equivalences ' , Theoretical Computer Science , vol. 777 , pp. 132-154 . https://doi.org/10.1016/j.tcs.2019.03.018","raw_type":"article"},{"id":"pmh:oai:pure.atira.dk:publications/55e88894-2054-4f02-bf93-b73c5f8968ca","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=84965042795&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Cardelli , L , Tribastone , M , Tschaikowski , M & Vandin , A 2016 , Symbolic computation of differential equivalences . in ACM SIGPLAN Symposium on Principles of Programming Languages . ACM SIGPLAN Notices , pp. 137-150 . https://doi.org/10.1145/2837614.2837649","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:www.iris.sssup.it:11382/534306","is_oa":false,"landing_page_url":"http://hdl.handle.net/11382/534306","pdf_url":null,"source":{"id":"https://openalex.org/S4377196376","display_name":"CINECA IRIS Institutional Research Information System (Sant'Anna School of Advanced Studies)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I162290304","host_organization_name":"Scuola Superiore Sant'Anna","host_organization_lineage":["https://openalex.org/I162290304"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:publications/31f71958-f8a6-48c6-a45a-984cf27f0d1d","is_oa":true,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85063086427&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"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":"Cardelli , L , Tribastone , M , Tschaikowski , M & Vandin , A 2019 , ' Symbolic computation of differential equivalences ' , Theoretical Computer Science , vol. 777 , pp. 132-154 . https://doi.org/10.1016/j.tcs.2019.03.018","raw_type":"article"},"sustainable_development_goals":[{"score":0.6299999952316284,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":91,"referenced_works":["https://openalex.org/W33797842","https://openalex.org/W34141764","https://openalex.org/W95449539","https://openalex.org/W97129115","https://openalex.org/W100229751","https://openalex.org/W125598877","https://openalex.org/W139143222","https://openalex.org/W291482096","https://openalex.org/W1270629017","https://openalex.org/W1480909796","https://openalex.org/W1493060511","https://openalex.org/W1495757226","https://openalex.org/W1497762588","https://openalex.org/W1498432697","https://openalex.org/W1505489763","https://openalex.org/W1546768510","https://openalex.org/W1551480811","https://openalex.org/W1597944220","https://openalex.org/W1599936794","https://openalex.org/W1606860353","https://openalex.org/W1645913739","https://openalex.org/W1862398452","https://openalex.org/W1963619740","https://openalex.org/W1968402813","https://openalex.org/W1976268573","https://openalex.org/W1983350265","https://openalex.org/W1986397618","https://openalex.org/W1986649132","https://openalex.org/W1996984709","https://openalex.org/W2004284025","https://openalex.org/W2004868751","https://openalex.org/W2006466539","https://openalex.org/W2013032123","https://openalex.org/W2021089599","https://openalex.org/W2021473546","https://openalex.org/W2030213535","https://openalex.org/W2031728268","https://openalex.org/W2032806006","https://openalex.org/W2040598439","https://openalex.org/W2040860090","https://openalex.org/W2041226400","https://openalex.org/W2041572061","https://openalex.org/W2044709552","https://openalex.org/W2044811734","https://openalex.org/W2045529195","https://openalex.org/W2050872582","https://openalex.org/W2053504864","https://openalex.org/W2053679183","https://openalex.org/W2059145118","https://openalex.org/W2068361557","https://openalex.org/W2075379212","https://openalex.org/W2076829994","https://openalex.org/W2078103992","https://openalex.org/W2090771707","https://openalex.org/W2099693848","https://openalex.org/W2109080678","https://openalex.org/W2111390218","https://openalex.org/W2114710208","https://openalex.org/W2115261880","https://openalex.org/W2119510512","https://openalex.org/W2121061285","https://openalex.org/W2121490181","https://openalex.org/W2122360082","https://openalex.org/W2126852846","https://openalex.org/W2130414563","https://openalex.org/W2130429899","https://openalex.org/W2139941949","https://openalex.org/W2147985467","https://openalex.org/W2148895036","https://openalex.org/W2157056800","https://openalex.org/W2159763578","https://openalex.org/W2162607114","https://openalex.org/W2162960800","https://openalex.org/W2163493106","https://openalex.org/W2170774457","https://openalex.org/W2259853674","https://openalex.org/W2294656289","https://openalex.org/W2964309890","https://openalex.org/W3177701684","https://openalex.org/W4238665603","https://openalex.org/W4242364663","https://openalex.org/W4243882797","https://openalex.org/W6622243269","https://openalex.org/W6629784141","https://openalex.org/W6630021230","https://openalex.org/W6630362270","https://openalex.org/W6649690402","https://openalex.org/W6660734588","https://openalex.org/W6669063669","https://openalex.org/W6681451615","https://openalex.org/W7067216465"],"related_works":["https://openalex.org/W2506850889","https://openalex.org/W2607898266","https://openalex.org/W3082668976","https://openalex.org/W2517973022","https://openalex.org/W1543121148","https://openalex.org/W1580703421","https://openalex.org/W2618518959","https://openalex.org/W2231364979","https://openalex.org/W4295745414","https://openalex.org/W4382202915"],"abstract_inverted_index":{"Ordinary":[0],"differential":[1,81,167],"equations":[2],"(ODEs)":[3],"are":[4,56,207],"widespread":[5],"in":[6,17,37,74,212],"many":[7],"natural":[8],"sciences":[9],"including":[10],"chemistry,":[11],"ecology,":[12],"and":[13,16,23,43,52,66,143,192],"systems":[14,54],"biology,":[15],"disciplines":[18],"such":[19,46,125],"as":[20,47,58,126],"control":[21],"theory":[22,76],"electrical":[24],"engineering.":[25],"Building":[26],"on":[27],"the":[28,62,75,145,159,174,216],"celebrated":[29],"molecules-as-processes":[30],"paradigm,":[31],"they":[32],"have":[33,95],"become":[34],"increasingly":[35],"popular":[36],"computer":[38],"science,":[39],"with":[40,129,199],"high-level":[41,106],"languages":[42],"formal":[44],"methods":[45],"Petri":[48],"nets,":[49],"process":[50,197],"algebra,":[51],"rule-based":[53],"that":[55,98,152,166,218],"interpreted":[57],"ODEs.":[59],"We":[60,84,134,157],"consider":[61],"problem":[63],"of":[64,77,105,161,176],"comparing":[65],"minimizing":[67],"ODEs":[68],"automatically.":[69],"Influenced":[70],"by":[71,102,164,188],"traditional":[72],"approaches":[73],"programming,":[78],"we":[79,94,206],"propose":[80],"equivalence":[82,142],"relations.":[83],"study":[85],"them":[86],"for":[87,92,173,182,196],"a":[88,103,203],"basic":[89],"intermediate":[90],"language,":[91],"which":[93],"decidability":[96],"results,":[97],"can":[99],"be":[100,120,220],"targeted":[101],"class":[104],"specifications.":[107],"An":[108],"ODE":[109,200],"implicitly":[110],"represents":[111],"an":[112,141],"uncountable":[113],"state":[114],"space,":[115],"hence":[116],"reasoning":[117],"techniques":[118],"cannot":[119,219],"borrowed":[121],"from":[122,215],"established":[123],"domains":[124],"probabilistic":[127],"programs":[128],"finite-state":[130],"Markov":[131,178],"chain":[132],"semantics.":[133,201],"provide":[135],"novel":[136],"symbolic":[137],"procedures":[138],"to":[139,209],"check":[140],"compute":[144],"largest":[146],"one":[147],"via":[148],"partition":[149],"refinement":[150],"algorithms":[151],"use":[153],"satisfiability":[154],"modulo":[155],"theories.":[156],"illustrate":[158],"generality":[160],"our":[162],"framework":[163],"showing":[165],"equivalences":[168,211],"include":[169],"(i)":[170],"well-known":[171],"notions":[172],"minimization":[175],"continuous-time":[177],"chains":[179],"(lumpability),":[180],"(ii)~bisimulations":[181],"chemical":[183],"reaction":[184],"networks":[185],"recently":[186],"proposed":[187],"Cardelli":[189],"et":[190],"al.,":[191],"(iii)":[193],"behavioral":[194],"relations":[195],"algebra":[198],"With":[202],"prototype":[204],"implementation":[205],"able":[208],"detect":[210],"biochemical":[213],"models":[214],"literature":[217],"reduced":[221],"using":[222],"competing":[223],"automatic":[224],"techniques.":[225]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":13},{"year":2016,"cited_by_count":5}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}