{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T15:50:29Z","timestamp":1775922629846,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540684107","type":"print"},{"value":"9783540684138","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68413-8_7","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T08:03:46Z","timestamp":1212566626000},"page":"90-102","source":"Crossref","is-referenced-by-count":18,"title":["From Reaction Models to Influence Graphs and Back: A Theorem"],"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","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Fages, F., Soliman, S.: Abstract interpretation and types for systems biology. Theoretical Computer Science (to appear, 2008)","DOI":"10.1016\/j.tcs.2008.04.024"},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"2703","DOI":"10.1091\/mbc.10.8.2703","volume":"10","author":"K.W. Kohn","year":"1999","unstructured":"Kohn, K.W.: Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Molecular Biology of the Cell\u00a010, 2703\u20132734 (1999)","journal-title":"Molecular Biology of the Cell"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M. Hucka","year":"2003","unstructured":"Hucka, M., et al.: The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models. Bioinformatics\u00a019, 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1111\/j.1432-1033.1976.tb11108.x","volume":"71","author":"R. Thomas","year":"1976","unstructured":"Thomas, R., Gathoye, A.M., Lambert, L.: A complex control circuit: regulation of immunity in temperate bacteriophages. European Journal of Biochemistry\u00a071, 211\u2013227 (1976)","journal-title":"European Journal of Biochemistry"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1016\/j.jtbi.2007.06.016","volume":"248","author":"M. Kaufman","year":"2007","unstructured":"Kaufman, M., Soul\u00e9, C., Thomas, R.: A new necessary condition on interaction graphs for multistationarity. Journal of Theoretical Biology\u00a0248, 675\u2013685 (2007)","journal-title":"Journal of Theoretical Biology"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/j.crvi.2005.10.002","volume":"329","author":"C. Soul\u00e9","year":"2006","unstructured":"Soul\u00e9, C.: Mathematical approaches to differentiation and gene regulation. C. R. Biologies\u00a0329, 13\u201320 (2006)","journal-title":"C. R. Biologies"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1159\/000076100","volume":"1","author":"C. Soul\u00e9","year":"2003","unstructured":"Soul\u00e9, C.: Graphic requirements for multistationarity. ComplexUs\u00a01, 123\u2013133 (2003)","journal-title":"ComplexUs"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1142\/S0218339098000042","volume":"6","author":"E. Snoussi","year":"1998","unstructured":"Snoussi, E.: Necessary conditions for multistationarity and stable periodicity. J. Biol. Syst.\u00a06, 3\u20139 (1998)","journal-title":"J. Biol. Syst."},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1142\/S0218339098000054","volume":"6","author":"J.L. Gouz\u00e9","year":"1998","unstructured":"Gouz\u00e9, J.L.: Positive and negative circuits in dynamical systems. J. Biol. Syst.\u00a06, 11\u201315 (1998)","journal-title":"J. Biol. Syst."},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1007\/978-3-642-81703-8_24","volume":"9","author":"R. Thomas","year":"1981","unstructured":"Thomas, R.: On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations. Springer Ser. Synergetics\u00a09, 180\u2013193 (1981)","journal-title":"Springer Ser. Synergetics"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.tcs.2004.03.063","volume":"325","author":"N. Chabrier-Rivier","year":"2004","unstructured":"Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Sch\u00e4chter, V.: Modeling and querying biochemical interaction networks. Theoretical Computer Science\u00a0325, 25\u201344 (2004)","journal-title":"Theoretical Computer Science"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"5818","DOI":"10.1073\/pnas.97.11.5818","volume":"97","author":"A. Levchenko","year":"2000","unstructured":"Levchenko, A., Bruck, J., Sternberg, P.W.: Scaffold proteins biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties. PNAS\u00a097, 5818\u20135823 (2000)","journal-title":"PNAS"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Ventura, A.C., Sepulchre, J.A., Merajver, S.D.: A hidden feedback in signaling cascades is revealed. PLoS Computational Biology (to appear, 2008)","DOI":"10.1371\/journal.pcbi.1000041"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1083\/jcb.200308060","volume":"164","author":"N.I. Markevich","year":"2005","unstructured":"Markevich, N.I., Hoek, J.B., Kholodenko, B.N.: Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades. Journal of Cell Biology\u00a0164, 353\u2013359 (2005)","journal-title":"Journal of Cell Biology"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","volume":"22","author":"L. Calzone","year":"2006","unstructured":"Calzone, L., Fages, F., Soliman, S.: BIOCHAM: An environment for modeling biological systems and formalizing experimental knowledge. BioInformatics\u00a022, 1805\u20131807 (2006)","journal-title":"BioInformatics"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"64","DOI":"10.4024\/2040402.jbpc.04.02","volume":"4","author":"F. Fages","year":"2004","unstructured":"Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry\u00a04, 64\u201373 (2004)","journal-title":"Journal of Biological Physics and Chemistry"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry\u00a081, 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"},{"key":"7_CR18","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 Computational Biology\u00a03, 1819\u20131826 (2007)","journal-title":"PLoS Computational Biology"},{"key":"7_CR19","doi-asserted-by":"crossref","first-page":"488","DOI":"10.4161\/cc.4.3.1548","volume":"4","author":"A. Ciliberto","year":"2005","unstructured":"Ciliberto, A., Nov\u00e1k, B., Tyson, J.J.: Steady states and oscillations in the p53\/mdm2 network. Cell Cycle\u00a04, 488\u2013493 (2005)","journal-title":"Cell Cycle"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68413-8_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:51:15Z","timestamp":1620017475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68413-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540684107","9783540684138"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68413-8_7","relation":{},"subject":[]}}