Pathway analysis for BioAmbients
DOI10.1016/J.JLAP.2008.05.006zbMATH Open1147.92002OpenAlexW1980209984WikidataQ59416347 ScholiaQ59416347MaRDI QIDQ953532FDOQ953532
Authors: Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson 
Publication date: 6 November 2008
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2008.05.006
Recommendations
systems biologystatic analysisprocess calculuspathway analysisdata flow analysiscontrol flow analysisBioAmbientsflow logicLDL degradation pathwaymonotone frameworks
Systems biology, networks (92C42) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) General biology and biomathematics (92B05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- BioAmbients: an abstraction for biological compartments
- Brane Calculi
- Computational Methods in Systems Biology
- Computational Methods in Systems Biology
- Data Flow Analysis for CCS
- Formal molecular biology
- Life: An introduction to complex systems biology
- Mobile ambients
- Pathway analysis for BioAmbients
- Static Analysis
- The anatomy of a loop: a story of scope and control
- The chemical abstract machine
- Tools and Algorithms for the Construction and Analysis of Systems
- Transactions on Computational Systems Biology IV
- What is a free name in a process algebra?
Cited In (13)
- Identification of components in biochemical pathways: extensive aqpplication to SBML models
- Formal methods for biochemical signalling pathways
- An analysis for causal properties of membrane interactions
- A static analysis for brane calculi providing global occurrence counting information
- Pathway analysis for BioAmbients
- Abstract interpretation based verification of temporal properties for BioAmbients
- Static analysis of IMC
- Control flow analysis for brane calculi
- Causal static analysis for brane calculi
- A calculus of quality for robustness against unreliable communication
- A Global Occurrence Counting Analysis for Brane Calculi
- Approximating probabilistic behaviors of biological systems using abstract interpretation
- A monotone framework for CCS
Uses Software
This page was built for publication: Pathway analysis for BioAmbients
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q953532)
