Research publications

I work in several areas, so I've clustered my research papers by topic: crowds, synthetic biology/cellular computing, DNA/molecular computing, nature-inspired algorithms, education and public engagement, computational theory.

Stepney, S., Rasmussen, S. & Amos, M. (Eds.) (2018). Computational Matter. doi:10.1007/978-3-319-65826-1, ISBN (print) 978-3-319-65824-7, Springer.

Amos, M. & Condon, E. (Eds.) (2016). Unconventional Computation and Natural Computation: 15th International Conference (UCNC 2016), Manchester, UK, July 11-15, 2016, Proceedings. Lecture Notes in Computer Science (LNCS) Vol. 9726, Springer.

Amos, M. & Dittrich, P. (Eds.) (2012) Special issue of BioSystems 109:1, p.p. 1-86, dedicated to the COBRA Workshop on Biological and Chemical Information Technologies (BioChemIT), European Conference on Artificial Life, Paris, France, August 8 2011. Editorial: 10.1016/j.biosystems.2012.05.008.

Amos, M. (2012a) DNA computing. In Computational Complexity: Theory, Techniques and Applications, Robert A. Meyers (Ed.), p.p. 882-896, Springer New York. doi: 10.1007/978-1-4614-1800-9_57.(Originally appeared in Encyclopedia of Complexity and Systems Science, 2009).

Amos, M., Dittrich, P., McCaskill, J. & Rasmussen, S. (2011) Biological and chemical information technologies. Procedia Computer Science 7, p.p. 56-60. doi:10.1016/j.procs.2011.12.019.

Shasha, D. & Amos, M. (2009) DNA hash pooling and its applications. International Journal of Nanotechnology and Molecular Computation 1:1, p.p. 18-32.

Amos, M. (2009a) DNA computing. Encyclopedia of Complexity and Systems Science, Robert A. Meyers (Ed.), Part 4, p.p. 2089-2104, Springer New York. doi:10.1007/978-0-387-30440-3_131

Amos, M. (2005) Theoretical and Experimental DNA Computation. Research monograph in the Natural Computing Series, Springer, ISBN 3-540-65773-8.

Hodgson, D.A., Owenson, G., Amos, M. & Gibbons, A. (2003) Towards molecular computation. Electronics Information and Planning 31:7-8, p.p. 159-165.

Amos, M., Paun, G., Rozenberg, G. & Salomaa, A. (2002) Topics in the theory of DNA computing. Theoretical Computer Science 287:1, 3-38. doi: 10.1016/S0304-3975(02)00134-2.

Amos, M. (2002) Molecular computing. In Macmillan's Computer Sciences Encyclopedia, Volume 4, Roger Flynn (Ed.), p.p. 167-168, Macmillan Reference USA.

Owenson, G.G., Amos, M., Hodgson, D.A. & Gibbons, A. (2001) DNA-based logic. Soft Computing 5:2, 102-105. doi: 10.1007/s005000000073.

Amos, M. (2001) Theoretical and experimental DNA computation. In Current Trends in Theoretical Computer Science - Entering the 21st Century, Gheorge Paun, Grzegorz Rozenberg & Arto Salomaa (Eds.), p.p. 614--630, World Scientific Publishing, Singapore, ISBN 981-02-4473-8.

Owenson, G.G., Amos, M., Hodgson, D.A. & Gibbons, A. (1999) Molecular implementation of computational components. Proc. Congress on Evolutionary Computation (CEC99), Washington D.C., USA, 6-9 July 1999, p.p. 967-971, IEEE.

Amos, M. (1999) Review of DNA Based Computers III, Harvey Rubin & David Harlan Wood (Eds.). ACM SIGACT News 30:4, 10-12.

Amos, M., Gibbons, A. & Dunne, P.E. (1998) Toward feasible and efficient DNA computation. Complexity 4:1, 14-18.

Amos, M., Dunne, P.E. & Gibbons, A. (1998) DNA simulation of Boolean circuits. Genetic Programming 1998: Proc. Third Annual Conference, July 22-25, 1998, University of Wisconsin, Madison, Wisconsin. Koza, John R., Banzhaf, Wolfgang, Chellapilla, Kumar, Deb, Kalyanmoy, Dorigo, Marco, Fogel, David B., Garzon, Max H., Goldberg, David E., Iba, Hitoshi, & Riolo, Rick. (editors), p.p. 679-683, San Francisco, CA: Morgan Kaufmann.

Amos, M., Wilson, S., Hodgson, D.A., Owenson, G. & Gibbons, A. (1998) Practical implementation of DNA computations. Proc. First International Conference on Unconventional Models of Computation, 5-11 January 1998, Auckland, New Zealand. Discrete Mathematics & Theoretical Computer Science, C.S. Calude, J. Casti & M.J. Dinneen (Eds.), p.p. 1-18, Springer-Verlag, Singapore.

Dunne, P.E., Amos, M. & Gibbons, A. (1998) Boolean transitive closure in DNA. In Computing with Bio-Molecules: Theory and Experiments, George Paun (Ed.), p.p. 127-137, Springer-Verlag, Singapore.

Amos, M. & Kari, L. (1998) Report on the Ongoing Workshop on DNA Computing, June 29 - July 3 1998, Leiden, The Netherlands. Bulletin of the EATCS 66, 203-204.

Gibbons, A., Amos, M. & Hodgson, D. (1997) DNA computing. Current Opinion in Biotechnology 8:1, 103-106.

Amos, M., Gibbons, A. & Dunne, P.E. (1997) The complexity and viability of DNA computations. Proc. Bio-computing and Emergent Computation (BCEC97), University of Skovde, Sweden, 1-2 Sep. 1997. Lundh, Olsson & Narayanan (Eds.) p.p. 165-173, World Scientific.

Amos, M. (1997) DNA Computation. Thesis submitted to the University of Warwick, UK, for the degree of Doctor of Philosophy. Defended on August 6th, 1997. Conferred on 30th September, 1997.

Gibbons, A., Amos, M. & David Hodgson (1996) Models of DNA computation. Proc. Mathematical Foundations of Computer Science (MFCS), Cracow, Poland, 1996. Lecture Notes in Computer Science 1113, Penczek & Szalas (Eds.) p.p. 18-36, Springer-Verlag.

Amos, M., Gibbons, A. & David Hodgson (1996) Error-resistant implementation of DNA computations. Proc. Second Annual Meeting on DNA Based Computers, Princeton, NJ. DIMACS Series in Discrete Mathematics and Theoretical Computer Science. pp 151-162, Providence, RI: American Mathematical Society.

Amos, M. (1996) A new model of DNA computation. 12th British Colloquium on Theoretical Computer Science (BCTCS), University of Kent, UK, 1-4 Apr. 1996. Abstract in Bulletin of the EATCS 61.