A Process Model of Actin Polymerisation

A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis

article

A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation

A Theory of Primitive Objects: Untyped and First-Order Systems

A peptide filtering relation quantifies MHC class I peptide optimization

scientific article published in October 2011

A process model of Rho GTP-binding proteins

A programming language for composable DNA circuits

scientific article

A semantic basis for Quest

A semantics of multiple inheritance

A semantics of multiple inheritance

A spatial logic for concurrency (part I)

A spatial logic for concurrency—II

A theory of primitive objects

AN UNIVERSALITY RESULT FOR A (MEM)BRANE CALCULUS BASED ON MATE/DRIP OPERATIONS

article by Luca Cardelli & GHEORGHE PĂUN published February 2006 in International Journal of Foundations of Computer Science

Abstractions for DNA circuit design

scientific article published on 20 July 2011

Algebras and Languages for Molecular Programming

scholarly article by Luca Cardelli published 2010 in Lecture Notes in Computer Science

Amber

scholarly article

An Extension of System F with Subtyping

An algebraic approach to hardware description and verification

doctoral thesis

An extension of system F with subtyping

An imperative object calculus

An implementation model of rendezvous communication

article by Luca Cardelli et al published 1985 in Lecture Notes in Computer Science

Analog processes

Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation

Artificial Biochemistry

article

Automated Design and Verification of Localized DNA Computation Circuits

Basic polymorphic typechecking

BioAmbients: an abstraction for biological compartments

article

Biological Systems as Reactive Systems

Biomolecular mechanisms for signal differentiation

Biomolecular mechanisms for signal differentiation

Bitonal membrane systems

Building user interfaces by direct manipulation

Can a systems biologist fix a Tamagotchi?

Chemical Reaction Network Designs for Asynchronous Logic Circuits

article published in 2016

Chemical reaction network designs for asynchronous logic circuits.

scientific article

Comparing Chemical Reaction Networks

scholarly article published 2016

Comparing chemical reaction networks: A categorical and algorithmic perspective

Comparing object encodings

Compositionality, stochasticity, and cooperativity in dynamic models of gene regulation

scientific article published on 14 November 2007

Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics

scientific article

Continuous Markovian Logics - Axiomatization and Quantified Metatheory

Deciding validity in a spatial logic for trees

Design and analysis of DNA strand displacement devices using probabilistic model checking

scientific article published on 4 January 2012

Dynamic typing in a statically typed language

Dynamic typing in polymorphic languages

ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations

article

Efficient Switches in Biology and Computer Science

scientific article

Efficient Syntax-Driven Lumping of Differential Equations

Equational properties of mobile ambients

Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes

scientific article published in January 2021

Formal parametric polymorphism

From Processes to ODEs by Chemistry

article

GALILEO: a strongly-typed, interactive conceptual language

Gener: a minimal programming module for chemical controllers based on DNA strand displacement

scientific article published on 7 May 2015

Global computation

Lineage grammars: describing, simulating and analyzing population dynamics

scientific article

Manipulating Trees with Hidden Labels

Maximal aggregation of polynomial dynamical systems

scientific article published on 6 September 2017

Mobile Ambients

Mobile ambients

Modern concurrency abstractions for C#

Modula-3 language definition

Modular Markovian Logic

Morphisms of reaction networks that couple structure to function

scientific article

Noise Reduction in Complex Biological Switches.

scientific article

On process rate semantics

On the Computational Power of Biochemistry

On the Design of a PID Bio-Controller With Set Point Weighting and Filtered Derivative Action

On understanding types, data abstraction, and polymorphism

article by Luca Cardelli & Peter Wegner published 10 December 1985 in ACM Computing Surveys

Operations on records

Operations on records

Operations on records

PID Control of Biochemical Reaction Networks

scientific article published in February 2022

Phosphorelays provide tunable signal processing capabilities for the cell

scientific article (publication date: 2013)

Preface

Processes in Space

article

Processes in space

Programmable chemical controllers made from DNA.

scientific article published on 29 September 2013

Programming Discrete Distributions with Chemical Reaction Networks

Programming chemistry in DNA-addressable bioreactors

scientific article

Programming discrete distributions with chemical reaction networks.

scientific article published on 8 December 2017

Regulation strategies for two-output biomolecular networks

Response dynamics of phosphorelays suggest their potential utility in cell signalling.

scientific article published on 11 August 2010

Reversible structures

article

Secrecy and Group Creation

Secrecy and group creation

Semistructured Computation

Service combinators for Web computing

Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation

scientific article

Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation

article

Strand Algebras for DNA Computing

scholarly article by Luca Cardelli published 2009 in Lecture Notes in Computer Science

Strand algebras for DNA computing

article

Structural subtyping and the notion of power type

Subtyping recursive types

article

Symbolic computation of differential equivalences

article published in 2016

Syntactic Markovian Bisimulation for Chemical Reaction Networks

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks

TQL: a query language for semistructured data based on the ambient logic

Termination Problems in Chemical Kinetics

article published in 2008

The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems

scientific article published on 09 March 2020

The Formal Language and Design Principles of Autonomous DNA Walker Circuits

scientific article published on 25 April 2016

The Measurable Space of Stochastic Processes

The amber machine

The cell cycle switch computes approximate majority.

scientific article published on 13 September 2012

Transcriptional regulation is a major controller of cell cycle transition dynamics

scientific article (publication date: 2012)

Turing universality of the Biochemical Ground Form

Two-domain DNA strand displacement

Typechecking dependent types and subtypes

Types for data-oriented languages

Types for the Ambient Calculus

Unlimited multistability and Boolean logic in microbial signalling

scientific article published on July 2015