Static analysis for systems biology

Authors:
Flemming Nielson;Hanne Riis Nielson;Corrado Priami;Debora Rosa
Affiliations:
Technical University of Denmark;Technical University of Denmark;University of Trento;University of Trento
Venue:
WISICT '04 Proceedings of the winter international synposium on Information and communication technologies
Year:
2004

Citing 4
Cited 6

Principles of Program Analysis

Principles of Program Analysis
Proceedings of the First International Workshop on Computational Methods in Systems Biology

CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
Control Flow Analysis for BioAmbients

Electronic Notes in Theoretical Computer Science (ENTCS)

Control Flow Analysis for Brane Calculi

Electronic Notes in Theoretical Computer Science (ENTCS)
Abstract interpretation based verification of temporal properties for BioAmbients

Information and Computation
Reachability for finite-state process algebras using static analysis

RP'11 Proceedings of the 5th international conference on Reachability problems
A new occurrence counting analysis for bioambients

APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Abstract machines of systems biology

Transactions on Computational Systems Biology III
An analysis for proving temporal properties of biological systems

APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper shows how static analysis techniques can help understanding biological systems. Based on a simple example will illustrate the outcome of performing three different analyses extracting information of increasing precision. We conclude by reporting on the potential impact and exploitation of these techniques in systems biology.