Colin Gravill

According to our database, Colin Gravill authored at least 3 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models.

Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Himanshu Arora, Hillel Kugler, Christoph M. Wintersteiger

J. Comput. Biol., September, 2023

2022

An SMT-Based Framework for Reasoning About Discrete Biological Models.

Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Hillel Kugler, Christoph M. Wintersteiger

Proceedings of the Bioinformatics Research and Applications - 18th International Symposium, 2022

2014

Bio Simulators: a web UI for biological simulation.

Michael Pedersen, Nicolas Oury, Colin Gravill, Andrew Phillips

Bioinform., 2014