From reaction models to influence graphs and back: A theorem

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5054 LNBI, Issue , 2008, Pages 90-102

  Fages, François ^a   Soliman, Sylvain ^a  

^a INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMAL CELL CULTURE; BIOLOGY; DIFFERENCE EQUATIONS; DIFFERENTIAL EQUATIONS; DIFFERENTIATION (CALCULUS); FORMAL METHODS; GRAPH THEORY; GRAPHIC METHODS; INFORMATION MANAGEMENT; LAWS AND LEGISLATION; MAMMALS; MAPS; MARKUP LANGUAGES; THEOREM PROVING;

BIOCHEMICAL REACTIONS; HEIDELBERG (CO); INFLUENCE GRAPH; INHIBITION EFFECTS; INTERACTIVE MAPS; INTERNATIONAL (CO); JACOBIAN; KINETIC EXPRESSIONS; LINEAR TIME; MAMMALIAN CELLS; MAPK SIGNALLING; MASS ACTION LAW; MICHAELIS-MENTEN; MOLECULAR CONCENTRATIONS; MOLECULAR SPECIES; MONOTONICITY; REACTION MODELLING; STOICHIOMETRIC COEFFICIENTS; SYSTEM OF ORDINARY DIFFERENTIAL EQUATIONS; SYSTEMS BIOLOGY; SYSTEMS BIOLOGY MARKUP LANGUAGE (SBML); TWO TYPES;

ORDINARY DIFFERENTIAL EQUATIONS;

EID: 47149115711     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68413-8_7     Document Type: Conference Paper

References (19)

1. Fages, F., Soliman, S.: Abstract interpretation and types for systems biology. Theoretical Computer Science (to appear, 2008)
2. Kohn, K.W.: Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Molecular Biology of the Cell 10, 2703-2734 (1999)
3. Hucka, M., et al.: The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models. Bioinformatics 19, 524-531 (2003)
4. Thomas, R., Gathoye, A.M., Lambert, L.: A complex control circuit: regulation of immunity in temperate bacteriophages. European Journal of Biochemistry 71, 211-227 (1976)
5. Kaufman, M., Soulé, C., Thomas, R.: A new necessary condition on interaction graphs for multistationarity. Journal of Theoretical Biology 248, 675-685 (2007)
6. Soulé, C.: Mathematical approaches to differentiation and gene regulation. C. R. Biologies 329, 13-20 (2006)
7. Soulé, C.: Graphic requirements for multistationarity. ComplexUs 1, 123-133 (2003)
8. Snoussi, E.: Necessary conditions for multistationarity and stable periodicity. J. Biol. Syst. 6, 3-9 (1998)
9. Gouzé, J.L.: Positive and negative circuits in dynamical systems. J. Biol. Syst. 6, 11-15 (1998)
10. 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 9, 180-193 (1981)
11. Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Schächter, V.: Modeling and querying biochemical interaction networks. Theoretical Computer Science 325, 25-44 (2004)
12. 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 97, 5818-5823 (2000)
13. Ventura, A.C., Sepulchre, J.A., Merajver, S.D.: A hidden feedback in signaling cascades is revealed. PLoS Computational Biology (to appear, 2008)
14. 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 164, 353-359 (2005)
15. Calzone, L., Fages, F., Soliman, S.: BIOCHAM: An environment for modeling biological systems and formalizing experimental knowledge. BioInformatics 22, 1805-1807 (2006)
16. Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry 4, 64-73 (2004)
17. Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81, 2340-2361 (1977)
18. 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 3, 1819-1826 (2007)
19. Ciliberto, A., Novák, B., Tyson, J.J.: Steady states and oscillations in the p53/mdm2 network. Cell Cycle 4, 488-493 (2005)