Computational modeling and verification of signaling pathways in cancer

DOI10.1007/978-3-642-28067-2_7MaRDI QIDQ2889706zbMATH OpenOpenAlexFDO

Authors Haijun Gong, Paolo Zuliani, Anvesh Komuravelli, James R. Faeder, Edmund Clarke

Publication date 8 June 2012

Published in Algebraic and Numeric Biology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28067-2_7

zbMATH Keywords

verificationcancermodel checkingHMGB1

Mathematics Subject Classification ID

Medical applications (general) (92C50) Computational methods for problems pertaining to biology (92-08)

Recommendations

• Probabilistic model checking of the PDGF signaling pathway
• Spatio-temporal modelling of the NF-B intracellular signalling pathway: the roles of diffusion, active transport, and cell geometry
• scientific article; zbMATH DE number 1950563
• Mathematical model of NF-\( \kappa\)B regulatory module
• Rule-Based Modelling of Cellular Signalling

Cited in

(3)

• Process calculi for biological processes
• A proof theoretic view of spatial and temporal dependencies in biochemical systems
• Verification of spatial and temporal modalities in biochemical systems

This page was built for publication: Computational modeling and verification of signaling pathways in cancer

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