Rasmus Lerchedahl Petersen

Cited by

	All	Since 2015
Citations	615	404
h-index	14	11
i10-index	17	11

20052006200720082009201020112012201320142015201620172018201920206 28 15 18 19 7 9 21 33 44 54 52 80 73 85 58

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
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Oukseh LeeCodemind CoporationVerified email at codemind.co.kr
Nikos GorogiannisFacebook, University of MiddlesexVerified email at mdx.ac.uk
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	100	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	73	2014
Automated cyclic entailment proofs in separation logic J Brotherston, D Distefano, RL Petersen International Conference on Automated Deduction, 131-146, 2011	67	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	59	2018
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
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	32	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
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
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	14	2018
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