Artigos com autorizações de acesso público - Rasmus Lerchedahl PetersenSaiba mais
1 artigo não disponível publicamente
Abstract modelling of tethered DNA circuits
MR Lakin, R Petersen, KE Gray, A Phillips
DNA Computing and Molecular Programming: 20th International Conference, DNA …, 2014
Autorizações: US National Institutes of Health
3 artigos disponíveis publicamente
Predicting DNA hybridization kinetics from sequence
JX Zhang, JZ Fang, W Duan, LR Wu, AW Zhang, N Dalchau, B Yordanov, ...
Nature chemistry 10 (1), 91-98, 2018
Autorizações: US National Institutes of Health
A strand graph semantics for DNA-based computation
RL Petersen, MR Lakin, A Phillips
Theoretical computer science 632, 43-73, 2016
Autorizações: US National Science Foundation, US National Institutes of Health
On the relation between concurrent separation logic and concurrent Kleene algebra
PW O'Hearn, RL Petersen, J Villard, A Hussain
Journal of Logical and Algebraic Methods in Programming 84 (3), 285-302, 2015
Autorizações: UK Engineering and Physical Sciences Research Council
As informações de publicação e financiamento são determinadas automaticamente por um programa de computador