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
1672011
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
1052012
Abstractions for DNA circuit design
MR Lakin, S Youssef, L Cardelli, A Phillips
Journal of The Royal Society Interface 9 (68), 470-486, 2012
982012
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
432014
Supervised learning in adaptive DNA strand displacement networks
MR Lakin, D Stefanovic
ACS Synthetic Biology 5 (8), 885-897, 2016
342016
Catalytic molecular logic devices by DNAzyme displacement
CW Brown III, MR Lakin, D Stefanovic, SW Graves
ChemBioChem 15 (7), 950-954, 2014
312014
Modelling, simulating and verifying Turing-powerful strand displacement systems
MR Lakin, A Phillips
International Workshop on DNA-Based Computers, 130-144, 2011
292011
Abstract modelling of tethered DNA circuits
MR Lakin, R Petersen, KE Gray, A Phillips
International Workshop on DNA-Based Computers, 132-147, 2014
272014
DNA reservoir computing: a novel molecular computing approach
A Goudarzi, MR Lakin, D Stefanovic
International Workshop on DNA-Based Computers, 76-89, 2013
222013
Online learning in a chemical perceptron
P Banda, C Teuscher, MR Lakin
Artificial life 19 (2), 195-219, 2013
212013
Stochastic simulation of multiple process calculi for biology
MR Lakin, L Paulevé, A Phillips
Theoretical Computer Science 431, 181-206, 2012
20*2012
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
202010
Reservoir computing approach to robust computation using unreliable nanoscale networks
A Goudarzi, MR Lakin, D Stefanovic
International Conference on Unconventional Computation and Natural …, 2014
192014
Modular verification of chemical reaction network encodings via serializability analysis
MR Lakin, D Stefanovic, A Phillips
Theoretical computer science 632, 21-42, 2016
182016
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
182014
Resolving inductive definitions with binders in higher-order typed functional programming
MR Lakin, AM Pitts
European Symposium on Programming, 47-61, 2009
182009
A strand graph semantics for DNA-based computation
RL Petersen, MR Lakin, A Phillips
Theoretical computer science 632, 43-73, 2016
172016
Modular verification of DNA strand displacement networks via serializability analysis
MR Lakin, A Phillips, D Stefanovic
International Workshop on DNA-Based Computers, 133-146, 2013
172013
A metalanguage for structural operational semantics
MR Lakin, AM Pitts
Symposium on Trends in Functional Programming, 2007
172007
A logic programming language for computational nucleic acid devices
C Spaccasassi, MR Lakin, A Phillips
ACS synthetic biology 8 (7), 1530-1547, 2018
112018
The system can't perform the operation now. Try again later.
Articles 1–20