Type inference in systems biology

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

Volumn 4210 LNBI, Issue , 2006, Pages 48-62

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

^a INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; DATABASE SYSTEMS; MATHEMATICAL MODELS; SOFTWARE ENGINEERING;

BIOCHEMICAL ABSTRACT MACHINE; BIOCHEMICAL MODELS; INFERENCE ALGORITHMS; INHIBITION EFFECTS; SYSTEMS BIOLOGY MARKUP LANGUAGE;

INFERENCE ENGINES;

EID: 33845221212     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11885191_4     Document Type: Conference Paper

References (20)

1. Cardelli, L.: Typeful programming. In Neuhold, E.J., Paul, M., eds.: Formal Description of Programming Concepts. Springer-Verlag, Berlin (1991) 431-507
2. Hucka, M., et al.: The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models. Bioinformatics 19 (2003) 524-531
3. 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 (2004) 64-73
4. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL'77: Proceedings of the 6th ACM Symposium on Principles of Programming Languages, New York, ACM Press (1977) 238-252 Los Angeles.
5. Cousot, P.: Types as abstract interpretation (invited paper). In: POPL'97: Proceedings of the 24th ACM Symposium on Principles of Programming Languages, New York, ACM Press (1997) 316-331 Paris.
6. Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 (1977) 2340-2361
7. Calzone, L., Chabrier-Rivier, N., Fages, F., Soliman, S.: Machine learning biochemical networks from temporal logic properties. Transactions on Computational Systems Biology (2006) CMSB'05 Special Issue (to appear).
8. Ashburner, M., Ball, C.A., Blake, J.A., Botstein, D., Butler, H., Cherry, J.M., Davis, A.P., Dolinski, K., Dwight, S.S., Eppig, J.T., Harris, M.A., Hill, D.P., Issel-Tarver, L., Kasarskis, A., Lewis, S., Matese, J.C., Richardson, J.E., Ringwald, M., Rubin, G.M., Sherlock, G.: Gene ontology: tool for the unification of biology. Nature Genetics 25 (2000) 25-29
9. Levchenko, A., Bruck, J., Sternberg, P.W.: Scaffold proteins may biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties. PNAS 97 (2000) 5818-5823
10. Kohn, K.W.: Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Molecular Biology of the Cell 10 (1999) 2703-2734
11. Chabrier-Rivier, N., Chiaverini, M., Danos, V., Pages, F., Schächter, V.: Modeling and querying biochemical interaction networks. Theoretical Computer Science 325 (2004) 25-44
12. Thomas, R., Gathoye, A.M., Lambert, L.: A complex control circuit : regulation of immunity in temperate bacteriophages. European Journal of Biochemistry 71 (1976) 211-227
13. Soulé, C.: Graphic requirements for multistationarity. ComplexUs 1 (2003) 123-133
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 (2005) 353-359
15. 2 network. Cell Cycle 4 (2005) 488-493
16. Kaufman, M.: Private communication. (2006)
17. Marhl, M., Haberichter, T., Brumen, M., Heinrich, R.: Complex calcium oscillations and the role of mitochondria and cytosolic proteins. BioSystems 57 (2000) 75-86
18. Borghans, J., Dupont, G., Goldbeter, A.: Complex intracellular calcium oscillations: a theoretical exploration of possible mechanisms. Biophysical Chemistry 66 (1997) 25-41
19. Ghosh, R., Tomlin, C.: Lateral inhibition through delta-notch signaling: A piece-wise affine hybrid model. In Springer-Verlag, ed.: Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, HSCC'01. Volume 2034 of Lecture Notes in Computer Science., Rome, Italy (2001) 232-246
20. Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. Chaos 11 (2001) 170-195