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)

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)

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)

Finding Instability in Biological Models. - Byron Cook; Jasmin Fisher; Benjamin A. Hall; Samin Ishtiaq; Garvit Juniwal; Nir Piterman (CAV, 2014)

"Share and Enjoy": Publishing Useful and Usable Scientific Models. - Tom Crick; Benjamin A. Hall; Samin Ishtiaq; Kenji Takeda (UCC, 2014)

"Can I Implement Your Algorithm?": A Model for Reproducible Research Software. - Tom Crick; Benjamin A. Hall; Samin Ishtiaq (CoRR, 2014)

Dear CAV, We Need to Talk About Reproducibility. - Tom Crick; Benjamin A. Hall; Samin Ishtiaq (CoRR, 2015)

Reproducibility as a Technical Specification. - Tom Crick; Benjamin A. Hall; Samin Ishtiaq (CoRR, 2015)

Towards "Reproducibility-as-a-Service". - Tom Crick; Samin Ishtiaq; Benjamin A. Hall (CoRR, 2015)

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 (VMCAI, 2017)

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 (Automated Reasoning for Systems Biology and Medicine, 2019)

SARS-CoV-2 Variants Are Selecting for Spike Protein Mutations That Increase Protein Stability. - David Shorthouse; Benjamin A. Hall (J. Chem. Inf. Model., 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)