Follow
Matthew Lakin
Title
Cited by
Cited by
Year
Visual DSD: a design and analysis tool for DNA strand displacement systems
MR Lakin, S Youssef, F Polo, S Emmott, A Phillips
Bioinformatics 27 (22), 3211-3213, 2011
2582011
Abstractions for DNA circuit design
MR Lakin, S Youssef, L Cardelli, A Phillips
Journal of The Royal Society Interface 9 (68), 470-486, 2012
1312012
Design and analysis of DNA strand displacement devices using probabilistic model checking
MR Lakin, D Parker, L Cardelli, M Kwiatkowska, A Phillips
Journal of the Royal Society Interface 9 (72), 1470-1485, 2012
1262012
Supervised learning in adaptive DNA strand displacement networks
MR Lakin, D Stefanovic
ACS synthetic biology 5 (8), 885-897, 2016
802016
Signal Propagation in Multi‐Layer DNAzyme Cascades Using Structured Chimeric Substrates
CW Brown III, MR Lakin, EK Horwitz, ML Fanning, HE West, D Stefanovic, ...
Angewandte Chemie International Edition 53 (28), 7183-7187, 2014
622014
Modelling, simulating and verifying Turing-powerful strand displacement systems
MR Lakin, A Phillips
International Workshop on DNA-Based Computers, 130-144, 2011
432011
Catalytic molecular logic devices by DNAzyme displacement
CW Brown III, MR Lakin, D Stefanovic, SW Graves
ChemBioChem 15 (7), 950-954, 2014
422014
DNA reservoir computing: a novel molecular computing approach
A Goudarzi, MR Lakin, D Stefanovic
International Workshop on DNA-Based Computers, 76-89, 2013
422013
A comparative study of reservoir computing for temporal signal processing
A Goudarzi, P Banda, MR Lakin, C Teuscher, D Stefanovic
arXiv preprint arXiv:1401.2224, 2014
392014
Abstract modelling of tethered DNA circuits
MR Lakin, R Petersen, KE Gray, A Phillips
DNA Computing and Molecular Programming: 20th International Conference, DNA …, 2014
372014
Online learning in a chemical perceptron
P Banda, C Teuscher, MR Lakin
Artificial life 19 (2), 195-219, 2013
362013
A logic programming language for computational nucleic acid devices
C Spaccasassi, MR Lakin, A Phillips
ACS synthetic biology 8 (7), 1530-1547, 2018
322018
Building a community to engineer synthetic cells and organelles from the bottom-up
O Staufer, JA De Lora, E Bailoni, A Bazrafshan, AS Benk, K Jahnke, ...
Elife 10, e73556, 2021
302021
A strand graph semantics for DNA-based computation
RL Petersen, MR Lakin, A Phillips
Theoretical computer science 632, 43-73, 2016
282016
Stochastic simulation of multiple process calculi for biology
MR Lakin, L Paulevé, A Phillips
Theoretical Computer Science 431, 181-206, 2012
26*2012
Modular verification of chemical reaction network encodings via serializability analysis
MR Lakin, D Stefanovic, A Phillips
Theoretical computer science 632, 21-42, 2016
232016
A generic abstract machine for stochastic process calculi
L Paulevé, S Youssef, MR Lakin, A Phillips
Proceedings of the 8th International Conference on Computational Methods in …, 2010
222010
Reservoir computing approach to robust computation using unreliable nanoscale networks
A Goudarzi, MR Lakin, D Stefanovic
Unconventional Computation and Natural Computation: 13th International …, 2014
202014
Design of a biochemical circuit motif for learning linear functions
MR Lakin, A Minnich, T Lane, D Stefanovic
Journal of the Royal Society Interface 11 (101), 20140902, 2014
182014
Resolving inductive definitions with binders in higher-order typed functional programming
MR Lakin, AM Pitts
European Symposium on Programming, 47-61, 2009
182009
The system can't perform the operation now. Try again later.
Articles 1–20