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 | 271 | 2011 |
Abstractions for DNA circuit design MR Lakin, S Youssef, L Cardelli, A Phillips Journal of The Royal Society Interface 9 (68), 470-486, 2012 | 133 | 2012 |
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 | 126 | 2012 |
Supervised learning in adaptive DNA strand displacement networks MR Lakin, D Stefanovic ACS synthetic biology 5 (8), 885-897, 2016 | 86 | 2016 |
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 | 64 | 2014 |
DNA reservoir computing: a novel molecular computing approach A Goudarzi, MR Lakin, D Stefanovic International Workshop on DNA-Based Computers, 76-89, 2013 | 48 | 2013 |
Modelling, simulating and verifying Turing-powerful strand displacement systems MR Lakin, A Phillips International Workshop on DNA-Based Computers, 130-144, 2011 | 44 | 2011 |
Catalytic molecular logic devices by DNAzyme displacement CW Brown III, MR Lakin, D Stefanovic, SW Graves ChemBioChem 15 (7), 950-954, 2014 | 43 | 2014 |
Online learning in a chemical perceptron P Banda, C Teuscher, MR Lakin Artificial life 19 (2), 195-219, 2013 | 41 | 2013 |
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 | 39 | 2014 |
Abstract modelling of tethered DNA circuits MR Lakin, R Petersen, KE Gray, A Phillips DNA Computing and Molecular Programming: 20th International Conference, DNA …, 2014 | 38 | 2014 |
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 | 36 | 2021 |
A logic programming language for computational nucleic acid devices C Spaccasassi, MR Lakin, A Phillips ACS synthetic biology 8 (7), 1530-1547, 2018 | 34 | 2018 |
A strand graph semantics for DNA-based computation RL Petersen, MR Lakin, A Phillips Theoretical computer science 632, 43-73, 2016 | 30 | 2016 |
Stochastic simulation of multiple process calculi for biology MR Lakin, L Paulevé, A Phillips Theoretical Computer Science 431, 181-206, 2012 | 28* | 2012 |
Modular verification of chemical reaction network encodings via serializability analysis MR Lakin, D Stefanovic, A Phillips Theoretical computer science 632, 21-42, 2016 | 23 | 2016 |
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 | 23 | 2010 |
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 | 22 | 2014 |
Reservoir computing approach to robust computation using unreliable nanoscale networks A Goudarzi, MR Lakin, D Stefanovic Unconventional Computation and Natural Computation: 13th International …, 2014 | 20 | 2014 |
Modular verification of DNA strand displacement networks via serializability analysis MR Lakin, A Phillips, D Stefanovic DNA Computing and Molecular Programming: 19th International Conference, DNA …, 2013 | 17 | 2013 |