A Metalanguage for Structural Operational Semantics. - Matthew R. Lakin; Andrew M. Pitts (Trends in Functional Programming, 2007)

Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming. - Matthew R. Lakin; Andrew M. Pitts (ESOP, 2009)

A generic abstract machine for stochastic process calculi. - Loïc Paulevé; Simon Youssef; Matthew R. Lakin; Andrew Phillips (CMSB, 2010)

Stochastic Simulation of Process Calculi for Biology - Andrew Phillips; Matthew R. Lakin; Loïc Paulevé (MeCBIC, 2010)

An executable meta-language for inductive definitions with binders. - Matthew R. Lakin (2010)

Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems. - Matthew R. Lakin; Andrew Phillips (DNA, 2011)

Visual DSD: a design and analysis tool for DNA strand displacement systems. - Matthew R. Lakin; Simon Youssef; Filippo Polo; Stephen Emmott; Andrew Phillips (Bioinform., 2011)

Constraint solving in non-permutative nominal abstract syntax - Matthew R. Lakin (Log. Methods Comput. Sci., 2011)

Towards a Biomolecular Learning Machine. - Matthew R. Lakin; Amanda J. Minnich; Terran Lane; Darko Stefanovic (UCNC, 2012)

Encoding Abstract Syntax Without Fresh Names. - Matthew R. Lakin; Andrew M. Pitts (J. Autom. Reason., 2012)

Stochastic simulation of multiple process calculi for biology. - Matthew R. Lakin; Loïc Paulevé; Andrew Phillips (Theor. Comput. Sci., 2012)

DNA Reservoir Computing: A Novel Molecular Computing Approach. - Alireza Goudarzi; Matthew R. Lakin; Darko Stefanovic (DNA, 2013)

Modular Verification of DNA Strand Displacement Networks via Serializability Analysis. - Matthew R. Lakin; Andrew Phillips; Darko Stefanovic (DNA, 2013)

Online Learning in a Chemical Perceptron. - Peter Banda; Christof Teuscher; Matthew R. Lakin (Artif. Life, 2013)

Contextual equivalence for inductive definitions with binders in higher order typed functional programming. - Matthew R. Lakin; Andrew M. Pitts (J. Funct. Program., 2013)

Abstract Modelling of Tethered DNA Circuits. - Matthew R. Lakin; Rasmus L. Petersen; Kathryn E. Gray; Andrew Phillips (DNA, 2014)

A model for variation- and fault-tolerant digital logic using self-assembled nanowire architectures. - Alireza Goudarzi; Matthew R. Lakin; Darko Stefanovic; Christof Teuscher (NANOARCH, 2014)

Compiling DNA Strand Displacement Reactions Using a Functional Programming Language. - Matthew R. Lakin; Andrew Phillips (PADL, 2014)

Reservoir Computing Approach to Robust Computation Using Unreliable Nanoscale Networks. - Alireza Goudarzi; Matthew R. Lakin; Darko Stefanovic (UCNC, 2014)

Pattern Formation by Spatially Organized Approximate Majority Reactions. - Matthew R. Lakin; Darko Stefanovic (UCNC, 2014)

A Comparative Study of Reservoir Computing for Temporal Signal Processing. - Alireza Goudarzi; Peter Banda; Matthew R. Lakin; Christof Teuscher; Darko Stefanovic (CoRR, 2014)

Supervised Learning in an Adaptive DNA Strand Displacement Circuit. - Matthew R. Lakin; Darko Stefanovic (DNA, 2015)

Scalable Design of Logic Circuits Using an Active Molecular Spider System. - Dandan Mo; Matthew R. Lakin; Darko Stefanovic (IPCAT, 2015)

Logic circuits based on molecular spider systems. - Dandan Mo; Matthew R. Lakin; Darko Stefanovic (Biosyst., 2016)

Modular verification of chemical reaction network encodings via serializability analysis. - Matthew R. Lakin; Darko Stefanovic; Andrew Phillips (Theor. Comput. Sci., 2016)

A strand graph semantics for DNA-based computation. - Rasmus L. Petersen; Matthew R. Lakin; Andrew Phillips (Theor. Comput. Sci., 2016)

Automated, Constraint-Based Analysis of Tethered DNA Nanostructures. - Matthew R. Lakin; Andrew Phillips (DNA, 2017)

Towards Temporal Logic Computation Using DNA Strand Displacement Reactions. - Matthew R. Lakin; Darko Stefanovic (UCNC, 2017)

Automated analysis of tethered DNA nanostructures using constraint solving. - Matthew R. Lakin; Andrew Phillips (Nat. Comput., 2018)

Operant conditioning of stochastic chemical reaction networks. - David Arredondo; Matthew R. Lakin (PLoS Comput. Biol., 2022)

Design and Simulation of a Multilayer Chemical Neural Network That Learns via Backpropagation. - Matthew R. Lakin (Artif. Life, 2023)

Supervised Learning in a Multilayer, Nonlinear Chemical Neural Network. - David Arredondo; Matthew R. Lakin (IEEE Trans. Neural Networks Learn. Syst., 2023)

Geometric Enumeration of Localized DNA Strand Displacement Reaction Networks. - Matthew R. Lakin; Sarika Kumar (DNA, 2024)

Preface. - Matthew R. Lakin; Petr Sulc (Nat. Comput., 2024)