Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic

Journal of Theoretical Biology
Gilles BernotJanine Guespin

Abstract

Based on the discrete definition of biological regulatory networks developed by René Thomas, we provide a computer science formal approach to treat temporal properties of biological regulatory networks, expressed in computational tree logic. It is then possible to build all the models satisfying a set of given temporal properties. Our approach is illustrated with the mucus production in Pseudomonas aeruginosa. This application of formal methods from computer science to biological regulatory networks should open the way to many other fruitful applications.

References

Dec 1, 1976·European Journal of Biochemistry·R ThomasL Lambert
Nov 21, 1987·Journal of Theoretical Biology·M Kaufman, R Thomas
Apr 1, 2000·Comptes rendus de l'Académie des sciences. Série III, Sciences de la vie·J DemongeotR Thomas
Mar 26, 2002·Journal of Computational Biology : a Journal of Computational Molecular Cell Biology·Hidde de Jong
Apr 23, 2002·Nature Genetics·Shai S Shen-OrrUri Alon
Nov 15, 2002·Nature·Hiroaki Kitano
Nov 15, 2002·Nature·Jeff HastyJ J Collins
Mar 1, 1995·Chaos·J. DemongeotC. Jezequel
Nov 11, 2003·Bulletin of Mathematical Biology·Vincent DevlooMartine Labbé

❮ Previous
Next ❯

Citations

Feb 18, 2011·Journal of Mathematical Biology·Siamak TaatiGilles Bernot
May 7, 2008·Theory in Biosciences = Theorie in Den Biowissenschaften·Mathieu PoudretFrançois Képès
Jul 31, 2007·Bioinformatics·Grégory BattCalin Belta
Aug 12, 2008·Bioinformatics·Pedro T MonteiroHidde de Jong
Jul 11, 2008·Bioinformatics·Abhishek GargGiovanni De Micheli
May 30, 2009·Bioinformatics·Abhishek GargIoannis Xenarios
Dec 24, 2011·BMC Bioinformatics·Gustavo ArellanoElena R Alvarez-Buylla
Jun 1, 2006·BMC Bioinformatics·Didier FiloponJanine Guespin-Michel
Apr 6, 2007·BMC Systems Biology·Marc A SchaubJasmin Fisher
Feb 4, 2012·PloS One·Adrien RichardAnnabelle Merieau
Apr 3, 2007·Proceedings of the National Academy of Sciences of the United States of America·Amir RubinsteinRon Y Pinter
Dec 3, 2014·Computational Biology and Chemistry·Babar AslamTariq Saeed
Apr 7, 2005·Médecine sciences : M/S·François Képès
Mar 15, 2005·FEBS Letters·Julien Gagneur, Georg Casari
Oct 16, 2010·Journal of Theoretical Biology·Jan-Ke LarssonRobert Forchheimer
Dec 29, 2015·Journal of Bioinformatics and Computational Biology·Jonathan BehaegelFranck Delaunay
May 19, 2009·Bio Systems·Jamil AhmadChristine Sinoquet
Jul 27, 2011·IEEE/ACM Transactions on Computational Biology and Bioinformatics·Jirí BarnatTomás Vejpustek
Apr 25, 2012·IEEE/ACM Transactions on Computational Biology and Bioinformatics·Hannes KlarnerAlexander Bockmayr
Mar 12, 2011·IEEE/ACM Transactions on Computational Biology and Bioinformatics·Gregor Gössler
Dec 13, 2012·IEEE Reviews in Biomedical Engineering·Oliver FaustToshiyo Tamura
May 11, 2005·Journal of Theoretical Biology·Madalena ChavesEduardo D Sontag
Oct 30, 2012·Journal of Molecular Biology·Michael J E SternbergStephen H Muggleton
Jan 27, 2015·Bioinformatics·Aurélien NaldiClaudine Chaouiya
Feb 3, 2015·Frontiers in Bioengineering and Biotechnology·Tony RibeiroChiaki Sakama
Jul 20, 2007·Journal of Bioinformatics and Computational Biology·Daniel MateusPascale LE Gall
May 26, 2017·Nature Communications·Miles W GanderEric Klavins
Mar 22, 2018·Frontiers in Genetics·Stalin MuñozDavid A Rosenblueth

❮ Previous
Next ❯

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.