Modelling the tunability of early T cell signalling events

Nick D. L. Owens, Jon Timmis, Andrew Greensted, Andy Tyrrell

Research output: Chapter in Book/Report/Conference proceedingConference Proceeding (Non-Journal item)


The Tunable Activation Threshold hypothesis of T Cells is investigated through computational modelling of T cell signalling pathways. Modelling techniques involving the π-calculus and the PRISM model checker are presented, and are applied to produce a stochastic model of T cell signalling. Initial results which demonstrate tuning of T cells are presented.

Original languageEnglish
Title of host publicationArtificial Immune Systems - 7th International Conference, ICARIS 2008, Proceedings
PublisherSpringer Nature
Number of pages12
ISBN (Print)3540850716, 9783540850717
Publication statusPublished - 2008
Event7th International Conference on Artificial Immune Systems, ICARIS 2008 - Phuket, Thailand
Duration: 10 Aug 200813 Aug 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5132 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference7th International Conference on Artificial Immune Systems, ICARIS 2008
Period10 Aug 200813 Aug 2008


  • model checker
  • MAPK cascade
  • second order reaction
  • prism model
  • stochastic formulation

Cite this