{"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","date_created":"2018-12-11T12:02:32Z","oa":1,"oa_version":"Submitted Version","scopus_import":1,"publisher":"Springer","status":"public","title":"Propagation models for computing biochemical reaction networks","quality_controlled":"1","day":"21","file":[{"date_updated":"2020-07-14T12:46:06Z","file_id":"4649","file_size":255780,"date_created":"2018-12-12T10:07:50Z","relation":"main_file","checksum":"7f5c65509db1a9fb049abedd9663ed06","content_type":"application/pdf","file_name":"IST-2012-92-v1+1_Propagation_models_for_computing_biochemical_reaction_networks.pdf","access_level":"open_access","creator":"system"}],"type":"conference","date_updated":"2021-01-12T07:42:29Z","month":"09","publication_status":"published","date_published":"2011-09-21T00:00:00Z","abstract":[{"text":"We introduce propagation models, a formalism designed to support general and efficient data structures for the transient analysis of biochemical reaction networks. We give two use cases for propagation abstract data types: the uniformization method and numerical integration. We also sketch an implementation of a propagation abstract data type, which uses abstraction to approximate states.","lang":"eng"}],"department":[{"_id":"ToHe"}],"publist_id":"3341","year":"2011","file_date_updated":"2020-07-14T12:46:06Z","ddc":["000","004"],"doi":"10.1145/2037509.2037510","page":"1 - 3","author":[{"last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724"},{"first_name":"Maria","last_name":"Mateescu","full_name":"Mateescu, Maria"}],"has_accepted_license":"1","conference":{"start_date":"2011-09-21","name":"CMSB: Computational Methods in Systems Biology","location":"Paris, France","end_date":"2011-09-23"},"citation":{"chicago":"Henzinger, Thomas A, and Maria Mateescu. “Propagation Models for Computing Biochemical Reaction Networks,” 1–3. Springer, 2011. <a href=\"https://doi.org/10.1145/2037509.2037510\">https://doi.org/10.1145/2037509.2037510</a>.","ista":"Henzinger TA, Mateescu M. 2011. Propagation models for computing biochemical reaction networks. CMSB: Computational Methods in Systems Biology, 1–3.","apa":"Henzinger, T. A., &#38; Mateescu, M. (2011). Propagation models for computing biochemical reaction networks (pp. 1–3). Presented at the CMSB: Computational Methods in Systems Biology, Paris, France: Springer. <a href=\"https://doi.org/10.1145/2037509.2037510\">https://doi.org/10.1145/2037509.2037510</a>","ama":"Henzinger TA, Mateescu M. Propagation models for computing biochemical reaction networks. In: Springer; 2011:1-3. doi:<a href=\"https://doi.org/10.1145/2037509.2037510\">10.1145/2037509.2037510</a>","short":"T.A. Henzinger, M. Mateescu, in:, Springer, 2011, pp. 1–3.","mla":"Henzinger, Thomas A., and Maria Mateescu. <i>Propagation Models for Computing Biochemical Reaction Networks</i>. Springer, 2011, pp. 1–3, doi:<a href=\"https://doi.org/10.1145/2037509.2037510\">10.1145/2037509.2037510</a>.","ieee":"T. A. Henzinger and M. Mateescu, “Propagation models for computing biochemical reaction networks,” presented at the CMSB: Computational Methods in Systems Biology, Paris, France, 2011, pp. 1–3."},"pubrep_id":"92","language":[{"iso":"eng"}],"_id":"3299"}