A model and analysis of the AKAP scaffold

DOI10.1016/J.ENTCS.2010.12.002zbMATH Open1283.92014OpenAlexW2154594741WikidataQ59675336 ScholiaQ59675336MaRDI QIDQ5404083FDOQ5404083

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

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

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)

Cites Work

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

Cited In (2)

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

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)