Login / Signup
Colin Gravill
Publication Activity (10 Years)
Years Active: 2014-2023
Publications (10 Years): 2
Top Topics
Reasoning Engine
Web Scale
Molecular Biology
Mathematical Framework
Top Venues
Bioinform.
J. Comput. Biol.
ISBRA
</>
Publications
</>
Boyan Yordanov
,
Sara-Jane Dunn
,
Colin Gravill
,
Himanshu Arora
,
Hillel Kugler
,
Christoph M. Wintersteiger
The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models.
J. Comput. Biol.
30 (9) (2023)
Boyan Yordanov
,
Sara-Jane Dunn
,
Colin Gravill
,
Hillel Kugler
,
Christoph M. Wintersteiger
An SMT-Based Framework for Reasoning About Discrete Biological Models.
ISBRA
(2022)
Michael Pedersen
,
Nicolas Oury
,
Colin Gravill
,
Andrew Phillips
Bio Simulators: a web UI for biological simulation.
Bioinform.
30 (10) (2014)