Computational Modeling, Formal Analysis, and Tools for Systems Biology

PLoS Computational Biology
Ezio Bartocci, Pietro Lió

Abstract

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 biology in executable models and their analysis has necessitated the borrowing of terms and methods from computer science, such as formal analysis, model checking, static analysis, and runtime verification. Here, we discuss the most important and exciting computational methods and tools currently available to systems biologists. We believe that a deeper understanding of the concepts and theory highlighted in this review will produce better software practice, improved investigation of complex biological processes, and even new ideas and better feedback into computer science.

References

Mar 1, 1969·Journal of Theoretical Biology·S A Kauffman
Jun 10, 2003·Cell Biochemistry and Biophysics·Marco AntoniottiBud Mishra
Feb 7, 2004·Bioinformatics·J A IzaguirreJ A Glazier
Jun 15, 2006·Briefings in Bioinformatics·Emanuela MerelliMichael Luck
Jul 20, 2006·Science's STKE : Signal Transduction Knowledge Environment·William S HlavacekWalter Fontana
Oct 13, 2006·Bioinformatics·Stefan HoopsUrsula Kummer
Apr 6, 2007·BMC Systems Biology·Marc A SchaubJasmin Fisher
Jul 31, 2007·Bioinformatics·Grégory BattCalin Belta
Aug 19, 2007·IEEE Transactions on Nanobioscience·Ezio BartocciPaolo Romano
Nov 9, 2007·Nature Biotechnology·Jasmin Fisher, Thomas A Henzinger
Feb 28, 2008·PloS One·Maria I Davidich, Stefan Bornholdt
Apr 18, 2008·BMC Bioinformatics·Ezio BartocciScott A Smolka
May 9, 2008·Briefings in Bioinformatics·Lorenzo DemattéAlessandro Romanel
Jul 10, 2008·Nature Biotechnology·C Anthony HuntJesse Engelberg
Apr 7, 2009·Proceedings of the National Academy of Sciences of the United States of America·Jérôme FeretWalter Fontana
Apr 29, 2009·Methods in Molecular Biology·James R FaederWilliam S Hlavacek
May 19, 2009·Bio Systems·Jamil AhmadChristine Sinoquet
Feb 2, 2010·Briefings in Functional Genomics·Jasmin Fisher, Nir Piterman
Feb 4, 2010·Briefings in Bioinformatics·Paul RichmondDaniela Romano
Apr 10, 2010·Journal of Computational Biology : a Journal of Computational Molecular Cell Biology·Alexandre DonzéChristopher J Langmead
Apr 10, 2010·Bioinformatics·Christoph MüsselHans A Kestler
Jun 8, 2010·BMC Systems Biology·Jonathan FromentinOlivier Roux
Sep 9, 2010·Bioinformatics·Steven GayFrançois Fages
Sep 9, 2010·PLoS Computational Biology·Aurélien NaldiDenis Thieffry
Dec 9, 2010·BMC Bioinformatics·Haijun GongEdmund M Clarke
Jul 23, 2011·IEEE/ACM Transactions on Computational Biology and Bioinformatics·Elena Dubrova, Maxim Teslenko
Jul 27, 2011·IEEE/ACM Transactions on Computational Biology and Bioinformatics·Jirí BarnatTomás Vejpustek
Sep 2, 2011·Journal of the Royal Society, Interface·Maria Luisa GuerrieroJane Hillston
Oct 8, 2011·PloS One·Alexandre DonzéPhilippe Tracqui
Oct 15, 2011·PLoS Computational Biology·Susan D HesterJames A Glazier
Oct 25, 2011·PLoS Computational Biology·Neil DalchauJoern M Werner
Dec 7, 2011·Methods in Molecular Biology·Claudine ChaouiyaDenis Thieffry
Jun 28, 2012·Molecular Systems Biology·Domitille HeitzlerEric Reiter
Jul 28, 2012·IEEE/ACM Transactions on Computational Biology and Bioinformatics·Nicola PaolettiMarco Viceconti
Oct 11, 2012·Molecular Systems Biology·Stefanie Nusser-SteinJasmin Fisher
May 21, 2013·Journal of Theoretical Biology·M SciannaL Preziosi
Aug 10, 2013·IEEE/ACM Transactions on Computational Biology and Bioinformatics·Abhishek MurthyRadu Grosu
Nov 20, 2013·PLoS Computational Biology·Luca GriecoDenis Thieffry
Jan 24, 2015·Physical Review. E, Statistical, Nonlinear, and Soft Matter Physics·Giulia MenichettiGinestra Bianconi

❮ Previous
Next ❯

Citations

