Abstract Interpretation of Cellular Signalling Networks
From MaRDI portal
Publication:5452709
DOI10.1007/978-3-540-78163-9_11zbMATH Open1138.68650OpenAlexW1586735752MaRDI QIDQ5452709FDOQ5452709
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
Recommendations
Cited In (32)
- Computational self-assembly
- Enumeration approach to computing chemical equilibria
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
- A process model of actin polymerisation
- SIGNALING NETWORKS INVOLVING REACTIVE OXYGEN SPECIES AND2+IN PLANTS
- Constraining rule-based dynamics with types
- Title not available (Why is that?)
- Proving the absence of unbounded polymers in rule-based models
- Formal biochemical space with semantics in Kappa and BNGL
- Equilibrium and termination. II: The case of Petri nets
- A strand graph semantics for DNA-based computation
- Reachability analysis via orthogonal sets of patterns
- A declarative view of signaling pathways
- Stochastic simulation of multiple process calculi for biology
- Signal transduction networks: topology, response and biochemical processes
- The community structure of human cellular signaling network
- How liquid is biological signalling?
- Cooperative assembly systems
- Compact representation of photosynthesis dynamics by rule-based models
- Sustainability of RNA-interference in rule based modelling
- Programming in biomolecular computation
- A syntactic abstraction for rule-based languages with binding
- Stochastic Semantics of Signaling as a Composition of Agent-view Automata
- Rule-Based Modelling of Cellular Signalling
- A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models
- Static analysis of biological regulatory networks dynamics using abstract interpretation
- Rigid geometric constraints for Kappa models
- Containment in Rule-Based Models
- A knowledge representation meta-model for rule-based modelling of signalling networks
- Probabilistic model checking of biological systems with uncertain kinetic rates
- Hypothesizing about signaling 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)
