A model and analysis of the AKAP scaffold

DOI10.1016/J.ENTCS.2010.12.002MaRDI QIDQ5404083zbMATH OpenOpenAlexWikidataFDO

Authors Oana Andrei, M. Calder

Publication date 21 March 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2010.12.002

zbMATH Keywords

stochastic model checkingscaffold proteinsCTMC with levelstrend formulas

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Specification and verification (program logics, model checking, etc.) (68Q60) Cell movement (chemotaxis, etc.) (92C17)

Recommendations

• Trend-based analysis of a population model of the AKAP scaffold protein
• Probabilistic model checking of the PDGF signaling pathway
• Formal methods for biochemical signalling pathways
• Computational Methods in Systems Biology
• Modular modelling of signalling pathways and their cross-talk

Cites work

• Analysing biochemical oscillation through probabilistic model checking
• Modeling and querying biomolecular interaction networks
• Some investigations concerning the CTMC and the ODE model derived from bio-PEPA
• Stochastic model checking
• Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
• Transactions on Computational Systems Biology VII

Cited in

(2)

• Scaffold-mediated nucleation of protein signaling complexes: elementary principles
• Trend-based analysis of a population model of the AKAP scaffold protein

Describes a project that uses

Uses Software

• PRISM
• Bio-PEPA
• BIOCHAM
• PEPA

This page was built for publication: A model and analysis of the AKAP scaffold

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5404083)