On deducing causality in metabolic networks

BMC Bioinformatics

Volumn 9, Issue SUPPL. 4, 2008, Pages

  Bodei, Chiara ^a   Bracciali, Andrea ^a   Chiarugi, Davide ^b  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF SIENA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIOCHEMICAL INTERACTIONS; CAUSAL DEPENDENCIES; COMPUTATIONAL LOGIC; EFFECTIVE ANALYSIS; ESCHERICHIA COLI K-12; INTERCONNECTED STRUCTURES; LOGICAL IMPLICATIONS; REPRESENTATION LANGUAGES;

COMPLEX NETWORKS; ESCHERICHIA COLI; EXPERIMENTS; METABOLISM;

LOGIC PROGRAMMING;

OXOGLUTARATE DEHYDROGENASE; SUCCINYL COENZYME A SYNTHETASE; PROTEOME;

ARTICLE; BACTERIAL METABOLISM; BACTERIAL STRAIN; CAUSAL MODELING; CHEMICAL REACTION; CITRIC ACID CYCLE; COMPUTER MODEL; ENZYME SYNTHESIS; ESCHERICHIA COLI K 12; MATHEMATICAL ANALYSIS; MOLECULAR INTERACTION; NONHUMAN; QUALITATIVE ANALYSIS; ALGORITHM; BIOLOGICAL MODEL; COMPUTER PROGRAM; COMPUTER SIMULATION; METABOLISM; PHYSIOLOGY; SIGNAL TRANSDUCTION;

ESCHERICHIA COLI;

ALGORITHMS; COMPUTER SIMULATION; MODELS, BIOLOGICAL; PROTEOME; SIGNAL TRANSDUCTION; SOFTWARE;

EID: 44649107075     PISSN: None     EISSN: 14712105     Source Type: Journal    
DOI: 10.1186/1471-2105-9-S4-S8     Document Type: Article

References (32)

