Benjamin A. Hall

14 papers A* 1B 1Misc 1Journal 10
YearRankTypeTitle / Venue / Authors
2021 J jnl
Computational Saturation Screen Reveals the Landscape of Mutations in Human Fumarate Hydratase.
J. Chem. Inf. Model.
David Shorthouse, Michael W. J. Hall, Benjamin A. Hall
2021 J jnl
SARS-CoV-2 Variants Are Selecting for Spike Protein Mutations That Increase Protein Stability.
J. Chem. Inf. Model.
David Shorthouse, Benjamin A. Hall
2019 — ch.
Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution.
Automated Reasoning for Systems Biology and Medicine
Matthew A. Clarke, Steven Woodhouse, Nir Piterman, Benjamin A. Hall, Jasmin Fisher
2017 B conf
Bringing LTL Model Checking to Biologists.
VMCAI
Zara Ahmed, David Benqué, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov
2015 J jnl
Dear CAV, We Need to Talk About Reproducibility.
CoRR
Tom Crick, Benjamin A. Hall, Samin Ishtiaq
2015 J jnl
Reproducibility as a Technical Specification.
CoRR
Tom Crick, Benjamin A. Hall, Samin Ishtiaq
2015 J jnl
Towards "Reproducibility-as-a-Service".
CoRR
Tom Crick, Samin Ishtiaq, Benjamin A. Hall
2014 J jnl
"Can I Implement Your Algorithm?": A Model for Reproducible Research Software.
CoRR
Tom Crick, Benjamin A. Hall, Samin Ishtiaq
2014 Misc conf
"Share and Enjoy": Publishing Useful and Usable Scientific Models.
UCC
Tom Crick, Benjamin A. Hall, Samin Ishtiaq, Kenji Takeda
2014 J jnl
"Share and Enjoy": Publishing Useful and Usable Scientific Models.
CoRR
Tom Crick, Benjamin A. Hall, Samin Ishtiaq, Kenji Takeda
2014 A* conf
Finding Instability in Biological Models.
CAV
Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman
2012 J jnl
Mechanism of Bacterial Signal Transduction Revealed by Molecular Dynamics of Tsr Dimers and Trimers of Dimers in Lipid Vesicles.
PLoS Comput. Biol.
Benjamin A. Hall, Judith P. Armitage, Mark S. P. Sansom
2011 J jnl
Transmembrane Helix Dynamics of Bacterial Chemoreceptors Supports a Piston Model of Signalling.
PLoS Comput. Biol.
Benjamin A. Hall, Judith P. Armitage, Mark S. P. Sansom
2010 J jnl
Bookshelf: a simple curation system for the storage of biomolecular simulation data.
Database J. Biol. Databases Curation
Shabana Vohra, Benjamin A. Hall, Daniel A. Holdbrook, Syma Khalid, Philip C. Biggin