Jul 13, 2016·Briefings in Bioinformatics·Marco S NobileDaniela Besozzi
Apr 7, 2018·Journal of Biomolecular Structure & Dynamics·Francisco Cabezas, Carolina Mascayano
May 17, 2018·Personalized Medicine·Patrik Christen
Sep 8, 2017·Environmental Science and Pollution Research International·Dulce Jazmín Hernández-MelchorBeni Camacho-Pérez
Aug 9, 2017·Wiley Interdisciplinary Reviews. Systems Biology and Medicine·Michael C GetzPadmini Rangamani
Mar 2, 2019·CBE Life Sciences Education·Catherine KirkpatrickSehoya Cotner
May 31, 2018·Chemphyschem : a European Journal of Chemical Physics and Physical Chemistry·Wim HordijkGonen Ashkenasy
Dec 20, 2017·Journal of Receptor and Signal Transduction Research·Fereshteh ShiriAzita Rahmani
Nov 23, 2018·BMC Systems Biology·Jenny E Jeong, Peng Qiu
Dec 15, 2018·Wiley Interdisciplinary Reviews. Systems Biology and Medicine·Emidio CapriottiHannah Carter
May 14, 2020·Bioinformatics·Sara Sadat AghamiriAnna Niarakis
Sep 10, 2020·Frontiers in Physiology·Richard BallwegTongli Zhang
Oct 24, 2019·Scientific Reports·Rodrigo SantibáñezAlberto J M Martin
Feb 28, 2019·BMC Bioinformatics·Fatemeh MansooriKaveh Kavousi
Dec 17, 2020·Bioinformatics·S SinisiB Leeners
Jan 9, 2021·Cell Stem Cell·Patrick CahanChristine A Wells
Jan 11, 2021·Briefings in Bioinformatics·Jana Musilova, Karel Sedlar
May 30, 2020·Biophysical Journal·Matthew J VargaMargaret E Johnson
Oct 5, 2021·Frontiers in Genetics·Pietro BarbieroPietro Lió
Sep 14, 2021·Journal of Bioinformatics and Computational Biology·Shinq-Jen Wu

❮ Previous
Next ❯

Software Mentioned

BlenX
CTL
Beta
STL
GreatSPN
TaLiRo
BAM
PRISM
Pathway Logic Assistant
Bio

Related Concepts

Trending Feeds

COVID-19

Coronaviruses encompass a large family of viruses that cause the common cold as well as more serious diseases, such as the ongoing outbreak of coronavirus disease 2019 (COVID-19; formally known as 2019-nCoV). Coronaviruses can spread from animals to humans; symptoms include fever, cough, shortness of breath, and breathing difficulties; in more severe cases, infection can lead to death. This feed covers recent research on COVID-19.

Blastomycosis

Blastomycosis fungal infections spread through inhaling Blastomyces dermatitidis spores. Discover the latest research on blastomycosis fungal infections here.

Nuclear Pore Complex in ALS/FTD

Alterations in nucleocytoplasmic transport, controlled by the nuclear pore complex, may be involved in the pathomechanism underlying multiple neurodegenerative diseases including Amyotrophic Lateral Sclerosis and Frontotemporal Dementia. Here is the latest research on the nuclear pore complex in ALS and FTD.

Applications of Molecular Barcoding

The concept of molecular barcoding is that each original DNA or RNA molecule is attached to a unique sequence barcode. Sequence reads having different barcodes represent different original molecules, while sequence reads having the same barcode are results of PCR duplication from one original molecule. Discover the latest research on molecular barcoding here.

Chronic Fatigue Syndrome

Chronic fatigue syndrome is a disease characterized by unexplained disabling fatigue; the pathology of which is incompletely understood. Discover the latest research on chronic fatigue syndrome here.

Evolution of Pluripotency

Pluripotency refers to the ability of a cell to develop into three primary germ cell layers of the embryo. This feed focuses on the mechanisms that underlie the evolution of pluripotency. Here is the latest research.

Position Effect Variegation

Position Effect Variagation occurs when a gene is inactivated due to its positioning near heterochromatic regions within a chromosome. Discover the latest research on Position Effect Variagation here.

STING Receptor Agonists

Stimulator of IFN genes (STING) are a group of transmembrane proteins that are involved in the induction of type I interferon that is important in the innate immune response. The stimulation of STING has been an active area of research in the treatment of cancer and infectious diseases. Here is the latest research on STING receptor agonists.

Microbicide

Microbicides are products that can be applied to vaginal or rectal mucosal surfaces with the goal of preventing, or at least significantly reducing, the transmission of sexually transmitted infections. Here is the latest research on microbicides.

Related Papers

Nutrition in Clinical Practice : Official Publication of the American Society for Parenteral and Enteral Nutrition
R J Smith
Studies in Health Technology and Informatics
Arjen HommersomPeter Lucas
© 2022 Meta ULC. All rights reserved