Identification of components in biochemical pathways: extensive application to SBML models-Reference-Cited by-同舟云学术

Identification of components in biochemical pathways: extensive application to SBML models

Published:2014-06-12 Issue:3 Volume:13 Page:351-365
ISSN:1567-7818
Container-title:Natural Computing
language:en
Short-container-title:Nat Comput

Author:

Pardini Giovanni,Milazzo Paolo,Maggiolo-Schettini Andrea

Publisher

Springer Science and Business Media LLC

Subject

Computer Science Applications

Link

http://link.springer.com/content/pdf/10.1007/s11047-014-9433-x.pdf

Reference34 articles.

1. Barbuti R, Maggiolo-Schettini A, Milazzo P, Troina A (2006) A calculus of looping sequences for modelling microbiological systems. Fundamenta Informaticae 72(1):21–35

2. Barbuti R, Maggiolo-Schettini A, Milazzo P, Troina A (2008a) Bisimulations in calculi modelling membranes. Formal Asp Comput 20(4–5):351–377

3. Barbuti R, Caravagna G, Maggiolo-Schettini A, Milazzo P, Pardini G (2008b) The calculus of looping sequences. In: Formal Methods for Computational Systems Biology, Springer, Heidelberg, pp 387–423

4. Bray D, Bourret R (1995) Computer analysis of the binding reactions leading to a transmembrane receptor-linked multiprotein complex involved in bacterial chemotaxis. Mol Biol Cell 6(10):1367–1380

5. Cardelli L (2008a) From processes to ODEs by chemistry. In: Ausiello G, Karhumki J, Mauri G, Ong L (eds) Fifth Ifip international conference on Theoretical Computer Science (TCS) 2008, IFIP International Federation for Information Processing, vol 273, Springer, New York, pp 261–281, doi: 10.1007/978-0-387-09680-3_18 , http://dx.doi.org/10.1007/978-0-387-09680-3_18

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards an Efﬁcient Veriﬁcation Method for Monotonicity Properties of Chemical Reaction Networks;Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies;2019

2. Component identification in biochemical pathways;Theoretical Computer Science;2015-07