Volgen
Colin Gravill
Colin Gravill
Microsoft Research
Geverifieerd e-mailadres voor microsoft.com - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Bio Simulators: a web UI for biological simulation
M Pedersen, N Oury, C Gravill, A Phillips
Bioinformatics 30 (10), 1491-1492, 2014
52014
Scalable dynamic characterization of synthetic gene circuits
N Dalchau, PK Grant, P Vaidyanathan, C Spaccasassi, C Gravill, ...
bioRxiv, 635672, 2019
42019
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
12022
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–6