{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T17:11:54Z","timestamp":1725988314332},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319994284"},{"type":"electronic","value":"9783319994291"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99429-1_18","type":"book-chapter","created":{"date-parts":[[2018,8,23]],"date-time":"2018-08-23T09:45:12Z","timestamp":1535017512000},"page":"292-299","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["On Robustness Computation and\u00a0Optimization in BIOCHAM-4"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Fages","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvain","family":"Soliman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,24]]},"reference":[{"issue":"4","key":"18_CR1","doi-asserted-by":"publisher","first-page":"e7845","DOI":"10.15252\/msb.20177845","volume":"14","author":"A Courbet","year":"2018","unstructured":"Courbet, A., Amar, P., Fages, F., Renard, E., Molina, F.: Computer-aided biochemical programming of synthetic microreactors as diagnostic devices. Mol. Syst. Biol. 14(4), e7845 (2018)","journal-title":"Mol. Syst. Biol."},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 92\u2013106. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-15297-9_9"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.tcs.2014.07.032","volume":"599","author":"F Fages","year":"2015","unstructured":"Fages, F., Gay, S., Soliman, S.: Inferring reaction systems from ordinary differential equations. Theor. Comput. Sci. 599, 64\u201378 (2015)","journal-title":"Theor. Comput. Sci."},{"key":"18_CR4","doi-asserted-by":"publisher","unstructured":"Fages, F., Martinez, T., Rosenblueth, D., Soliman, S.: Influence networks compared with reaction networks: semantics, expressivity and attractors. IEEE\/ACM Trans. Comput. Biol. Bioinform. (2018). \nhttps:\/\/doi.org\/10.1109\/TCBB.2018.2805686","DOI":"10.1109\/TCBB.2018.2805686"},{"issue":"1","key":"18_CR5","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.tcs.2008.07.004","volume":"408","author":"F Fages","year":"2008","unstructured":"Fages, F., Rizk, A.: On temporal logic constraint solving for the analysis of numerical data time series. Theor. Comput. Sci. 408(1), 55\u201365 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Fages, F., Traynard, P.: Temporal logic modeling of dynamical behaviors: first-order patterns and solvers. In: del Cerro, L.F., Inoue, K. (eds.) Logical Modeling of Biological Systems, Chap. 8, pp. 291\u2013323. Wiley, Hoboken (2014)","DOI":"10.1002\/9781119005223.ch8"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/11940197_12","volume-title":"Formal Approaches to Software Testing and Runtime Verification","author":"GE Fainekos","year":"2006","unstructured":"Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications. In: Havelund, K., N\u00fa\u00f1ez, M., Ro\u015fu, G., Wolff, B. (eds.) FATES\/RV 2006. LNCS, vol. 4262, pp. 178\u2013192. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11940197_12"},{"issue":"2","key":"18_CR8","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1162\/106365601750190398","volume":"9","author":"N Hansen","year":"2001","unstructured":"Hansen, N., Ostermeier, A.: Completely derandomized self-adaptation in evolution strategies. Evol. Comput. 9(2), 159\u2013195 (2001)","journal-title":"Evol. Comput."},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1038\/msb.2012.22","volume":"8","author":"D Heitzler","year":"2012","unstructured":"Heitzler, D., et al.: Competing G protein-coupled receptor kinases balance G protein and $$\\beta $$-arrestin signaling. Mol. Syst. Biol. 8, 590 (2012)","journal-title":"Mol. Syst. Biol."},{"issue":"19","key":"18_CR10","doi-asserted-by":"publisher","first-page":"10078","DOI":"10.1073\/pnas.93.19.10078","volume":"93","author":"CY Huang","year":"1996","unstructured":"Huang, C.Y., Ferrell, J.E.: Ultrasensitivity in the mitogen-activated protein kinase cascade. PNAS 93(19), 10078\u201310083 (1996)","journal-title":"PNAS"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1038\/msb4100179","volume":"3","author":"H Kitano","year":"2007","unstructured":"Kitano, H.: Towards a theory of biological robustness. Mol. Syst. Biol. 3, 137 (2007)","journal-title":"Mol. Syst. Biol."},{"issue":"9","key":"18_CR12","doi-asserted-by":"publisher","first-page":"1819","DOI":"10.1371\/journal.pcbi.0030184","volume":"3","author":"L Qiao","year":"2007","unstructured":"Qiao, L., Nachbar, R.B., Kevrekidis, I.G., Shvartsman, S.Y.: Bistability and oscillations in the Huang-Ferrell model of MAPK signaling. PLoS Comput. Biol. 3(9), 1819\u20131826 (2007)","journal-title":"PLoS Comput. Biol."},{"issue":"25","key":"18_CR13","doi-asserted-by":"publisher","first-page":"i169","DOI":"10.1093\/bioinformatics\/btp200","volume":"12","author":"A Rizk","year":"2009","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 12(25), i169\u2013i178 (2009)","journal-title":"Bioinformatics"},{"issue":"26","key":"18_CR14","doi-asserted-by":"publisher","first-page":"2827","DOI":"10.1016\/j.tcs.2010.05.008","volume":"412","author":"A Rizk","year":"2011","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theor. Comput. Sci. 412(26), 2827\u20132839 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-319-12982-2_9","volume-title":"Computational Methods in Systems Biology","author":"P Traynard","year":"2014","unstructured":"Traynard, P., Fages, F., Soliman, S.: Trace simplifications preserving temporal logic formulae with case study in a coupled model of the cell cycle and the circadian clock. In: Mendes, P., Dada, J.O., Smallbone, K. (eds.) CMSB 2014. LNCS, vol. 8859, pp. 114\u2013128. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-12982-2_9"},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/j.biosystems.2016.07.003","volume":"149","author":"P Traynard","year":"2016","unstructured":"Traynard, P., Feillet, C., Soliman, S., Delaunay, F., Fages, F.: Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: prediction of RevErb-$$\\alpha $$ up-regulation during mitosis. Biosystems 149, 59\u201369 (2016)","journal-title":"Biosystems"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99429-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,23]],"date-time":"2018-08-23T09:51:42Z","timestamp":1535017902000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99429-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319994284","9783319994291"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99429-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}