Matthew Lakin
Titel
Zitiert von
Zitiert von
Jahr
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
1762011
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
1102012
Abstractions for DNA circuit design
MR Lakin, S Youssef, L Cardelli, A Phillips
Journal of The Royal Society Interface 9 (68), 470-486, 2012
992012
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
492014
Supervised learning in adaptive DNA strand displacement networks
MR Lakin, D Stefanovic
ACS synthetic biology 5 (8), 885-897, 2016
402016
Catalytic molecular logic devices by DNAzyme displacement
CW Brown III, MR Lakin, D Stefanovic, SW Graves
ChemBioChem 15 (7), 950-954, 2014
362014
Modelling, simulating and verifying Turing-powerful strand displacement systems
MR Lakin, A Phillips
International Workshop on DNA-Based Computers, 130-144, 2011
322011
Abstract modelling of tethered DNA circuits
MR Lakin, R Petersen, KE Gray, A Phillips
International Workshop on DNA-Based Computers, 132-147, 2014
282014
DNA reservoir computing: a novel molecular computing approach
A Goudarzi, MR Lakin, D Stefanovic
International Workshop on DNA-Based Computers, 76-89, 2013
232013
Online learning in a chemical perceptron
P Banda, C Teuscher, MR Lakin
Artificial life 19 (2), 195-219, 2013
222013
Reservoir computing approach to robust computation using unreliable nanoscale networks
A Goudarzi, MR Lakin, D Stefanovic
International Conference on Unconventional Computation and Natural …, 2014
212014
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
202014
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
Modular verification of chemical reaction network encodings via serializability analysis
MR Lakin, D Stefanovic, A Phillips
Theoretical computer science 632, 21-42, 2016
182016
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
A metalanguage for structural operational semantics
MR Lakin, AM Pitts
Symposium on Trends in Functional Programming, 2007
172007
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
162013
A model for variation-and fault-tolerant digital logic using self-assembled nanowire architectures
A Goudarzi, MR Lakin, D Stefanovic, C Teuscher
2014 IEEE/ACM international symposium on nanoscale architectures (NANOARCH …, 2014
142014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20