1. Kitano H Systems Biology: A brief overview Science 2002, 295(5560):1662-1664. 10.1126/science.1069492 11872829
2. Tran N Baral C Nagaraj VJ Joshi L Knowledge-based framework for hypothesis formation in biochemical networks Bioinformatics 2005, 21(Suppl 2):iI213-ii219. 10.1093/bioinformatics/bti1134 16204106
3. Yu B Sung B Lee J Son S Kim M Kim S sucAB and sucCD are mutually essential genes in Escherichia coli FEMS Microbiology Letters 2006, 254(2):245-250. 16445752
4. Reisig W Petri Nets: An introduction Springer-Verlag 1985.
5. Goss P Peccaud J Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri Nets Proceedings of the National Academy of Sciences USA 1998, 12:6750-6754. 10.1073/ pnas.95.12.6750
6. Peleg M Yeh I Altman R Modeling biological processes using Workflow and Petri Nets models Bioinformatics 2002, 18:825-837. 10.1093/ bioinformatics/18.6.825 12075018
7. Milner R Communicating and mobile systems: The π-calculus Cambridge University Press 1999.
8. Cardelli L Gordon A Mobile Ambients Theoretical Computer Science 2000, 240:177-213. 10.1016/S0304-3975(99)00231-5
9. Priami C Regev A Shapiro E Silvermann W Application of a stochastic name-passing calculus to representation and simulation of molecular processes Theoretical Computer Science 2004, 325:141-167. 10.1016/ j.tcs.2004.03.060
10. Regev A Silvermann W Shapiro E Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra Proceedings of Pacific Symposium on Biocomputing World Scientific 2001, 459-470.
11. Regev A Panina E Silverman W Cardelli L Shapiro E Bioambients: An abstraction for biological compartements Theoretical Computer Science 2004, 325:141-167. 10.1016/j.tcs.2004.03.061
12. Danos V Krivine J Transactions in RCCS Proceedings of Conference on Concurrency Theory (CONCUR'05), Lecture Notes in Computer Science 3653 San Francisco, CA, USA: Springer 2005, 398-412.
13. Danos V Laneve C Graphs for Core Molecular Biology Proceedings of Computational Methods in Systems Biology (CMSB'03), Lecture Notes in Computer Science 2602 Rovereto, Italy: Springer 2003, 34-46.
14. Cardelli L Brane calculi-interactions of biological membranes Proceedings of Computational Methods in Systems Biology (CMSB'04) Lecture Notes in Computer Science 3082 Paris, France: Springer 2005, 257-280.
15. Priami C Quaglia P Beta Binders for Biological Interactions Proceedings of Computational Methods in Systems Biology (CMSB'04), Lecture Notes in Computer Science 3082 Paris, France: Springer 2005, 20-33.
16. Berry G Boudol G The Chemical Abstract Machine Proceeding of Symposium on Principles of Programming Languages (POPL) San Francisco, California 1990, 81-94.
17. Curti M Degano P Priami C Baldari C Modeling biochemical pathways through enhanced pi-calculus Theoretical Computer Science 2004, 325:111-140. 10.1016/j.tcs.2004.03.066
18. Degano P Priami C Non-Interleaving Semantics for Mobile Processes Theoretical Computer Science 1999, 216(1-2):237-270. 10.1016/ S0304-3975(99)80003-6
19. Degano P Montanari U Concurrent Histories: A Basis for Observing Distributed Systems Journal of Computer and System Sciences 1987, 34(2/ 3):422-461. 10.1016/0022-0000(87)90032-8
20. Bodei C Degano P Nielson F Riis-Nielson H Static analysis for the π-calculus with their application to security Information and Computation 2001, 165:68-92. 10.1006/inco.2000.3020
21. Nielson F Riis-Nielson H Schuch-Da-Rosa D Priami C Static analysis for systems biology Proceedings of workshop on Systeomatics - dynamic biological systems informatics Computer Science Press, Trinity College Dublin 2004, 1-6.
22. Chabrier N Fages F Soliman S The Biochemical abstract machine BIOCHAM Proceedings of Computational Methods in Systems Biology (CMSB'04), Lecture Notes in Computer Science 3082 Paris, France: Springer 2005, 172-191.
23. Eker S Knapp M Lincoln P Laderoute K Talcott C Pathway Logic: Executable Models of Biological Network Proceedings of the Fourth International Workshop on Rewriting Logic and Its Applications (WRLA '02), Electronic Notes in Theoretical Computer Science 71 Elsevier 2002, 144-161.
24. Talcott C Eker S Knapp M Lincoln P Laderoute K Pathway Logic Modeling of Protein Functional Domains in Signal Transduction Proceedings of Pacific Symposium on Biocomputing 2004, 9:568-580.
25. Tamaddoni-Nezhad A Chaleil R Kakas A Muggleton S Application of abductive ILP to learning metabolic network inhibition from temporal data Machine Learning 2006, 64(1-3):209-230. 10.1007/s10994-006-8988-x
26. Papatheodorou I Kakas AC Sergot M Inference of Gene Relations from Microarray Data by Abduction Proceedings of Logic Programming and Nonmonotonic Reasoning (LPNMR'05), Lecture Notes in Computer Science 3662 Diamante, Italy 2005, 389-393.
27. Grell S Schaub T Selbig J Modelling Biological Networks by Action Languages Via Answer Set Programming Proceedings of International Conference on Logic Programming (ICLP'06) Lecture Notes in Computer Science 4079 Seattle, WA, USA: Springer 2006, 285-299.
28. Wunderlich Z Mirny L Using the topology of metabolic networks to predict viability of mutant strains Biophysical Journal 2006, 91:2304-2311. 1557581 16782788 10.1529/biophysj.105.080572
29. Kayser A Weber J Henkt V Rinas U Metabolic flux analysis of Escherichia coli in glucose-limited continuous culture Transactions on Computational System Biology VII 2005, 151:693-706.
30. Edwards J Palsson B Metabolic flux balance analysis and in silico analisis of Escherichia Coli K-12 gene deletion BMC Bioinformatics 2000, 1(1):1-10. 29061 11001586 10.1186/1471-2105-1-1
31. A Toolkit Supporting Formal Reasoning about Causality in Metabolic Networks [http://www.di.unipi.it/~braccia/ToolCode].
32. Lloyd J Foundations of Logic Programming Springer Second edition 1987.