Approximating probabilistic behaviors of biological systems using abstract interpretation
DOI10.1016/J.ENTCS.2009.02.011zbMATH Open1283.92037OpenAlexW2150959680MaRDI QIDQ5404082FDOQ5404082
Authors: Alessio Coletta, Roberta Gori, Francesca Levi 
Publication date: 21 March 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2009.02.011
Recommendations
- An analysis for proving probabilistic termination of biological systems
- Compositional abstraction for stochastic systems
- Probabilistic model checking of biological systems with uncertain kinetic rates
- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
- Sliding Window Abstraction for Infinite Markov Chains
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Systems biology, networks (92C42)
Cites Work
- On process rate semantics
- BioAmbients: an abstraction for biological compartments
- Title not available (Why is that?)
- Brane Calculi
- Modeling and querying biomolecular interaction networks
- An Analysis for Proving Temporal Properties of Biological Systems
- Static Analysis
- Programming Languages and Systems
- Computational Methods in Systems Biology
- Pathway analysis for BioAmbients
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Systematic design of program transformation frameworks by abstract interpretation
- On finite-state approximants for probabilistic computation tree logic
- Model Checking Software
- Magnifying-Lens Abstraction for Markov Decision Processes
- Tools and Algorithms for the Construction and Analysis of Systems
- Static analysis for the \(\pi\)-calculus with applications to security
- Title not available (Why is that?)
- Abstract interpretation of programs as Markov decision processes
- Title not available (Why is that?)
- Validating firewalls using flow logics
- On abstract interpretation of mobile ambients
- Title not available (Why is that?)
Cited In (5)
- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
- Toward a probabilistic biology
- An analysis for proving probabilistic termination of biological systems
- Abstract interpretation and types for systems biology
- Probabilistic model checking of biological systems with uncertain kinetic rates
Uses Software
This page was built for publication: Approximating probabilistic behaviors of biological systems using abstract interpretation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5404082)
