Static Analysis for Systems Biology

F. Nielson, H. Riis Nielson, D. Schuch da Rosa, C. Priami

AbstractThis paper shows how static analysis techniques can help understanding
biological systems. Based on a simple example we 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.
TypeConference paper [With referee]
ConferenceProc. of workshop on Systeomatics - dynamic biological systems informatics
PublisherComputer Science Press, Trinity College Dublin
Electronic version(s)[pdf]
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering