{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T14:10:02Z","timestamp":1772287802113,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,6,4]],"date-time":"2010-06-04T00:00:00Z","timestamp":1275609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BMC Syst Biol"],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1186\/1752-0509-4-79","type":"journal-article","created":{"date-parts":[[2010,6,4]],"date-time":"2010-06-04T14:14:21Z","timestamp":1275660861000},"source":"Crossref","is-referenced-by-count":18,"title":["Hybrid modeling of biological networks: mixing temporal and qualitative biological properties"],"prefix":"10.1186","volume":"4","author":[{"given":"Jonathan","family":"Fromentin","sequence":"first","affiliation":[]},{"given":"Damien","family":"Eveillard","sequence":"additional","affiliation":[]},{"given":"Olivier","family":"Roux","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,6,4]]},"reference":[{"issue":"5","key":"468_CR1","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1038\/nrg2098","volume":"8","author":"CJ Tomlin","year":"2007","unstructured":"Tomlin CJ, Axelrod JD: Biology by numbers: mathematical modelling in developmental biology. Nat Rev Genet. 2007, 8 (5): 331-40. 10.1038\/nrg2098","journal-title":"Nat Rev Genet"},{"key":"468_CR2","volume-title":"Nat Rev Mol Cell Biol","author":"G Karlebach","year":"2008","unstructured":"Karlebach G, Shamir R: Modelling and analysis of gene regulatory networks. Nat Rev Mol Cell Biol. 2008,"},{"key":"468_CR3","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H de Jong","year":"2002","unstructured":"de Jong H: Modeling and simulation of genetic regulatory systems: a literature review. J Comput Biol. 2002, 9: 67-103. 10.1089\/10665270252833208","journal-title":"J Comput Biol"},{"issue":"2","key":"468_CR4","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/j.bulm.2003.08.010","volume":"66","author":"H de Jong","year":"2004","unstructured":"de Jong H, Gouz\u00e9 JL, Hernandez C, Page M, Sari T, Geiselmann J: Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull Math Biol. 2004, 66 (2): 301-40. 10.1016\/j.bulm.2003.08.010","journal-title":"Bull Math Biol"},{"issue":"2","key":"468_CR5","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF02460618","volume":"57","author":"R Thomas","year":"1995","unstructured":"Thomas R, Thieffry D, Kaufman M: Dynamical behaviour of biological regulatory networks-I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull Math Biol. 1995, 57 (2): 247-76.","journal-title":"Bull Math Biol"},{"key":"468_CR6","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-31954-2_9","volume-title":"International Workshop on Hybrid Systems: Computation and Control (HSCC)","author":"G Batt","year":"2005","unstructured":"Batt G, Ropers D, de Jong H, Geiselmann J, Page M, et al.: Qualitative analysis and verification of hybrid models of genetic regulatory networks. International Workshop on Hybrid Systems: Computation and Control (HSCC). 2005, 134-150.LNCS 3414,"},{"issue":"18","key":"468_CR7","doi-asserted-by":"publisher","first-page":"2403","DOI":"10.1016\/j.dam.2007.04.019","volume":"155","author":"A Richard","year":"2007","unstructured":"Richard A, Comet J: Necessary conditions for multistationarity in discrete dynamical systems. Discrete Applied Mathematics. 2007, 155 (18): 2403-2413. 10.1016\/j.dam.2007.04.019.","journal-title":"Discrete Applied Mathematics"},{"key":"468_CR8","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1049\/sb:20045019","volume":"1","author":"R Ghosh","year":"2004","unstructured":"Ghosh R, Tomlin C: Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-Notch protein signalling. Syst Biol (Stevenage). 2004, 1: 170-183. 10.1049\/sb:20045019","journal-title":"Syst Biol (Stevenage)"},{"issue":"Suppl 1","key":"468_CR9","doi-asserted-by":"publisher","first-page":"i19","DOI":"10.1093\/bioinformatics\/bti1048","volume":"21","author":"G Batt","year":"2005","unstructured":"Batt G, Ropers D, de Jong H, Geiselmann J, Mateescu R, Page M, Schneider D: Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. Bioinformatics. 2005, 21 (Suppl 1): i19-28. 10.1093\/bioinformatics\/bti1048","journal-title":"Bioinformatics"},{"issue":"9","key":"468_CR10","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1038\/nrg2625","volume":"10","author":"M Bennett","year":"2009","unstructured":"Bennett M, Hasty J: Microfluidic devices for measuring gene network dynamics in single cells. Nature reviews Genetics. 2009, 10 (9): 628-38. 10.1038\/nrg2625","journal-title":"Nature reviews Genetics"},{"key":"468_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-5193(05)80350-9","volume":"153","author":"R Thomas","year":"1991","unstructured":"Thomas R: Regulatory Networks Seen as Asynchronous Automata: A logical Description. Journal of Theoretical Biology. 1991, 153: 1-23. 10.1016\/S0022-5193(05)80350-9.","journal-title":"Journal of Theoretical Biology"},{"key":"468_CR12","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1016\/0022-5193(73)90247-6","volume":"42","author":"R Thomas","year":"1973","unstructured":"Thomas R: Boolean formalization of genetic control circuits. Journal of Theoretical Biology. 1973, 42: 563-585. 10.1016\/0022-5193(73)90247-6","journal-title":"Journal of Theoretical Biology"},{"issue":"4","key":"468_CR13","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1159\/000110010","volume":"3","author":"J Ahmad","year":"2007","unstructured":"Ahmad J, Bernot G, Comet JP, Lime D, Roux O: Hybrid Modelling and Dynamical Analysis of Gene Regulatory Networks with Delays. ComPlexUs. 2007, 3 (4): 231-251. 10.1159\/000110010.","journal-title":"ComPlexUs"},{"key":"468_CR14","first-page":"38","volume-title":"FORMATS","author":"G Batt","year":"2007","unstructured":"Batt G, Salah RB, Maler O: On Timed Models of Gene Networks. FORMATS. 2007, 38-52."},{"issue":"3","key":"468_CR15","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/j.tcs.2007.11.010","volume":"391","author":"H Siebert","year":"2008","unstructured":"Siebert H, Bockmayr A: Temporal constraints in the logical analysis of regulatory networks. Theor Comput Sci. 2008, 391 (3): 258-275. 10.1016\/j.tcs.2007.11.010.","journal-title":"Theor Comput Sci"},{"key":"468_CR16","first-page":"189","volume-title":"Proc. CHARME'95, LNCS 987","author":"O Maler","year":"1995","unstructured":"Maler O, Pnueli A: Timing Analysis of Asynchronous Circuits using Timed Automata. Proc. CHARME'95, LNCS 987. Edited by: Camurati PE, Eveking H. 1995, 189-205. Springer,"},{"key":"468_CR17","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S0004-3702(01)00169-2","volume":"136","author":"O Bernard","year":"2002","unstructured":"Bernard O, Gouz\u00e9 J: Global qualitative description of a class of nonlinear dynamical systems. Artificial Intelligence. 2002, 136: 29-59. 10.1016\/S0004-3702(01)00169-2.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"468_CR18","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.biosystems.2005.10.006","volume":"84","author":"A Siegel","year":"2006","unstructured":"Siegel A, Radulescu O, Borgne ML, Veber P, Ouy J, Lagarrigue S: Qualitative analysis of the relation between DNA microarray data and behavioral models of regulation networks. Biosystems. 2006, 84 (2): 153-174. 10.1016\/j.biosystems.2005.10.006","journal-title":"Biosystems"},{"key":"468_CR19","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Ho PH, Wong-Toi H: HYTECH: A Model Checker for Hybrid Systems. International Journal on Software Tools for Technology Transfer. 1 (1-2):","DOI":"10.1007\/s100090050008"},{"key":"468_CR20","first-page":"258","volume-title":"Proceedings of HSCC 2005, Volume LNCS 3414","author":"G Frehse","year":"2005","unstructured":"Frehse G: PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech. Proceedings of HSCC 2005, Volume LNCS 3414. 2005, 258-273."},{"key":"468_CR21","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1177\/074873098128999934","volume":"13","author":"JC Leloup","year":"1998","unstructured":"Leloup JC, Goldbeter A: A model for circadian rhythms in Drosophila incorporating the formation of a complex between the PER and TIM proteins. J Biol Rhythms. 1998, 13: 70-87. 10.1177\/074873098128999934","journal-title":"J Biol Rhythms"},{"key":"468_CR22","first-page":"618","volume-title":"Proceedings of HSCC 2008, Volume LNCS 4981","author":"SK Jha","year":"2008","unstructured":"Jha SK: d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata. Proceedings of HSCC 2008, Volume LNCS 4981. 2008, 618-621."}],"container-title":["BMC Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1752-0509-4-79.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/1752-0509-4-79\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1752-0509-4-79.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,22]],"date-time":"2019-01-22T21:21:37Z","timestamp":1548192097000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcsystbiol.biomedcentral.com\/articles\/10.1186\/1752-0509-4-79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,4]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["468"],"URL":"https:\/\/doi.org\/10.1186\/1752-0509-4-79","relation":{},"ISSN":["1752-0509"],"issn-type":[{"value":"1752-0509","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,6,4]]},"article-number":"79"}}