logo.png
  • GitHub-Mark-Light-64px

© Copyright 2019 Michael A. Boemo

Capture2_transparent_50perc_edited.png

Publications

Boemo, M.A.†, Cardelli, L., Nieduszynski, C.A. (2020) The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems. PLoS Computational Biology 16:e1007651.

[bioRxiv]

[DOI:​10.1371/journal.pcbi.1007651]

Aydogan, M.G.*†, Steinacker, T.L.*, Mofatteh, M., Gartenmann, L., Wainman, A., Saurya, S., Conduit, P.T., Zhou, F.Y., Boemo, M.A., Raff, J.W. (2019) A free-running oscillator times and executes centriole biogenesis.

[bioRxiv]

Mueller, C.A.*, Boemo, M.A.*, Spingardi, P., Kessler, B. Kriaucionis, S. Simpson, J.T., Nieduszynski, C.A.† (2019) Capturing the dynamics of genome replication on individual ultra-long nanopore sequencing reads.  Nature Methods 16:429-436.

[bioRxiv]

[DOI:10.1038/s41592-019-0394-y]

Boemo, M.A., Byrne, H.M. (2018) Mathematical modelling of a hypoxia-regulated oncolytic virus delivered by tumour-associated macrophages. Journal of Theoretical Biology 461:102-116. 

[DOI:10.1016/j.jtbi.2018.10.044]

Boemo, M.A., Lucas, A.E., Turberfield, A.J., Cardelli, L. (2016) The formal language and design principles of autonomous DNA walker circuits. ACS Synthetic Biology 5:878-884. 

[DOI:10.1021/acssynbio.5b00275]

Boemo, M.A., Turberfield, A.J., Cardelli, L. (2015) Automated design and verification of localized DNA computation circuits. In: Phillips, A., Yin, P. (eds.) DNA 2015. LNCS, vol. 9211, p. 1-13. Springer, Heidelberg. 

[DOI:10.1007/978-3-319-21999-8_11]

Wagh, K.*, Bhatia, A.*, Alexe, G., Reddy, A., Ravikumar, V., Seiler, M., Boemo, M., Yao, M., Cronk, L., Naqvi, A., Ganesan, S., Levine, A.J., Bhanot, G. (2012) Lactase persistence and lipid pathway selection in the Maasai. PLoS ONE 7: e44751. 

[DOI:10.1371/journal.pone.0044751]

*equal contribution

†correspondence