Formal methods for biochemical signalling pathways

DOI10.1007/978-1-84882-736-3_6MaRDI QIDQ3557672zbMATH OpenOpenAlexWikidataFDO

Authors Stephen Gilmore, Jane Hillston, Vladislav Vyshemirsky, M. Calder

Publication date 23 April 2010

Published in Formal Methods: State of the Art and New Directions (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-84882-736-3_6

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Biochemistry, molecular biology (92C40) Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.) (92C45) Biomedical imaging and signal processing (92C55)

Recommendations

• Pathway analysis for BioAmbients
• Computational Methods in Systems Biology
• Probabilistic model checking of complex biological pathways
• Probabilistic model checking of the PDGF signaling pathway
• Model checking of biological systems

Cited in

(15)

• Component identification in biochemical pathways
• Probabilistic model checking of complex biological pathways
• An algorithm for the identification of components in biochemical pathways
• A declarative view of signaling pathways
• scientific article; zbMATH DE number 1950558 (Why is no real title available?)
• Trend-based analysis of a population model of the AKAP scaffold protein
• Probabilistic model checking of the PDGF signaling pathway
• Discrete-Time Model Representations for Biochemical Pathways
• Logics in Artificial Intelligence
• A model and analysis of the AKAP scaffold
• Modelling intracellular fate of FGF receptors with BioAmbients
• Computational Methods in Systems Biology
• Modular modelling of signalling pathways and their cross-talk
• Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models
• Pathway analysis for BioAmbients

Describes a project that uses

Uses Software

• MRMC
• PEPA

This page was built for publication: Formal methods for biochemical signalling pathways

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