Rasmus L. Petersen

Available identifiers

zbMath Open petersen.rasmus-lerchedahlMaRDI QIDQ288813

List of research outcomes

Publication	Date of Publication	Type
A strand graph semantics for DNA-based computation	2016-05-27	Paper
Synthesizing and Tuning Chemical Reaction Networks with Specified Behaviours	2015-09-30	Paper
On the relation between concurrent separation logic and concurrent Kleene algebra	2015-06-10	Paper
Abstract Modelling of Tethered DNA Circuits	2014-10-08	Paper
A divide-and-conquer approach for analysing overlaid data structures	2014-03-28	Paper
Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus	2013-10-08	Paper
Runtime Verification Based on Register Automata	2013-08-05	Paper
Canonical Labelling of Site Graphs	2013-06-10	Paper
On Locality and the Exchange Law for Concurrent Processes	2011-09-02	Paper
Automated Cyclic Entailment Proofs in Separation Logic	2011-07-29	Paper
Category-theoretic models of linear Abadi \& Plotkin logic	2008-04-15	Paper
A Realizability Model for Impredicative Hoare Type Theory	2008-04-11	Paper
Domain-theoretical models of parametric polymorphism	2007-12-18	Paper
Linear Abadi and Plotkin Logic	2007-10-11	Paper

Research outcomes over time

This page was built for person: Rasmus L. Petersen