Automatic selection of verification tools for efficient analysis of biochemical models-Reference-Cited by-同舟云学术

Automatic selection of verification tools for efficient analysis of biochemical models

Published:2018-04-24 Issue:18 Volume:34 Page:3187-3195
ISSN:1367-4803
Container-title:Bioinformatics
language:en
Short-container-title:

Author:

Bakir Mehmet Emin¹,Konur Savas²,Gheorghe Marian²,Krasnogor Natalio³,Stannett Mike¹

Affiliation:

1. Department of Computer Science, University of Sheffield, Sheffield, UK

2. School of Electrical Engineering & Computer Science, University of Bradford, Bradford, UK

3. Interdisciplinary Computing and Complex BioSystems (ICOS) Research Group, School of Computing Science, Newcastle University, Newcastle, UK

Funder

Engineering and Physical Sciences Research Council

Innovate UK

Romanian National Authority for Scientific Research

Turkey Ministry of Education

Publisher

Oxford University Press (OUP)

Subject

Computational Mathematics,Computational Theory and Mathematics,Computer Science Applications,Molecular Biology,Biochemistry,Statistics and Probability

Link

http://academic.oup.com/bioinformatics/article-pdf/34/18/3187/25731628/bty282.pdf

Reference49 articles.

1. Model checking of correctness conditions for concurrent objects;Alur;Inform. Comp,2000

2. Genetic Network Analyzer: A Tool for the Qualitative Modeling and Simulation of Bacterial Regulatory Networks

3. The Infobiotics Workbench: an integrated in silico modelling platform for systems and synthetic biology;Blakes;Bioinformatics,2011

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

1. Verifiable biology;Journal of The Royal Society Interface;2023-05

2. Spiking neural P systems: matrix representation and formal verification;Journal of Membrane Computing;2021-04-27

3. Infobiotics Workbench: An In Silico Software Suite for Computational Systems Biology;Membrane Computing Models: Implementations;2021

4. Deciphering the expression dynamics of ANGPTL8 associated regulatory network in insulin resistance using formal modelling approaches;IET Systems Biology;2020-04

5. kPWorkbench: A software suit for membrane systems;SoftwareX;2020-01