Computational modeling and verification of signaling pathways in cancer

DOI10.1007/978-3-642-28067-2_7zbMATH Open1349.92074OpenAlexW1563766529MaRDI QIDQ2889706FDOQ2889706

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

Recommendations

• Probabilistic model checking of the PDGF signaling pathway
• Spatio-temporal modelling of the NF-\(\kappa\)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

zbMATH Keywords

verificationcancermodel checkingHMGB1

Mathematics Subject Classification ID

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

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)