Automatic selection of verification tools for efficient analysis of biochemical models
- Submitting institution
-
The University of Bradford
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 50
- Type
- D - Journal article
- DOI
-
10.1093/bioinformatics/bty282
- Title of journal
- Bioinformatics
- Article number
- -
- First page
- 3187
- Volume
- 34
- Issue
- 18
- ISSN
- 1367-4803
- Open access status
- Compliant
- Month of publication
- -
- Year of publication
- 2018
- URL
-
https://academic.oup.com/bioinformatics/article/34/18/3187/4983061
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
4
- Research group(s)
-
-
- Citation count
- 2
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The approach proposed in this paper permits rapid verification and validation of complex biological systems by reducing verification time from hours to seconds. The paper, published in one of the top journals in Bioinformatics, lead to (i) a new funding award (EPSRC, EP/R043787/1), (ii) a performance recognition award for the second author, (iii) completion of a PhD project in 2018 and (iv) a PDRA position for the first author at University of Sheffield in 2018.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -