Volgen
Matthew Lakin
Titel
Geciteerd door
Geciteerd door
Jaar
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
2502011
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
1222012
Abstractions for DNA circuit design
MR Lakin, S Youssef, L Cardelli, A Phillips
Journal of The Royal Society Interface 9 (68), 470-486, 2012
1222012
Supervised learning in adaptive DNA strand displacement networks
MR Lakin, D Stefanovic
ACS Synthetic Biology 5 (8), 885-897, 2016
732016
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
592014
Catalytic molecular logic devices by DNAzyme displacement
CW Brown III, MR Lakin, D Stefanovic, SW Graves
ChemBioChem 15 (7), 950-954, 2014
412014
DNA reservoir computing: a novel molecular computing approach
A Goudarzi, MR Lakin, D Stefanovic
International Workshop on DNA-Based Computers, 76-89, 2013
402013
Modelling, simulating and verifying Turing-powerful strand displacement systems
MR Lakin, A Phillips
International Workshop on DNA-Based Computers, 130-144, 2011
402011
Abstract modelling of tethered DNA circuits
MR Lakin, R Petersen, KE Gray, A Phillips
DNA Computing and Molecular Programming: 20th International Conference, DNA …, 2014
352014
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
342014
Online learning in a chemical perceptron
P Banda, C Teuscher, MR Lakin
Artificial life 19 (2), 195-219, 2013
322013
A logic programming language for computational nucleic acid devices
C Spaccasassi, MR Lakin, A Phillips
ACS synthetic biology 8 (7), 1530-1547, 2018
302018
A strand graph semantics for DNA-based computation
RL Petersen, MR Lakin, A Phillips
Theoretical computer science 632, 43-73, 2016
262016
Stochastic simulation of multiple process calculi for biology
MR Lakin, L Paulevé, A Phillips
Theoretical Computer Science 431, 181-206, 2012
24*2012
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
232021
Modular verification of chemical reaction network encodings via serializability analysis
MR Lakin, D Stefanovic, A Phillips
Theoretical computer science 632, 21-42, 2016
222016
Reservoir computing approach to robust computation using unreliable nanoscale networks
A Goudarzi, MR Lakin, D Stefanovic
Unconventional Computation and Natural Computation: 13th International …, 2014
222014
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
212010
Resolving inductive definitions with binders in higher-order typed functional programming
MR Lakin, AM Pitts
European Symposium on Programming, 47-61, 2009
182009
A metalanguage for structural operational semantics
MR Lakin, AM Pitts
Symposium on Trends in Functional Programming, 2007
182007
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20