Automated Design and Verification of Localized DNA Computation Circuits. - Michael A. Boemo; Andrew J. Turberfield; Luca Cardelli (DNA, 2015)

Computation by origami-templated DNA walkers. - Michael A. Boemo (2016)

The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems. - Michael A. Boemo; Luca Cardelli; Conrad A. Nieduszynski (PLoS Comput. Biol., 2020)