Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus. - Lars Birkedal; Rasmus Ejlers Møgelberg; Rasmus Lerchedahl Petersen (MFPS, 2005)

Linear Abadi and Plotkin Logic. - Lars Birkedal; Rasmus Ejlers Møgelberg; Rasmus Lerchedahl Petersen (Log. Methods Comput. Sci., 2006)

Domain-theoretical models of parametric polymorphism. - Lars Birkedal; Rasmus Ejlers Møgelberg; Rasmus Lerchedahl Petersen (Theor. Comput. Sci., 2007)

A Realizability Model for Impredicative Hoare Type Theory. - Rasmus Lerchedahl Petersen; Lars Birkedal; Aleksandar Nanevski; Greg Morrisett (ESOP, 2008)

Automated Cyclic Entailment Proofs in Separation Logic. - James Brotherston; Dino Distefano; Rasmus Lerchedahl Petersen (CADE, 2011)

On Locality and the Exchange Law for Concurrent Processes. - C. A. R. Hoare; Akbar Hussain; Bernhard Möller; Peter W. O'Hearn; Rasmus Lerchedahl Petersen; Georg Struth (CONCUR, 2011)

A Generic Cyclic Theorem Prover. - James Brotherston; Nikos Gorogiannis; Rasmus Lerchedahl Petersen (APLAS, 2012)

Runtime Verification Based on Register Automata. - Radu Grigore; Dino Distefano; Rasmus Lerchedahl Petersen; Nikos Tzevelekos (TACAS, 2013)

Canonical Labelling of Site Graphs. - Nicolas Oury; Michael Pedersen; Rasmus L. Petersen (CompMod, 2013)

Abstract Modelling of Tethered DNA Circuits. - Matthew R. Lakin; Rasmus L. Petersen; Kathryn E. Gray; Andrew Phillips (DNA, 2014)

Synthesizing and Tuning Chemical Reaction Networks with Specified Behaviours. - Neil Dalchau; Niall Murphy; Rasmus L. Petersen; Boyan Yordanov (DNA, 2015)

On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra. - Peter W. O'Hearn; Rasmus Lerchedahl Petersen; Jules Villard; Akbar Hussain (J. Log. Algebraic Methods Program., 2015)

A strand graph semantics for DNA-based computation. - Rasmus L. Petersen; Matthew R. Lakin; Andrew Phillips (Theor. Comput. Sci., 2016)