Seguir
Colin Gravill
Colin Gravill
Microsoft Research
Dirección de correo verificada de microsoft.com - Página principal
Título
Citado por
Citado por
Año
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
32019
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–6