Theo dõi
Rasmus Lerchedahl Petersen
Rasmus Lerchedahl Petersen
Microsoft Research
Email được xác minh tại microsoft.com
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
1872018
A generic cyclic theorem prover
J Brotherston, N Gorogiannis, RL Petersen
Asian Symposium on Programming Languages and Systems, 350-367, 2012
1642012
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
1202014
Automated cyclic entailment proofs in separation logic
J Brotherston, D Distefano, RL Petersen
Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011
1012011
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
612013
Program analysis for overlaid data structures
O Lee, H Yang, R Petersen
International Conference on Computer Aided Verification, 592-608, 2011
502011
Abstract modelling of tethered DNA circuits
MR Lakin, R Petersen, KE Gray, A Phillips
DNA Computing and Molecular Programming: 20th International Conference, DNA …, 2014
382014
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
372008
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
342011
A strand graph semantics for DNA-based computation
RL Petersen, MR Lakin, A Phillips
Theoretical computer science 632, 43-73, 2016
302016
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
252018
Domain-theoretical models of parametric polymorphism
L Birkedal, RE Møgelberg, RL Petersen
Theoretical Computer Science 388 (1-3), 152-172, 2007
162007
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
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
Circulating miRNAs as potential biomarkers for patient stratification in bipolar disorder: a combined review and data mining approach
AR Clausen, S Durand, RL Petersen, NH Staunstrup, P Qvist
Genes 13 (6), 1038, 2022
92022
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
Canonical labelling of site graphs
N Oury, M Pedersen, R Petersen
arXiv preprint arXiv:1306.2405, 2013
62013
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20