Matthew R. Lakin

Available identifiers

Publication	Date of Publication	Type
Automated analysis of tethered DNA nanostructures using constraint solving	2023-11-30	Paper
Automated, constraint-based analysis of tethered DNA nanostructures	2018-02-02	Paper
Towards temporal logic computation using DNA strand displacement reactions	2017-08-31	Paper
Modular verification of chemical reaction network encodings via serializability analysis	2016-05-27	Paper
A strand graph semantics for DNA-based computation	2016-05-27	Paper
Supervised Learning in an Adaptive DNA Strand Displacement Circuit	2015-09-30	Paper
Pattern Formation by Spatially Organized Approximate Majority Reactions	2015-09-14	Paper
Abstract Modelling of Tethered DNA Circuits	2014-10-08	Paper
Contextual equivalence for inductive definitions with binders in higher order typed functional programming	2014-08-14	Paper
Modular Verification of DNA Strand Displacement Networks via Serializability Analysis	2014-07-07	Paper
DNA Reservoir Computing: A Novel Molecular Computing Approach	2014-07-07	Paper
Encoding abstract syntax without fresh names	2013-08-01	Paper
Towards a Biomolecular Learning Machine	2012-11-08	Paper
Stochastic simulation of multiple process calculi for biology	2012-05-30	Paper
Constraint solving in non-permutative nominal abstract syntax	2012-04-02	Paper
Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems	2011-09-16	Paper
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming	2009-03-31	Paper

This page was built for person: Matthew R. Lakin