Articles with public access mandates - Rasmus Lerchedahl PetersenLearn more
Not available anywhere: 1
Abstract modelling of tethered DNA circuits
MR Lakin, R Petersen, KE Gray, A Phillips
DNA Computing and Molecular Programming: 20th International Conference, DNA …, 2014
Mandates: US National Institutes of Health
Available somewhere: 3
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
Mandates: 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
Mandates: 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
Mandates: UK Engineering and Physical Sciences Research Council
Publication and funding information is determined automatically by a computer program