Current  Past  Me  Papers  Talks  Artifacts  Extra  HotPage 
Molecular Programming
Papers
Programmable chemical controllers made from DNA (Nature Nanotech)
TwoDomain DNA Strand Displacement (MSCS) Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking (J.R.S. Interface) Strand Algebras for DNA Computing (Natural Computing) A Programming Language for Composable DNA Circuits (J.R.S.Interface) Edited Proceedings
DNA 17
Talks
Molecular Programming (UC'10, Hasselt 2013)
Computing with Molecules (DCM'12) TwoDomain DNA Strand Displacement (DCM'10) Strand Algebras for DNA Computing (DNA '09) Tools
DSD  DNA Strand Displacement Simulator
Links
* Correctness of DNA encodings of chemical reaction networks
* DNA Computing and Molecular Programming Conferences * NYU * Caltech * UW * Duke * Oxford * Aarhus * Microsoft 
Quantitative Semantics
Papers
Morphisms of Reaction Networks that Couple Structure to Function
On Process Rate Semantics (TCS'08) A Process Algebra Master Equation (QEST'07) From Processes to ODEs by Chemistry (IFIP TCS'08) A Correct Abstract Machine for the Stochastic Picalculus (BioConcur'04) Efficient, Correct Simulation of Biological Processes in Stochastic Picalculus (CMSB'07) A Graphical Representation for Biological Processes in Stochastic Picalculus (TCSB) Lectures
On Process Rate Semantics (Warsaw Lectures Extract, March'09)
Molecules as Automata  Open Lectures (Warsaw, March&May'09) Molecules as Automata  Summer School on Natural Computation (BNC'08) Process Rate Semantics  Computational and Systems Biology Course (Trento 2008) Talks
Molecules as Automata (DNA'08, ECS'09)
From Processes to ODEs by Chemistry (TCS'08) On Process Rate Semantics (MFPS'08) A Graphical Representation for Stochastic πCalculus (BioConcur '05) A Correct Abstract Machine for the Stochastic picalculus (BioConcur '04) 

Cell Cycle Switch
Papers
The Cell Cycle Switch Computes Approximate Majority
(Scientific Reports)
Transcriptional Regulation is a Major Controller of Cell Cycle Transition Dynamics (PLoS ONE) Talks
The Cell Cycle Switch Computes Approximate Majority (Princeton 2013)

Phosphorelays
Papers
Phosphorelays provide tunable signal processing capabilities for the cell
(PLOS CompBio)
Response Dynamics of Phosphorelays Suggest Their Potential Utility in Cell Signaling (J.R.S. Interface) 

Immune System
Papers
A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization
(PLoS Computational Biology)
Projects
A Stochastic πCalculus Models of MHC Class I Antigen Presentation
(Computational Biology MPhil Project)

Biological Network Modeling
Papers
Computational Modeling of the EGFR Network Elucidates Control Mechanisms Regulating Signal Dynamics
(BMC Systems Biology)
A Process Model of Rho GTPbinding Proteins (FBTC'07) (TCS) A Process Model of Actin Polymerisation (FBTC'08) (ENTCS) Lectures
Biochemical Systems as Reactive Systems  Bioinformatics Master Course (Cabridge '12)
Talks
Biological Networks in Stochastic PiCalculus (Imperial College London 2005)


Systems Biology
Papers
An Intuitive Modelling Interface for Systems Biology
(DCM'09) (IJSI'13)
Abstract Machines of Systems Biology (TCSB) Artificial Biochemistry (Algorithmic Bioprocesses) Can a Systems Biologist Fix a Tamagotchi? (Gilles Kahn Colloquium) Visualization in Process Algebra Models of Biological Systems (The Fourth Paradigm) Lectures
Artificial Biochemistry  Graduate Course (Trento, May 2226 '06)
Talks
Speaking the Language of Molecules (CDE Distinguished Lacture, U.Washington)
Living Software (L'INRIA a Quarante Ans) Artificial Biochemistry (Longo Symposium 2007) Can a Systems Biologist Fix a Tamagotchi? (Kahn Colloquium 2007) Abstract Machines of Systems Biology (Dagstuhl 2006) Languages and Notations for Systems Biology (UPP'04 Invited Talk) 
Continuous Markov Processes
Papers on
Continuous Markovian Logic Axiomatization and Quantified Metatheory
(LMCS'12)
Logic Modular Markovian Logic (ICALP'11) Continuous Markovian Logic (CLS'11) Papers on
Stochastic PiCalculus Revisited (ICTAC'13)
Algebra The Measurable Space of Stochastic Processes (QEST'10, Fundamenta Informaticae) Talks
Stochastic PiCalculus Revisited (ICTAC'13)
Continuous Markovian Logic (CSL'11) Modular Markovian Logic (ICALP'11) The Measurable Space of Stochastic Processes (QEST'10) 

Membrane Computing
Papers on
Programming Chemistry in DNA Addressable Bioreactors
(Interface '14)
Brane Calculi Brane Calculi (ENTCS, CMSB'04) Bitonal Membrane Systems (TCS) Where Membranes Meet Complexes (BioConcur '05) A Universality Result for a (Mem)Brane Calculus Based on Mate/Drip Operations (IJFCS) Papers on
BioAmbients: An Abstraction for Biological Compartments
(TCS)
BioAmbients Bioware Languages (Computing Systems  A Tribute to Roger Needham) Lectures
Membrane Interactions (CSSB School Rovereto, April'04)
Talks
Bitonal Membrane Systems (MeCBIC'06)
WhereMembranesMeetComplexes (BioConcur'05) Biological Systems as Reactive Systems (ECCS'05) 
Natural Computability
Papers on
Turing Universality of the Biochemical Ground Form
(MSCS)
Termination On the Computational Power of Biochemistry (AB'08) Termination Problems in Chemical Kinetics (CONCUR'08) Papers on
Reversibility in Massive Concurrent Systems
(SACS)
Reversibility Reversible Structures (CMSB '11) Talks
Termination Problems in Chemical Kinetics (CONCUR'08)
On The Computational Power of Biochemistry (AB'08) Reversible Structures (CMSB'11) 

Stochastic Gene Networks
Papers
A Compositional Approach to the Stochastic Dynamics of Gene Networks
(TCSB)
Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation (HFSP Journal) Talks
A Compositional Approach to the Stochastic Dynamics of Gene Networks (Concur '05)

Geometric Process Algebra
Papers
Processes in Space
(CiE'10, TCS 2012)
Talks
Processes in Space(CiE'10)
Pi in the Sky: Spatial Process Algebra for Developmental Biology (MeCBIC'09) 

MSR Cambridge
 Interns
 Jobs
 Collaboration  in Europe
 site statistics 
