A Model and Analysis of the AKAP Scaffold

DOI10.1016/j.entcs.2010.12.002zbMath1283.92014OpenAlexW2154594741WikidataQ59675336 ScholiaQ59675336MaRDI QIDQ5404083

Oana Andrei, Muffy 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)

Uses Software

• PRISM
• Bio-PEPA
• BIOCHAM
• PEPA

Cites Work

• Transactions on Computational Systems Biology VII
• Modeling and querying biomolecular interaction networks
• Stochastic Model Checking
• Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
• Analysing Biochemical Oscillation through Probabilistic Model Checking
• Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA

This page was built for publication: A Model and Analysis of the AKAP Scaffold