Abstract Interpretation of Cellular Signalling Networks

DOI10.1007/978-3-540-78163-9_11zbMath1138.68650MaRDI QIDQ5452709

Jerome Feret, Walter Fontana, Jean Krivine, Vincent Danos

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

92C40: Biochemistry, molecular biology

Related Items

Unnamed Item, Constraining rule-based dynamics with types, Equilibrium and termination II: the case of Petri nets, Stochastic Semantics of Signaling as a Composition of Agent-view Automata, A Syntactic Abstraction for Rule-Based Languages with Binding, A Process Model of Actin Polymerisation, Programming in Biomolecular Computation, Containment in Rule-Based Models, A strand graph semantics for DNA-based computation, Enumeration approach to computing chemical equilibria, Stochastic simulation of multiple process calculi for biology, Probabilistic model checking of biological systems with uncertain kinetic rates, Computational self-assembly, How liquid is biological signalling?, Formal biochemical space with semantics in Kappa and BNGL, A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models, Reachability analysis via orthogonal sets of patterns, Proving the absence of unbounded polymers in rule-based models, Bio-PEPA: A framework for the modelling and analysis of biological systems, Rigid geometric constraints for Kappa models, Sustainability of RNA-interference in rule based modelling, Compact representation of photosynthesis dynamics by rule-based models, Static analysis of Biological Regulatory Networks dynamics using abstract interpretation, Cooperative Assembly Systems, Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates