Computational Modeling, Formal Analysis, and Tools for Systems Biology.
As the amount of biological data in the public domain grows, so does the range of modeling and analysis techniques employed in systems biology. In recent years, a number of theoretical computer science developments have enabled modeling methodology to keep pace. The growing interest in systems biolo...
Main Authors: | Ezio Bartocci, Pietro Lió |
---|---|
Format: | Article |
Language: | English |
Published: |
Public Library of Science (PLoS)
2016-01-01
|
Series: | PLoS Computational Biology |
Online Access: | http://europepmc.org/articles/PMC4721667?pdf=render |
Similar Items
-
Formal computational models of biological systems
by: Bell, Alexander Charlton
Published: (1998) -
Sampling-based Decentralized Monitoring for Networked Embedded Systems
by: Ezio Bartocci
Published: (2013-08-01) -
Modeling formalisms in Systems Biology
by: Machado, Daniel, et al.
Published: (2012) -
Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy
by: Liò Pietro, et al.
Published: (2010-01-01) -
A critical review on modelling formalisms and simulation tools in computational biosystems
by: Machado, Daniel, et al.
Published: (2012)