Andrew Phillips
Andrew Phillips
Home
Press
Publications
Hiring
Visual DSD
Visual GEC
Biography
Light
Dark
Automatic
Luca Cardelli
Latest
Computing with biological switches and clocks
Programmable chemical controllers made from DNA
Design and analysis of DNA strand displacement devices using probabilistic model checking
Abstractions for DNA circuit design
A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization
Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics
A process model of Rho GTP-binding proteins
A programming language for composable DNA circuits
A Process Model of Actin Polymerisation
Compositionality, stochasticity, and cooperativity in dynamic models of gene regulation
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
A Compositional Approach to the Stochastic Dynamics of Gene Networks
A Graphical Representation for Biological Processes in the Stochastic pi-Calculus
Cite
×