Benjamin A. Hall

According to our database, Benjamin A. Hall authored at least 13 papers between 2010 and 2021.

Collaborative distances:

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

2021

Computational Saturation Screen Reveals the Landscape of Mutations in Human Fumarate Hydratase.

David Shorthouse, Michael W. J. Hall, Benjamin A. Hall

J. Chem. Inf. Model., 2021

SARS-CoV-2 Variants Are Selecting for Spike Protein Mutations That Increase Protein Stability.

David Shorthouse, Benjamin A. Hall

J. Chem. Inf. Model., 2021

2019

Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution.

Matthew A. Clarke, Steven Woodhouse, Nir Piterman, Benjamin A. Hall, Jasmin Fisher

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

2017

Bringing LTL Model Checking to Biologists.

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

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2015

Towards "Reproducibility-as-a-Service".

Tom Crick, Samin Ishtiaq, Benjamin A. Hall

CoRR, 2015

Reproducibility as a Technical Specification.

Tom Crick, Benjamin A. Hall, Samin Ishtiaq

CoRR, 2015

Dear CAV, We Need to Talk About Reproducibility.

Tom Crick, Benjamin A. Hall, Samin Ishtiaq

CoRR, 2015

2014

"Can I Implement Your Algorithm?": A Model for Reproducible Research Software.

Tom Crick, Benjamin A. Hall, Samin Ishtiaq

CoRR, 2014

"Share and Enjoy": Publishing Useful and Usable Scientific Models.

Tom Crick, Benjamin A. Hall, Samin Ishtiaq, Kenji Takeda

Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

Finding Instability in Biological Models.

Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2012

Mechanism of Bacterial Signal Transduction Revealed by Molecular Dynamics of Tsr Dimers and Trimers of Dimers in Lipid Vesicles.

Benjamin A. Hall, Judith P. Armitage, Mark S. P. Sansom

PLoS Comput. Biol., 2012

2011

Transmembrane Helix Dynamics of Bacterial Chemoreceptors Supports a Piston Model of Signalling.

Benjamin A. Hall, Judith P. Armitage, Mark S. P. Sansom

PLoS Comput. Biol., 2011

2010

Bookshelf: a simple curation system for the storage of biomolecular simulation data.

Shabana Vohra, Benjamin A. Hall, Daniel A. Holdbrook, Syma Khalid, Philip C. Biggin

Database J. Biol. Databases Curation, 2010