Bio Simulators: a web UI for biological simulation. - Michael Pedersen; Nicolas Oury; Colin Gravill; Andrew Phillips (Bioinform., 2014)

An SMT-Based Framework for Reasoning About Discrete Biological Models. - Boyan Yordanov; Sara-Jane Dunn; Colin Gravill; Hillel Kugler; Christoph M. Wintersteiger (ISBRA, 2022)

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., 2023)