Rasmus Lerchedahl Petersen

Cited by

	All	Since 2016
Citations	637	372
h-index	14	9
i10-index	17	9

200520062007200820092010201120122013201420152016201720182019202020216 28 15 18 19 7 9 21 33 44 55 52 80 73 87 77 1

Co-authors

Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Andrew PhillipsMicrosoft ResearchVerified email at microsoft.com
Boyan YordanovComputational Science Laboratory, Microsoft ResearchVerified email at microsoft.com
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, University of MiddlesexVerified email at mdx.ac.uk
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Oukseh LeeCodemind CoporationVerified email at codemind.co.kr
Radu GrigoreLecturer, University of KentVerified email at kent.ac.uk
Jongmin KimAssistant Professor, Pohang University of Science and Technology (POSTECH)Verified email at dna.caltech.edu
Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
Greg MorrisettDean and Professor, Cornell UniversityVerified email at cornell.edu
Nikos TzevelekosQueen Mary, University of LondonVerified email at eecs.qmul.ac.uk
Georg StruthUniversity of SheffieldVerified email at sheffield.ac.uk
Jules VillardImperial College LondonVerified email at imperial.ac.uk
Nicolas OuryVerified email at ed.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	105	2012
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	70	2011
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	66	2018
Program analysis for overlaid data structures O Lee, H Yang, R Petersen International Conference on Computer Aided Verification, 592-608, 2011	42	2011
Program analysis for overlaid data structures O Lee, H Yang, R Petersen International Conference on Computer Aided Verification, 592-608, 2011	42	2011
Program analysis for overlaid data structures O Lee, H Yang, R Petersen International Conference on Computer Aided Verification, 592-608, 2011	42	2011
A realizability model for impredicative Hoare Type Theory RL Petersen, L Birkedal, A Nanevski, G Morrisett European Symposium on Programming, 337-352, 2008	35	2008
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	34	2013
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	30	2011
Abstract modelling of tethered DNA circuits MR Lakin, R Petersen, KE Gray, A Phillips International Workshop on DNA-Based Computers, 132-147, 2014	27	2014
Linear abadi and plotkin logic L Birkedal, RE Møgelberg, RL Petersen arXiv preprint cs/0611004, 2006	25	2006
A strand graph semantics for DNA-based computation RL Petersen, MR Lakin, A Phillips Theoretical computer science 632, 43-73, 2016	17	2016
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	15	2018
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 [electronic only] 20, 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

Upload PDF

Follow this author

Cited by

Co-authors