Matthew R. Lakin

According to our database, Matthew R. Lakin authored at least 32 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Supervised Learning in a Multilayer, Nonlinear Chemical Neural Network.

David Arredondo, Matthew R. Lakin

IEEE Trans. Neural Networks Learn. Syst., October, 2023

Design and Simulation of a Multilayer Chemical Neural Network That Learns via Backpropagation.

Matthew R. Lakin

Artif. Life, 2023

2022

Operant conditioning of stochastic chemical reaction networks.

David Arredondo, Matthew R. Lakin

PLoS Comput. Biol., November, 2022

2018

Automated analysis of tethered DNA nanostructures using constraint solving.

Matthew R. Lakin, Andrew Phillips

Nat. Comput., 2018

2017

Towards Temporal Logic Computation Using DNA Strand Displacement Reactions.

Matthew R. Lakin, Darko Stefanovic

Proceedings of the Unconventional Computation and Natural Computation, 2017

Automated, Constraint-Based Analysis of Tethered DNA Nanostructures.

Matthew R. Lakin, Andrew Phillips

Proceedings of the DNA Computing and Molecular Programming - 23rd International Conference, 2017

2016

A strand graph semantics for DNA-based computation.

Rasmus L. Petersen, Matthew R. Lakin, Andrew Phillips

Theor. Comput. Sci., 2016

Modular verification of chemical reaction network encodings via serializability analysis.

Matthew R. Lakin, Darko Stefanovic, Andrew Phillips

Theor. Comput. Sci., 2016

Logic circuits based on molecular spider systems.

Dandan Mo, Matthew R. Lakin, Darko Stefanovic

Biosyst., 2016

2015

Scalable Design of Logic Circuits Using an Active Molecular Spider System.

Dandan Mo, Matthew R. Lakin, Darko Stefanovic

Proceedings of the Information Processing in Cells and Tissues, 2015

Supervised Learning in an Adaptive DNA Strand Displacement Circuit.

Matthew R. Lakin, Darko Stefanovic

Proceedings of the DNA Computing and Molecular Programming - 21st International Conference, 2015

2014

A Comparative Study of Reservoir Computing for Temporal Signal Processing.

Alireza Goudarzi, Peter Banda, Matthew R. Lakin, Christof Teuscher, Darko Stefanovic

CoRR, 2014

Pattern Formation by Spatially Organized Approximate Majority Reactions.

Matthew R. Lakin, Darko Stefanovic

Proceedings of the Unconventional Computation and Natural Computation, 2014

Reservoir Computing Approach to Robust Computation Using Unreliable Nanoscale Networks.

Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic

Proceedings of the Unconventional Computation and Natural Computation, 2014

Compiling DNA Strand Displacement Reactions Using a Functional Programming Language.

Matthew R. Lakin, Andrew Phillips

Proceedings of the Practical Aspects of Declarative Languages, 2014

A model for variation- and fault-tolerant digital logic using self-assembled nanowire architectures.

Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic, Christof Teuscher

Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures, 2014

Abstract Modelling of Tethered DNA Circuits.

Matthew R. Lakin, Rasmus L. Petersen, Kathryn E. Gray, Andrew Phillips

Proceedings of the DNA Computing and Molecular Programming - 20th International Conference, 2014

2013

Contextual equivalence for inductive definitions with binders in higher order typed functional programming.

Matthew R. Lakin, Andrew M. Pitts

J. Funct. Program., 2013

Online Learning in a Chemical Perceptron.

Peter Banda, Christof Teuscher, Matthew R. Lakin

Artif. Life, 2013

Modular Verification of DNA Strand Displacement Networks via Serializability Analysis.

Matthew R. Lakin, Andrew Phillips, Darko Stefanovic

Proceedings of the DNA Computing and Molecular Programming - 19th International Conference, 2013

DNA Reservoir Computing: A Novel Molecular Computing Approach.

Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic

Proceedings of the DNA Computing and Molecular Programming - 19th International Conference, 2013

2012

Stochastic simulation of multiple process calculi for biology.

Matthew R. Lakin, Loïc Paulevé, Andrew Phillips

Theor. Comput. Sci., 2012

Encoding Abstract Syntax Without Fresh Names.

Matthew R. Lakin, Andrew M. Pitts

J. Autom. Reason., 2012

Towards a Biomolecular Learning Machine.

Matthew R. Lakin, Amanda J. Minnich, Terran Lane, Darko Stefanovic

Proceedings of the Unconventional Computation and Natural Computation, 2012

2011

Constraint solving in non-permutative nominal abstract syntax

Matthew R. Lakin

Log. Methods Comput. Sci., 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

Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems.

Matthew R. Lakin, Andrew Phillips

Proceedings of the DNA Computing and Molecular Programming - 17th International Conference, 2011

2010

An executable meta-language for inductive definitions with binders.

Matthew R. Lakin

PhD thesis, 2010

Stochastic Simulation of Process Calculi for Biology

Andrew Phillips, Matthew R. Lakin, Loïc Paulevé

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

A generic abstract machine for stochastic process calculi.

Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew Phillips

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

2009

Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming.

Matthew R. Lakin, Andrew M. Pitts

Proceedings of the Programming Languages and Systems, 2009

2007

A Metalanguage for Structural Operational Semantics.

Matthew R. Lakin, Andrew M. Pitts

Proceedings of the Eighth Symposium on Trends in Functional Programming, 2007