Editorial: Computational methods for understanding complexity: the use of formal methods in biology

Bibliographic Details
Main Author: David A Rosenblueth
Format: Article
Language:English
Published: Frontiers Media S.A. 2016-08-01
Series:Frontiers in Bioengineering and Biotechnology
Subjects:
Online Access:http://journal.frontiersin.org/Journal/10.3389/fbioe.2016.00068/full
id doaj-16790200254c4c3a9ebdd36139f2cb82
record_format Article
spelling doaj-16790200254c4c3a9ebdd36139f2cb822020-11-25T01:06:24ZengFrontiers Media S.A.Frontiers in Bioengineering and Biotechnology2296-41852016-08-01410.3389/fbioe.2016.00068219019Editorial: Computational methods for understanding complexity: the use of formal methods in biologyDavid A Rosenblueth0Universidad Nacional Autónoma de Méxicohttp://journal.frontiersin.org/Journal/10.3389/fbioe.2016.00068/fullGene Regulatory NetworksEpistasisAcute leukemiamodel checkingbiochemical networksBoolean networks
collection DOAJ
language English
format Article
sources DOAJ
author David A Rosenblueth
spellingShingle David A Rosenblueth
Editorial: Computational methods for understanding complexity: the use of formal methods in biology
Frontiers in Bioengineering and Biotechnology
Gene Regulatory Networks
Epistasis
Acute leukemia
model checking
biochemical networks
Boolean networks
author_facet David A Rosenblueth
author_sort David A Rosenblueth
title Editorial: Computational methods for understanding complexity: the use of formal methods in biology
title_short Editorial: Computational methods for understanding complexity: the use of formal methods in biology
title_full Editorial: Computational methods for understanding complexity: the use of formal methods in biology
title_fullStr Editorial: Computational methods for understanding complexity: the use of formal methods in biology
title_full_unstemmed Editorial: Computational methods for understanding complexity: the use of formal methods in biology
title_sort editorial: computational methods for understanding complexity: the use of formal methods in biology
publisher Frontiers Media S.A.
series Frontiers in Bioengineering and Biotechnology
issn 2296-4185
publishDate 2016-08-01
topic Gene Regulatory Networks
Epistasis
Acute leukemia
model checking
biochemical networks
Boolean networks
url http://journal.frontiersin.org/Journal/10.3389/fbioe.2016.00068/full
work_keys_str_mv AT davidarosenblueth editorialcomputationalmethodsforunderstandingcomplexitytheuseofformalmethodsinbiology
_version_ 1725190428886564864