Showing results (1-10 of 8) with videos related to

Sort By:
Pageof 1
IEEE/ACM Transactions on Computational Biology and Bioinformatics|September 11, 2015
A Property-Driven Methodology for Formal Analysis of Synthetic Biology SystemsSavas Konur, Marian Gheorghe
Journal of the Royal Society, Interface|May 9, 2023
Verifiable biologySavas Konur, Marian Gheorghe, Natalio Krasnogor
Bioinformatics (Oxford, England)|April 25, 2018
Automatic selection of verification tools for efficient analysis of biochemical modelsMehmet Emin Bakir, Savas Konur, Marian Gheorghe, et al.
ACS Synthetic Biology|August 5, 2014
Qualitative and quantitative analysis of systems and synthetic biology constructs using P systemsSavas Konur, Marian Gheorghe, Ciprian Dragomir, et al.
ACS Synthetic Biology|August 2, 2021
Toward Full-Stack In Silico Synthetic Biology: Integrating Model Specification, Simulation, Verification, and Biological CompilationSavas Konur, Laurentiu Mierla, Harold Fellermann, et al.
Pageof 1