A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems
- Submitting institution
-
The University of Bradford
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 7
- Type
- D - Journal article
- DOI
-
10.1109/TCBB.2014.2362531
- Title of journal
- IEEE/ACM Transactions on Computational Biology and Bioinformatics
- Article number
- -
- First page
- 360
- Volume
- 12
- Issue
- 2
- ISSN
- 1545-5963
- Open access status
- Out of scope for open access requirements
- Month of publication
- -
- Year of publication
- 2014
- URL
-
https://www.computer.org/csdl/journal/tb/2015/02/06919278/13rRUytF47V
- 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
-
1
- Research group(s)
-
-
- Citation count
- 8
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The paper was published in one of the top software journals. The platform presented is one of the few software tools in the Membrane Computing area with some unique features. It has resulted in a long-term collaboration between U. of Bradford, Sheffield, Bucharest and Pitesti. The work resulted in a number of research projects (EP/I031812/1, CNCS-UEFISCDI and PN-III-P4-ID-PCE-2016-0210). The paper led to completion of four PhDs, C. Dragomir, M. Bakir, L. Mierla and I. Niculescu, all of which have found jobs in academia or industry. It was invited to be part of a new book “Membrane Computing Models: Implementations” (Spring,2021).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
