[{"publist_id":"2339","file_date_updated":"2020-07-14T12:46:17Z","author":[{"last_name":"Didier","first_name":"Frédéric","full_name":"Didier, Frédéric"},{"full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724"},{"last_name":"Mateescu","first_name":"Maria","full_name":"Mateescu, Maria"},{"full_name":"Wolf, Verena","last_name":"Wolf","first_name":"Verena"}],"date_updated":"2021-01-12T07:52:37Z","date_created":"2018-12-11T12:05:29Z","year":"2010","department":[{"_id":"ToHe"},{"_id":"CaGu"}],"publisher":"IEEE","publication_status":"published","month":"10","doi":"10.1109/QEST.2010.33","conference":{"start_date":"2010-09-15","location":"Williamsburg, USA","end_date":"2010-09-18","name":"QEST: Quantitative Evaluation of Systems"},"language":[{"iso":"eng"}],"oa":1,"quality_controlled":"1","abstract":[{"lang":"eng","text":"The importance of stochasticity within biological systems has been shown repeatedly during the last years and has raised the need for efficient stochastic tools. We present SABRE, a tool for stochastic analysis of biochemical reaction networks. SABRE implements fast adaptive uniformization (FAU), a direct numerical approximation algorithm for computing transient solutions of biochemical reaction networks. Biochemical reactions networks represent biological systems studied at a molecular level and these reactions can be modeled as transitions of a Markov chain. SABRE accepts as input the formalism of guarded commands, which it interprets either as continuous-time or as discrete-time Markov chains. Besides operating in a stochastic mode, SABRE may also perform a deterministic analysis by directly computing a mean-field approximation of the system under study. We illustrate the different functionalities of SABRE by means of biological case studies."}],"type":"conference","pubrep_id":"63","file":[{"creator":"system","content_type":"application/pdf","file_size":433824,"access_level":"open_access","file_name":"IST-2012-63-v1+1_SABRE-A_tool_for_the_stochastic_analysis_of_biochemical_reaction_networks.pdf","checksum":"38707b149d2174f01be406e794ffa849","date_created":"2018-12-12T10:09:03Z","date_updated":"2020-07-14T12:46:17Z","file_id":"4726","relation":"main_file"}],"oa_version":"Submitted Version","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","_id":"3847","status":"public","title":"SABRE: A tool for the stochastic analysis of biochemical reaction networks","ddc":["004"],"has_accepted_license":"1","day":"14","scopus_import":1,"date_published":"2010-10-14T00:00:00Z","citation":{"mla":"Didier, Frédéric, et al. SABRE: A Tool for the Stochastic Analysis of Biochemical Reaction Networks. IEEE, 2010, pp. 193–94, doi:10.1109/QEST.2010.33.","short":"F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2010, pp. 193–194.","chicago":"Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “SABRE: A Tool for the Stochastic Analysis of Biochemical Reaction Networks,” 193–94. IEEE, 2010. https://doi.org/10.1109/QEST.2010.33.","ama":"Didier F, Henzinger TA, Mateescu M, Wolf V. SABRE: A tool for the stochastic analysis of biochemical reaction networks. In: IEEE; 2010:193-194. doi:10.1109/QEST.2010.33","ista":"Didier F, Henzinger TA, Mateescu M, Wolf V. 2010. SABRE: A tool for the stochastic analysis of biochemical reaction networks. QEST: Quantitative Evaluation of Systems, 193–194.","apa":"Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2010). SABRE: A tool for the stochastic analysis of biochemical reaction networks (pp. 193–194). Presented at the QEST: Quantitative Evaluation of Systems, Williamsburg, USA: IEEE. https://doi.org/10.1109/QEST.2010.33","ieee":"F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “SABRE: A tool for the stochastic analysis of biochemical reaction networks,” presented at the QEST: Quantitative Evaluation of Systems, Williamsburg, USA, 2010, pp. 193–194."},"page":"193 - 194"}]