Abstract Interpretation of Cellular Signalling Networks

DOI10.1007/978-3-540-78163-9_11zbMath1138.68650OpenAlexW1586735752MaRDI 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

Related Items (25)

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

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