[HTML][HTML] Computational modeling, formal analysis, and tools for systems biology

E Bartocci, P Lió - PLoS computational biology, 2016 - journals.plos.org
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 …

Toward verified biological models

A Sadot, J Fisher, D Barak, Y Admanit… - … ACM transactions on …, 2008 - ieeexplore.ieee.org
The last several decades have witnessed a vast accumulation of biological data and data
analysis. Many of these data sets represent only a small fraction of the system's behavior …

Executable cell biology

J Fisher, TA Henzinger - Nature biotechnology, 2007 - nature.com
Computational modeling of biological systems is becoming increasingly important in efforts
to better understand complex biological behaviors. In this review, we distinguish between …

[PDF][PDF] System modeling in cell biology from concepts to nuts and bolts

Z Szallasi, J Stelling, V Periwal - 2006 - ir.juit.ac.in
What is systems biology if all definitions of biology implicitly or explicitly refer to the study of a
whole object, whether it is a virus, a cell, a bacterium, a protozoan or a metazoan? We treat …

[PDF][PDF] System modeling in cellular biology

Z Szallasi, J Stelling, V Periwal - From Concepts to, 2006 - academia.edu
What is systems biology if all definitions of biology implicitly or explicitly refer to the study of a
whole object, whether it is a virus, a cell, a bacterium, a protozoan or a metazoan? We treat …

Systems Biology Toolbox for MATLAB: a computational platform for research in systems biology

H Schmidt, M Jirstrand - Bioinformatics, 2006 - academic.oup.com
We present a Systems Biology Toolbox for the widely used general purpose mathematical
software MATLAB. The toolbox offers systems biologists an open and extensible …

Systems biology: the next frontier for bioinformatics

VA Likić, MJ McConville, T Lithgow… - Advances in …, 2010 - Wiley Online Library
Biochemical systems biology augments more traditional disciplines, such as genomics,
biochemistry and molecular biology, by championing (i) mathematical and computational …

Model building and model checking for biochemical processes

M Antoniotti, A Policriti, N Ugel, B Mishra - Cell biochemistry and …, 2003 - Springer
A central claim of computational systems biology is that, by drawing on mathematical
approaches developed in the context of dynamic systems, kinetic analysis, computational …

Mathematical modeling of biological systems

S Motta, F Pappalardo - Briefings in Bioinformatics, 2013 - academic.oup.com
Mathematical and computational models are increasingly used to help interpret biomedical
data produced by high-throughput genomics and proteomics projects. The application of …

Systems biology at the Institute for Systems Biology

L Hood, L Rowen, DJ Galas… - Briefings in functional …, 2008 - academic.oup.com
Abstract Systems biology represents an experimental approach to biology that attempts to
study biological systems in a holistic rather than an atomistic manner. Ideally this involves …