| Bio Simulators: a web UI for biological simulation M Pedersen, N Oury, C Gravill, A Phillips Bioinformatics 30 (10), 1491-1492, 2014 | 5 | 2014 |
| Scalable dynamic characterization of synthetic gene circuits N Dalchau, PK Grant, P Vaidyanathan, C Spaccasassi, C Gravill, ... bioRxiv, 635672, 2019 | 3 | 2019 |
| An SMT-based framework for reasoning about discrete biological models B Yordanov, SJ Dunn, C Gravill, H Kugler, CM Wintersteiger International Symposium on Bioinformatics Research and Applications, 114-125, 2022 | 1 | 2022 |
| The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models B Yordanov, S Dunn, C Gravill, H Arora, H Kugler, CM Wintersteiger Journal of Computational Biology 30 (9), 1046-1058, 2023 | | 2023 |
| A generic web UI for biological simulation M Pedersen, N Oury, C Gravill, A Phillips | | 2013 |
| AUTOMATIC MODULAR ABSTRACTION OF RULE-BASED MODELS M PEDERSEN, C GRAVILL, B YORDANOV, A PHILLIPS | | |
Nicolas OuryVerified email at ed.ac.uk
