Rasmus Lerchedahl Petersen
Rasmus Lerchedahl Petersen
Microsoft Research
Verified email at microsoft.com
Title
Cited by
Cited by
Year
A generic cyclic theorem prover
J Brotherston, N Gorogiannis, RL Petersen
Asian Symposium on Programming Languages and Systems, 350-367, 2012
1002012
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
732014
Automated cyclic entailment proofs in separation logic
J Brotherston, D Distefano, RL Petersen
International Conference on Automated Deduction, 131-146, 2011
672011
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
592018
Program analysis for overlaid data structures
O Lee, H Yang, R Petersen
International Conference on Computer Aided Verification, 592-608, 2011
432011
Program analysis for overlaid data structures
O Lee, H Yang, R Petersen
International Conference on Computer Aided Verification, 592-608, 2011
432011
Program analysis for overlaid data structures
O Lee, H Yang, R Petersen
International Conference on Computer Aided Verification, 592-608, 2011
432011
A realizability model for impredicative Hoare Type Theory
RL Petersen, L Birkedal, A Nanevski, G Morrisett
European Symposium on Programming, 337-352, 2008
352008
Runtime verification based on register automata
R Grigore, D Distefano, RL Petersen, N Tzevelekos
International Conference on Tools and Algorithms for the Construction and …, 2013
322013
On locality and the exchange law for concurrent processes
CAR Hoare, A Hussain, B Möller, PW O’Hearn, RL Petersen, G Struth
International Conference on Concurrency Theory, 250-264, 2011
302011
Abstract modelling of tethered DNA circuits
MR Lakin, R Petersen, KE Gray, A Phillips
International Workshop on DNA-Based Computers, 132-147, 2014
272014
Linear abadi and plotkin logic
L Birkedal, RE Møgelberg, RL Petersen
arXiv preprint cs/0611004, 2006
252006
A strand graph semantics for DNA-based computation
RL Petersen, MR Lakin, A Phillips
Theoretical computer science 632, 43-73, 2016
172016
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
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
142018
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
142015
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