Rasmus Lerchedahl Petersen

According to our database, Rasmus Lerchedahl Petersen authored at least 13 papers between 2005 and 2016.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2016

A strand graph semantics for DNA-based computation.

Rasmus L. Petersen, Matthew R. Lakin, Andrew Phillips

Theor. Comput. Sci., 2016

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

Synthesizing and Tuning Chemical Reaction Networks with Specified Behaviours.

Neil Dalchau, Niall Murphy, Rasmus L. Petersen, Boyan Yordanov

Proceedings of the DNA Computing and Molecular Programming - 21st International Conference, 2015

2014

Abstract Modelling of Tethered DNA Circuits.

Matthew R. Lakin, Rasmus L. Petersen, Kathryn E. Gray, Andrew Phillips

Proceedings of the DNA Computing and Molecular Programming - 20th International Conference, 2014

2013

Canonical Labelling of Site Graphs.

Nicolas Oury, Michael Pedersen, Rasmus L. Petersen

Proceedings of the Proceedings Fourth International Workshop on Computational Models for Cell Processes, 2013

Runtime Verification Based on Register Automata.

Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

A Generic Cyclic Theorem Prover.

James Brotherston, Nikos Gorogiannis, Rasmus Lerchedahl Petersen

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

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

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Automated Cyclic Entailment Proofs in Separation Logic.

James Brotherston, Dino Distefano, Rasmus Lerchedahl Petersen

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2008

A Realizability Model for Impredicative Hoare Type Theory.

Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett

Proceedings of the Programming Languages and Systems, 2008

2007

Domain-theoretical models of parametric polymorphism.

Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen

Theor. Comput. Sci., 2007

2006

Linear Abadi and Plotkin Logic.

Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen

Log. Methods Comput. Sci., 2006

2005

Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus.

Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005