Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Colin Gravill

dblp:145/5263 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
1since 2021 · last 2022
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Applied, interdisciplinary, general and emerging computing · 2 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Interdisciplinary, comprehensive, and emerging computing
1 paper
Bioinformatics and computational biology · 100%

Topics — the 2 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Bioinformatics and computational biology › systems bioinformatics
biological simulation
0.212014
Bio Simulators: a web UI for biological simulation · Bioinform. 2014
Bioinformatics and computational biology › systems biology
computational systems biology
0.212014
Bio Simulators: a web UI for biological simulation · Bioinform. 2014

Methods — techniques the papers use, named apart from their topics

web-based user interface · 0.2cloud deployment · 0.2
YearPublicationVenuePosition
2022 An SMT-Based Framework for Reasoning About Discrete Biological Models
Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Hillel Kugler, Christoph M. Wintersteiger
ISBRA3
2014 Bio Simulators: a web UI for biological simulation
abstract
SUMMARY: A host of formal, textual languages for modeling cellular processes have recently emerged, but their simulation tools often require an installation process which can pose a barrier for use. Bio Simulators is a framework for easy online deployment of simulators, providing a uniform web-based user interface to a diverse pool of tools. The framework is demonstrated through two plugins based on the KaSim Kappa simulator, one running directly in the browser and another running in the cloud. AVAILABILITY: Web tool: bsims.azurewebsites.net. KaSim client side simulator: github.com/NicolasOury/KaSimJS. KaSim cloud simulator: github.com/mdpedersen/KaSimCloud. CONTACT: [email protected] or [email protected] SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online.
Michael Pedersen, Nicolas Oury, Colin Gravill, Andrew Phillips
Bioinform.3