Benjamin A. Hall

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 6

Top Topics

Molecular Dynamics

Tandem Mass Spectra

Ctl Model Update

Top Venues

J. Chem. Inf. Model.

Publications

David Shorthouse, Benjamin A. Hall
SARS-CoV-2 Variants Are Selecting for Spike Protein Mutations That Increase Protein Stability. J. Chem. Inf. Model. 61 (9) (2021)
David Shorthouse, Michael W. J. Hall, Benjamin A. Hall
Computational Saturation Screen Reveals the Landscape of Mutations in Human Fumarate Hydratase. J. Chem. Inf. Model. 61 (4) (2021)
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
Bringing LTL Model Checking to Biologists. VMCAI (2017)
Tom Crick, Samin Ishtiaq, Benjamin A. Hall
Towards "Reproducibility-as-a-Service". CoRR (2015)
Tom Crick, Benjamin A. Hall, Samin Ishtiaq
Reproducibility as a Technical Specification. CoRR (2015)
Tom Crick, Benjamin A. Hall, Samin Ishtiaq
Dear CAV, We Need to Talk About Reproducibility. CoRR (2015)
Tom Crick, Benjamin A. Hall, Samin Ishtiaq
"Can I Implement Your Algorithm?": A Model for Reproducible Research Software. CoRR (2014)
Tom Crick, Benjamin A. Hall, Samin Ishtiaq, Kenji Takeda
"Share and Enjoy": Publishing Useful and Usable Scientific Models. UCC (2014)
Tom Crick, Benjamin A. Hall, Samin Ishtiaq, Kenji Takeda
"Share and Enjoy": Publishing Useful and Usable Scientific Models. CoRR (2014)
Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman
Finding Instability in Biological Models. CAV (2014)
Benjamin A. Hall, Judith P. Armitage, Mark S. P. Sansom
Mechanism of Bacterial Signal Transduction Revealed by Molecular Dynamics of Tsr Dimers and Trimers of Dimers in Lipid Vesicles. PLoS Comput. Biol. 8 (9) (2012)
Benjamin A. Hall, Judith P. Armitage, Mark S. P. Sansom
Transmembrane Helix Dynamics of Bacterial Chemoreceptors Supports a Piston Model of Signalling. PLoS Comput. Biol. 7 (10) (2011)
Shabana Vohra, Benjamin A. Hall, Daniel A. Holdbrook, Syma Khalid, Philip C. Biggin
Bookshelf: a simple curation system for the storage of biomolecular simulation data. Database J. Biol. Databases Curation 2010 (2010)