Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation
From MaRDI portal
Publication:5404082
DOI10.1016/j.entcs.2009.02.011zbMath1283.92037OpenAlexW2150959680MaRDI QIDQ5404082
Roberta Gori, Alessio Coletta, 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
Systems biology, networks (92C42) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (2)
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates ⋮ Probabilistic model checking of biological systems with uncertain kinetic rates
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Pathway analysis for BioAmbients
- Validating firewalls using flow logics
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Static analysis for the \(\pi\)-calculus with applications to security
- Modeling and querying biomolecular interaction networks
- BioAmbients: an abstraction for biological compartments
- On abstract interpretation of mobile ambients
- On process rate semantics
- Abstract interpretation of programs as Markov decision processes
- On finite-state approximants for probabilistic computation tree logic
- Systematic design of program transformation frameworks by abstract interpretation
- An Analysis for Proving Temporal Properties of Biological Systems
- Magnifying-Lens Abstraction for Markov Decision Processes
- Static Analysis
- Programming Languages and Systems
- Brane Calculi
- Computational Methods in Systems Biology
- Model Checking Software
- Tools and Algorithms for the Construction and Analysis of Systems
This page was built for publication: Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation
