Matthew R. Lakin

38 papers A 1B 8C 1Journal 18Unranked 9
YearRankTypeTitle / Venue / Authors
2024 B conf
Geometric Enumeration of Localized DNA Strand Displacement Reaction Networks.
DNA
Matthew R. Lakin, Sarika Kumar
2024 J jnl
Preface.
Nat. Comput.
Matthew R. Lakin, Petr Sulc
2023 J jnl
Design and Simulation of a Multilayer Chemical Neural Network That Learns via Backpropagation.
Artif. Life
Matthew R. Lakin
2023 J jnl
Supervised Learning in a Multilayer, Nonlinear Chemical Neural Network.
IEEE Trans. Neural Networks Learn. Syst.
David Arredondo, Matthew R. Lakin
2022 J jnl
Operant conditioning of stochastic chemical reaction networks.
PLoS Comput. Biol.
David Arredondo, Matthew R. Lakin
2021 B ed.
27th International Conference on DNA Computing and Molecular Programming, DNA 2021, Oxford, UK (Virtual Conference), September 13-16, 2021
DNA
Matthew R. Lakin, Petr Sulc
2018 J jnl
Automated analysis of tethered DNA nanostructures using constraint solving.
Nat. Comput.
Matthew R. Lakin, Andrew Phillips
2017 B conf
Automated, Constraint-Based Analysis of Tethered DNA Nanostructures.
DNA
Matthew R. Lakin, Andrew Phillips
2017 — conf
Towards Temporal Logic Computation Using DNA Strand Displacement Reactions.
UCNC
Matthew R. Lakin, Darko Stefanovic
2016 J jnl
A strand graph semantics for DNA-based computation.
Theor. Comput. Sci.
Rasmus L. Petersen, Matthew R. Lakin, Andrew Phillips
2016 J jnl
Logic circuits based on molecular spider systems.
Biosyst.
Dandan Mo, Matthew R. Lakin, Darko Stefanovic
2016 J jnl
Modular verification of chemical reaction network encodings via serializability analysis.
Theor. Comput. Sci.
Matthew R. Lakin, Darko Stefanovic, Andrew Phillips
2015 — conf
Scalable Design of Logic Circuits Using an Active Molecular Spider System.
IPCAT
Dandan Mo, Matthew R. Lakin, Darko Stefanovic
2015 B conf
Supervised Learning in an Adaptive DNA Strand Displacement Circuit.
DNA
Matthew R. Lakin, Darko Stefanovic
2014 J jnl
A Comparative Study of Reservoir Computing for Temporal Signal Processing.
CoRR
Alireza Goudarzi, Peter Banda, Matthew R. Lakin, Christof Teuscher, Darko Stefanovic
2014 J jnl
A Model for Variation- and Fault-Tolerant Digital Logic using Self-Assembled Nanowire Architectures.
CoRR
Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic, Christof Teuscher
2014 — conf
A model for variation- and fault-tolerant digital logic using self-assembled nanowire architectures.
NANOARCH
Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic, Christof Teuscher
2014 B conf
Abstract Modelling of Tethered DNA Circuits.
DNA
Matthew R. Lakin, Rasmus L. Petersen, Kathryn E. Gray, Andrew Phillips
2014 C conf
Compiling DNA Strand Displacement Reactions Using a Functional Programming Language.
PADL
Matthew R. Lakin, Andrew Phillips
2014 — conf
Pattern Formation by Spatially Organized Approximate Majority Reactions.
UCNC
Matthew R. Lakin, Darko Stefanovic
2014 — conf
Reservoir Computing Approach to Robust Computation Using Unreliable Nanoscale Networks.
UCNC
Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic
2014 J jnl
Reservoir Computing Approach to Robust Computation using Unreliable Nanoscale Networks.
CoRR
Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic
2013 J jnl
Contextual equivalence for inductive definitions with binders in higher order typed functional programming.
J. Funct. Program.
Matthew R. Lakin, Andrew M. Pitts
2013 B conf
DNA Reservoir Computing: A Novel Molecular Computing Approach.
DNA
Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic
2013 J jnl
DNA Reservoir Computing: A Novel Molecular Computing Approach.
CoRR
Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic
2013 B conf
Modular Verification of DNA Strand Displacement Networks via Serializability Analysis.
DNA
Matthew R. Lakin, Andrew Phillips, Darko Stefanovic
2013 J jnl
Online Learning in a Chemical Perceptron.
Artif. Life
Peter Banda, Christof Teuscher, Matthew R. Lakin
2012 J jnl
Encoding Abstract Syntax Without Fresh Names.
J. Autom. Reason.
Matthew R. Lakin, Andrew M. Pitts
2012 J jnl
Stochastic simulation of multiple process calculi for biology.
Theor. Comput. Sci.
Matthew R. Lakin, Loïc Paulevé, Andrew Phillips
2012 — conf
Towards a Biomolecular Learning Machine.
UCNC
Matthew R. Lakin, Amanda J. Minnich, Terran Lane, Darko Stefanovic
2011 J jnl
Constraint solving in non-permutative nominal abstract syntax
Log. Methods Comput. Sci.
Matthew R. Lakin
2011 B conf
Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems.
DNA
Matthew R. Lakin, Andrew Phillips
2011 J jnl
Visual DSD: a design and analysis tool for DNA strand displacement systems.
Bioinform.
Matthew R. Lakin, Simon Youssef, Filippo Polo, Stephen Emmott, Andrew Phillips
2010 — conf
A generic abstract machine for stochastic process calculi.
CMSB
Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew Phillips
2010 — —
An executable meta-language for inductive definitions with binders.
Matthew R. Lakin
2010 — conf
Stochastic Simulation of Process Calculi for Biology
MeCBIC
Andrew Phillips, Matthew R. Lakin, Loïc Paulevé
2009 A conf
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming.
ESOP
Matthew R. Lakin, Andrew M. Pitts
2007 — conf
A Metalanguage for Structural Operational Semantics.
Trends in Functional Programming
Matthew R. Lakin, Andrew M. Pitts