A declarative view of signaling pathways

DOI10.1007/978-3-319-25527-9_13MaRDI QIDQ3460870zbMATH OpenOpenAlexFDO

Authors Davide Chiarugi, Carlos Olarte, Catuscia Palamidessi, M. Falaschi

Publication date 8 January 2016

Published in Programming Languages with Applications to Biology and Security (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-25527-9_13

zbMATH Keywords

cellular signaling pathwayscross-talking networksinsulin signaling pathways

Mathematics Subject Classification ID

Cell biology (92C37) Biochemistry, molecular biology (92C40) Systems biology, networks (92C42)

Recommendations

• Formal methods for biochemical signalling pathways
• Modular modelling of signalling pathways and their cross-talk
• Rule-Based Modelling of Cellular Signalling
• Timed concurrent constraint programming for analysing biological systems
• Abstract Interpretation of Cellular Signalling Networks

Cites work

• A symbolic model for timed concurrent constraint programming
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Computational Methods in Systems Biology
• scientific article; zbMATH DE number 1809625 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 2090521 (Why is no real title available?)
• scientific article; zbMATH DE number 794260 (Why is no real title available?)
• Modeling biological systems in stochastic concurrent constraint programming
• Models and emerging trends of concurrent constraint programming
• Rewriting logic: Roadmap and bibliography
• Timed default concurrent constraint programming
• Truly concurrent constraint programming
• Verification of spatial and temporal modalities in biochemical systems

Cited in

(3)

• A proof theoretic view of spatial and temporal dependencies in biochemical systems
• Modular modelling of signalling pathways and their cross-talk
• Hypothesizing about signaling networks

Describes a project that uses

Uses Software

• BIOCHAM
• Esterel
• Bio-PEPA

This page was built for publication: A declarative view of signaling pathways

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