CMBSlib: A library for comparing formalisms and models of biological systems

Lecture Notes in Bioinformatics (Subseries of Lecture Notes in Computer Science)

Volumn 3082, Issue , 2005, Pages 231-235

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

^a INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DIGITAL LIBRARIES; MATHEMATICAL MODELS; LARGE SCALE SYSTEMS;

CMBSLIB LIBRARY; SYSTEMS BIOLOGY;

BIOLOGICAL MATERIALS; LIVING SYSTEMS STUDIES;

BIOLOGICAL SYSTEMS; EXOTIC FORMALISMS; REFERENCED FORMALISM;

EID: 26444443104     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25974-9_19     Document Type: Conference Paper

References (11)

1. Shapiro, B.E., Levchenko, A., Meyerowitz, E.M., Wold, B.J., Mjolsness, E.D.: Cellerator: extending a computer algebra system to include biochemical arrows for signal transduction simulations. Bioinformatics 19 (2003) 677-678 http://www-aig.jpl.nasa.gov/public/mls/cellerator/.
2. Regev, A., Silverman, W., Shapiro, E.Y.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Proceedings of the sixth Pacific Symposium of Biocomputing. (2001) 459-470
3. ARC CPBIO: Process calculi and biology of molecular networks (2002-2003) http://contraintes.inria.fr/cpbio/.
4. Gent, I.P., Walsh, T.: CSPLIB: A benchmark library for constraints. In Jaffar, J., ed.: Proceedings of the Fifth International Conference on Principles and Practice of Constraint Programming (CP'99). Volume 1713 of Lecture Notes in Computer Science., Springer-Verlag (1999) 480-481
5. A longer version appeared as technical Report TR-APES-09-1999.
6. Chabrier, N., Chiaverini, M., Danos, V., Fages, F., Schächter, V.: Modeling and querying biochemical networks. Theoretical Computer Science To appear (2004)
7. Chabrier-Rivier, N., Fages, F., Soliman, S.: The biochemical abstract machine BIOCHAM. In Danos, V., Schächter, V., eds.: CMSB'04: Proceedings of the second Workshop on Computational Methods in Systems Biology. Lecture Notes in Computer Science, Springer-Verlag (2004)
8. Chabrier, N., Fages, F., Soliman, S.: BIOCHAM's user manual. INRIA. (2003-2004) http://contraintes.inria.fr/BIOCHAM/.
9. Kohn, K.W.: Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Molecular Biology of Cell 10 (1999) 703-2734
10. Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Meseguer, J., Sönmez, M.K.: Pathway logic: Symbolic analysis of biological signaling. In: Proceedings of the seventh Pacific Symposium on Biocomputing. (2002) 400-412
11. Kanehisa, M., Goto, S.: KEGG: Kyoto encyclopedia of genes and genomes. Nucleic Acids Research 28 (2000) 27-30