| 2024 | DNA | Geometric Enumeration of Localized DNA Strand Displacement Reaction Networks. | Matthew R. Lakin, Sarika Kumar |
| 2017 | DNA | Automated, Constraint-Based Analysis of Tethered DNA Nanostructures. | Matthew R. Lakin, Andrew Phillips |
| 2017 | UC | Towards Temporal Logic Computation Using DNA Strand Displacement Reactions. | Matthew R. Lakin, Darko Stefanovic |
| 2015 | DNA | Supervised Learning in an Adaptive DNA Strand Displacement Circuit. | Matthew R. Lakin, Darko Stefanovic |
| 2014 | DNA | Abstract Modelling of Tethered DNA Circuits. | Matthew R. Lakin, Rasmus L. Petersen, Kathryn E. Gray, Andrew Phillips |
| 2014 | PADL | Compiling DNA Strand Displacement Reactions Using a Functional Programming Language. | Matthew R. Lakin, Andrew Phillips |
| 2014 | UC | Reservoir Computing Approach to Robust Computation Using Unreliable Nanoscale Networks. | Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic |
| 2014 | UC | Pattern Formation by Spatially Organized Approximate Majority Reactions. | Matthew R. Lakin, Darko Stefanovic |
| 2013 | DNA | DNA Reservoir Computing: A Novel Molecular Computing Approach. | Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic |
| 2013 | DNA | Modular Verification of DNA Strand Displacement Networks via Serializability Analysis. | Matthew R. Lakin, Andrew Phillips, Darko Stefanovic |
| 2012 | UC | Towards a Biomolecular Learning Machine. | Matthew R. Lakin, Amanda J. Minnich, Terran Lane, Darko Stefanovic |
| 2011 | DNA | Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems. | Matthew R. Lakin, Andrew Phillips |
| 2009 | ESOP | Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming. | Matthew R. Lakin, Andrew M. Pitts |