Rasmus L. Petersen

zbMath Openpetersen.rasmus-lerchedahlMaRDI QIDQ288813

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A strand graph semantics for DNA-based computation Theoretical Computer Science	2016-05-27	Paper
Synthesizing and tuning chemical reaction networks with specified behaviours Lecture Notes in Computer Science	2015-09-30	Paper
On the relation between concurrent separation logic and concurrent Kleene algebra Journal of Logical and Algebraic Methods in Programming	2015-06-10	Paper
Abstract modelling of tethered DNA circuits Lecture Notes in Computer Science	2014-10-08	Paper
A divide-and-conquer approach for analysing overlaid data structures Formal Methods in System Design	2014-03-28	Paper
Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus	2013-10-08	Paper
Runtime verification based on register automata Tools and Algorithms for the Construction and Analysis of Systems	2013-08-05	Paper
Canonical Labelling of Site Graphs	2013-06-10	Paper
On locality and the exchange law for concurrent processes CONCUR 2011 – Concurrency Theory	2011-09-02	Paper
Automated cyclic entailment proofs in separation logic Lecture Notes in Computer Science	2011-07-29	Paper
Category-theoretic models of linear Abadi \& Plotkin logic	2008-04-15	Paper
A Realizability Model for Impredicative Hoare Type Theory Programming Languages and Systems	2008-04-11	Paper
Domain-theoretical models of parametric polymorphism Theoretical Computer Science	2007-12-18	Paper
Linear Abadi and Plotkin Logic Logical Methods in Computer Science	2007-10-11	Paper

Research outcomes over time

This page was built for person: Rasmus L. Petersen