Michael A. Boemo

According to our database, Michael A. Boemo authored at least 3 papers between 2015 and 2020.

Collaborative distances:

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

2020

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

2016

Computation by origami-templated DNA walkers.

Michael A. Boemo

PhD thesis, 2016

2015

Automated Design and Verification of Localized DNA Computation Circuits.

Michael A. Boemo, Andrew J. Turberfield, Luca Cardelli

Proceedings of the DNA Computing and Molecular Programming - 21st International Conference, 2015