Rasmus Lerchedahl Petersen

Cited by

	All	Since 2016
Citations	688	421
h-index	14	9
i10-index	17	9

200520062007200820092010201120122013201420152016201720182019202020215 29 15 18 19 8 9 21 32 45 55 53 81 70 88 83 43

Public access

View all

2 articles

1 article

available

not available

Based on funding mandates

Co-authors

Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Andrew PhillipsMicrosoft ResearchVerified email at microsoft.com
Boyan YordanovScientific TechnologiesVerified email at scientific.london
Dino DistefanoFacebook and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
James BrotherstonReader in Logic and Computation at University College LondonVerified email at ucl.ac.uk
Neil DalchauMicrosoft ResearchVerified email at microsoft.com
Peter O'HearnFacebook and University College LondonVerified email at ucl.ac.uk
Matthew LakinUniversity of New MexicoVerified email at cs.unm.edu
Vishwesh KulkarniUniversity of WarwickVerified email at warwick.ac.uk
Nikos GorogiannisFacebook LondonVerified email at fb.com
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Oukseh LeeCodemind CoporationVerified email at codemind.co.kr
Radu GrigoreFacebookVerified email at fb.com
Jongmin KimAssistant Professor, Pohang University of Science and Technology (POSTECH)Verified email at dna.caltech.edu
Nikos TzevelekosQueen Mary, University of LondonVerified email at eecs.qmul.ac.uk
Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
Greg MorrisettDean and Professor, Cornell UniversityVerified email at cornell.edu
Georg StruthUniversity of SheffieldVerified email at sheffield.ac.uk
Tony (C.A.R.) HoarePrincipal Researcher, Microsoft Research; Emeritus Professor, University of Oxford; GriffithVerified email at griffith.edu.au
Jules VillardImperial College LondonVerified email at imperial.ac.uk

Rasmus Lerchedahl Petersen

Microsoft Research

Verified email at microsoft.com

Semantics program logic DSLs computational biology


Title Sort by citations Sort by year Sort by 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	115	2012
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	85	2018
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	77	2014
Automated cyclic entailment proofs in separation logic J Brotherston, D Distefano, RL Petersen International Conference on Automated Deduction, 131-146, 2011	73	2011
Program analysis for overlaid data structures O Lee, H Yang, R Petersen International Conference on Computer Aided Verification, 592-608, 2011	43	2011
Program analysis for overlaid data structures O Lee, H Yang, R Petersen International Conference on Computer Aided Verification, 592-608, 2011	43	2011
Program analysis for overlaid data structures O Lee, H Yang, R Petersen International Conference on Computer Aided Verification, 592-608, 2011	43	2011
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	38	2013
A realizability model for impredicative Hoare Type Theory RL Petersen, L Birkedal, A Nanevski, G Morrisett European Symposium on Programming, 337-352, 2008	37	2008
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	31	2011
Abstract modelling of tethered DNA circuits MR Lakin, R Petersen, KE Gray, A Phillips International Workshop on DNA-Based Computers, 132-147, 2014	30	2014
Linear abadi and plotkin logic L Birkedal, RE Møgelberg, RL Petersen arXiv preprint cs/0611004, 2006	28	2006
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	19	2018
A strand graph semantics for DNA-based computation RL Petersen, MR Lakin, A Phillips Theoretical computer science 632, 43-73, 2016	18	2016
Domain-theoretical models of parametric polymorphism L Birkedal, RE Møgelberg, RL Petersen Theoretical Computer Science 388 (1-3), 152-172, 2007	15	2007
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	15	2006
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	14	2015
Categorical models of PILL RE Møgelberg, L Birkedal, RL Petersen Technical Report TR-2005-58, IT University of Copenhagen 1 (4), 4, 2005	13	2005
Category-theoretic models of linear Abadi & Plotkin logic L Birkedal, RE Møgelberg, RL Petersen Theory and Applications of Categories 20 (7), 116-151, 2008	11	2008
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	9	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors