Seguir
Rasmus Lerchedahl Petersen
Rasmus Lerchedahl Petersen
Microsoft Research
Dirección de correo verificada de microsoft.com
Título
Citado por
Citado por
Año
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
1682018
A generic cyclic theorem prover
J Brotherston, N Gorogiannis, RL Petersen
Asian Symposium on Programming Languages and Systems, 350-367, 2012
1582012
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
1152014
Automated cyclic entailment proofs in separation logic
J Brotherston, D Distefano, RL Petersen
Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011
972011
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20