A Formal Framework for Composing Qualitative Models of Biological Systems-Reference-Cited by-同舟云学术

A Formal Framework for Composing Qualitative Models of Biological Systems

Published:2017 Issue: Volume: Page:25-36
ISSN:0302-9743
Container-title:Theory and Practice of Natural Computing
language:
Short-container-title:

Author:

Alkhudhayr Hanadi^ORCID,Steggles Jason^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-71069-3_2

Reference16 articles.

1. Akutsu, T., Miyano, S., Kuhara, S., et al.: Identification of genetic networks from a small number of gene expression patterns under the boolean network model. Pacific Symp. Biocomputing 4, 17–28 (1999)

2. Banks, R., Steggles, L.J.: An abstraction theory for qualitative models of biological systems. Theoret. Comput. Sci. 431, 207–218 (2012)

3. Bartocci, E., Lió, P.: Computational modeling, formal analysis, and tools for systems biology. PLoS Comput. Biol. 12(1), e1004591 (2016)

4. De Jong, H.: Modeling and simulation of genetic regulatory systems: a literature review. J. Comput. Biol. 9(1), 67–103 (2002)

5. Dubrova, E., Teslenko, M.: Compositional properties of random boolean networks. Phys. Rev. E 71, 056116 (2005). http://link.aps.org/doi/10.1103/PhysRevE.71.056116

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

1. Compositional Techniques for Boolean Networks and Attractor Analysis;Transactions on Petri Nets and Other Models of Concurrency XVII;2023-11-01

2. Developing Attractor Analysis Techniques for a Compositional Boolean Network Framework;2021 IEEE International Conference on Bioinformatics and Biomedicine (BIBM);2021-12-09

3. A compositional framework for Boolean networks;Biosystems;2019-12