Follow
Rasmus Lerchedahl Petersen
Rasmus Lerchedahl Petersen
Microsoft Research
Verified email at microsoft.com
Title
Cited by
Cited by
Year
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
1672018
A generic cyclic theorem prover
J Brotherston, N Gorogiannis, RL Petersen
Asian Symposium on Programming Languages and Systems, 350-367, 2012
1532012
Computational design of nucleic acid feedback control circuits
B Yordanov, J Kim, RL Petersen, A Shudy, VV Kulkarni, A Phillips
ACS synthetic biology 3 (8), 600-616, 2014
1132014
Automated cyclic entailment proofs in separation logic
J Brotherston, D Distefano, RL Petersen
Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011
962011
Runtime verification based on register automata
R Grigore, D Distefano, RL Petersen, N Tzevelekos
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
512013
Program analysis for overlaid data structures
O Lee, H Yang, R Petersen
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
452011
Program analysis for overlaid data structures
O Lee, H Yang, R Petersen
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
452011
Program analysis for overlaid data structures
O Lee, H Yang, R Petersen
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
452011
Abstract modelling of tethered DNA circuits
MR Lakin, R Petersen, KE Gray, A Phillips
DNA Computing and Molecular Programming: 20th International Conference, DNA …, 2014
372014
A realizability model for impredicative Hoare Type Theory
RL Petersen, L Birkedal, A Nanevski, G Morrisett
Programming Languages and Systems: 17th European Symposium on Programming …, 2008
362008
On locality and the exchange law for concurrent processes
CAR Hoare, A Hussain, B Möller, PW O’Hearn, RL Petersen, G Struth
CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011
332011
A strand graph semantics for DNA-based computation
RL Petersen, MR Lakin, A Phillips
Theoretical computer science 632, 43-73, 2016
282016
Linear abadi and plotkin logic
L Birkedal, RE Møgelberg, RL Petersen
Logical Methods in Computer Science 2, 2006
272006
Synthesizing and tuning stochastic chemical reaction networks with specified behaviours
N Murphy, R Petersen, A Phillips, B Yordanov, N Dalchau
Journal of The Royal Society Interface 15 (145), 20180283, 2018
222018
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
152015
Domain-theoretical models of parametric polymorphism
L Birkedal, RE Møgelberg, RL Petersen
Theoretical Computer Science 388 (1-3), 152-172, 2007
152007
Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus
L Birkedal, RE Møgelberg, RL Petersen
Electronic Notes in Theoretical Computer Science 155, 191-217, 2006
152006
Categorical models of PILL
RE Møgelberg, L Birkedal, RL Petersen
Technical Report TR-2005-58, IT University of Copenhagen 1 (4), 4, 2005
132005
Category-theoretic models of linear Abadi & Plotkin Logic.
L Birkedal, RE Møgelberg, RL Petersen
Theory and Applications of Categories [electronic only] 20, 116-151, 2008
112008
Parametric domain-theoretic models of linear Abadi & Plotkin logic
L Birkedal, RE Møgelberg, RL Petersen
Technical Report TR-2005-57, IT University of Copenhagen, 2005
92005
The system can't perform the operation now. Try again later.
Articles 1–20