Abstract Interpretation of Cellular Signalling Networks

DOI10.1007/978-3-540-78163-9_11MaRDI QIDQ5452709zbMATH OpenOpenAlexFDO

Authors Vincent Danos, Jerome Feret, Walter Fontana, Jean Krivine

Publication date 4 April 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/inria-00528352/file/vmcai2008.pdf

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40)

Recommendations

• Rule-Based Modelling of Cellular Signalling
• Pattern graphs and rule-based models: the semantics of Kappa
• Lumpability abstractions of rule-based systems
• Formal reduction for rule-based models
• A knowledge representation meta-model for rule-based modelling of signalling networks

Cited in

(32)

• How liquid is biological signalling?
• Computational self-assembly
• A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models
• Compact representation of photosynthesis dynamics by rule-based models
• Sustainability of RNA-interference in rule based modelling
• A process model of actin polymerisation
• Enumeration approach to computing chemical equilibria
• Constraining rule-based dynamics with types
• Stochastic simulation of multiple process calculi for biology
• Equilibrium and termination. II: The case of Petri nets
• Rigid geometric constraints for Kappa models
• A strand graph semantics for DNA-based computation
• scientific article; zbMATH DE number 7453970 (Why is no real title available?)
• Cooperative assembly systems
• Proving the absence of unbounded polymers in rule-based models
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Rule-Based Modelling of Cellular Signalling
• Programming in biomolecular computation
• Static analysis of biological regulatory networks dynamics using abstract interpretation
• Signal transduction networks: topology, response and biochemical processes
• Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
• Probabilistic model checking of biological systems with uncertain kinetic rates
• SIGNALING NETWORKS INVOLVING REACTIVE OXYGEN SPECIES AND²⁺IN PLANTS
• Hypothesizing about signaling networks
• Containment in Rule-Based Models
• A syntactic abstraction for rule-based languages with binding
• Formal biochemical space with semantics in Kappa and BNGL
• Reachability analysis via orthogonal sets of patterns
• Stochastic Semantics of Signaling as a Composition of Agent-view Automata
• A declarative view of signaling pathways
• The community structure of human cellular signaling network
• A knowledge representation meta-model for rule-based modelling of signalling networks

This page was built for publication: Abstract Interpretation of Cellular Signalling Networks

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