Agile Modelling of Cellular Signalling (Invited Paper)

Authors:
Vincent Danos
Affiliations:
School of Informatics, University of Edinburgh, Edinburgh, UK
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 5
Cited 1

Formal molecular biology

Theoretical Computer Science - Special issue: Computational systems biology
Formal Molecular Biology Done in CCS-R

Electronic Notes in Theoretical Computer Science (ENTCS)
Abstract interpretation of cellular signalling networks

VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Beta binders for biological interactions

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Rule-based modelling of cellular signalling

CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory

Thermodynamic graph-rewriting

CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

We illustrate with a simple example how using a rule-based approach to the modelling of protein interaction networks allows for quickly putting together models (ease of expression), and quickly modifying them (ease of variation).