Matthew R. Lakin

zbMath Openlakin.matthew-rMaRDI QIDQ288809

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Automated analysis of tethered DNA nanostructures using constraint solving Natural Computing	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 Theoretical Computer Science	2016-05-27	Paper
A strand graph semantics for DNA-based computation Theoretical Computer Science	2016-05-27	Paper
Supervised Learning in an Adaptive DNA Strand Displacement Circuit Lecture Notes in Computer Science	2015-09-30	Paper
Pattern Formation by Spatially Organized Approximate Majority Reactions Unconventional Computation and Natural Computation	2015-09-14	Paper
Abstract modelling of tethered DNA circuits Lecture Notes in Computer Science	2014-10-08	Paper
Contextual equivalence for inductive definitions with binders in higher order typed functional programming Journal of Functional Programming	2014-08-14	Paper
Modular verification of DNA strand displacement networks via serializability analysis Lecture Notes in Computer Science	2014-07-07	Paper
DNA reservoir computing: a novel molecular computing approach Lecture Notes in Computer Science	2014-07-07	Paper
Encoding abstract syntax without fresh names Journal of Automated Reasoning	2013-08-01	Paper
Towards a biomolecular learning machine Unconventional Computation and Natural Computation	2012-11-08	Paper
Stochastic simulation of multiple process calculi for biology Theoretical Computer Science	2012-05-30	Paper
Constraint solving in non-permutative nominal abstract syntax Logical Methods in Computer Science	2012-04-02	Paper
Modelling, simulating and verifying Turing-powerful strand displacement systems Lecture Notes in Computer Science	2011-09-16	Paper
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming Programming Languages and Systems	2009-03-31	Paper

Research outcomes over time

This page was built for person: Matthew R. Lakin