Publisher
Springer International Publishing
Reference25 articles.
1. Abou-Jaoudé, W., Monteiro, P.T., Naldi, A., Grandclaudon, M., Soumelis, V., Chaouiya, C., Thieffry, D.: Model checking to assess t-helper cell plasticity. In: Front. Bioeng. Biotechnol. 2, January 2015
2. Antao, T.: Bioinformatics with Python cookbook. Packt Publishing Ltd., Birmingham (2015)
3. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, New York (2003)
4. Calzone, L., Fages, F., Soliman, S.: Biocham: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14), 1805–1807 (2006)
5. Lecture Notes in Computer Science;A Cimatti,2002
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Connecting Logical Models to Omics Data;Symbolic Approaches to Modeling and Analysis of Biological Systems;2023-08-04
2. Attractor Identification in Asynchronous Boolean Dynamics with Network Reduction;Computational Methods in Systems Biology;2023
3. SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks;Computational Methods in Systems Biology;2023
4. Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets;Electronic Proceedings in Theoretical Computer Science;2022-09-20
5. Boolean modelling in plant biology;Quantitative Plant Biology;2022