| 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 | 265 | 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 | 131 | 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 | 84 | 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 | 63 | 2014 |
| DNA reservoir computing: a novel molecular computing approach A Goudarzi, MR Lakin, D Stefanovic International Workshop on DNA-Based Computers, 76-89, 2013 | 44 | 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 |
| 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 |
| Online learning in a chemical perceptron P Banda, C Teuscher, MR Lakin Artificial life 19 (2), 195-219, 2013 | 38 | 2013 |
| Abstract modelling of tethered DNA circuits MR Lakin, R Petersen, KE Gray, A Phillips DNA Computing and Molecular Programming: 20th International Conference, DNA …, 2014 | 37 | 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 | 34 | 2021 |
| A logic programming language for computational nucleic acid devices C Spaccasassi, MR Lakin, A Phillips ACS synthetic biology 8 (7), 1530-1547, 2018 | 33 | 2018 |
| A strand graph semantics for DNA-based computation RL Petersen, MR Lakin, A Phillips Theoretical computer science 632, 43-73, 2016 | 29 | 2016 |
| Stochastic simulation of multiple process calculi for biology MR Lakin, L Paulevé, A Phillips Theoretical Computer Science 431, 181-206, 2012 | 27* | 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 |
| 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 |
| 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 | 19 | 2014 |
| Resolving inductive definitions with binders in higher-order typed functional programming MR Lakin, AM Pitts European Symposium on Programming, 47-61, 2009 | 17 | 2009 |
