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

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:	Gene Regulatory Networks Epistasis Acute leukemia model checking biochemical networks Boolean networks
Online Access:	http://journal.frontiersin.org/Journal/10.3389/fbioe.2016.00068/full

Similar Items

Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology
Published: (2016)

Dynamic network-based epistasis analysis: Boolean examples
by: Eugenio eAzpeitia, et al.
Published: (2011-12-01)

An overview of existing modeling tools making use of model checking in the analysis of biochemical networks
by: Miguel eCarrillo, et al.
Published: (2012-07-01)

A review of modelling and verification approaches for computational biology
by: Konur, Savas
Published: (2020)

Boolean models for genetic regulatory networks
by: Xiao, Yufei
Published: (2010)

The Potential Power of Dynamics in Epistasis Analysis
by: Awdeh, Aseel
Published: (2015)

Improved Time Complexities for Learning Boolean Networks
by: Chee Keong Kwoh, et al.
Published: (2013-09-01)

BoolSi: A Tool for Distributed Simulations and Analysis of Boolean Networks
by: Vladyslav Oles, et al.
Published: (2020-10-01)

Integrating Patient-Specific Information into Logic Models of Complex Diseases: Application to Acute Myeloid Leukemia
by: Alessandro Palma, et al.
Published: (2021-02-01)

Random Networks with Quantum Boolean Functions
by: Mario Franco, et al.
Published: (2021-04-01)

Data-Driven Math Model of FLT3-ITD Acute Myeloid Leukemia Reveals Potential Therapeutic Targets
by: David J. Wooten, et al.
Published: (2021-03-01)

Learning Delayed Influences of Biological Systems
by: Tony eRibeiro, et al.
Published: (2015-01-01)

Optimization-Based Approaches to Control of Probabilistic Boolean Networks
by: Koichi Kobayashi, et al.
Published: (2017-02-01)

An Engineering Approach Towards Personalized Cancer Therapy
by: Vahedi, Golnaz
Published: (2010)

Discovering relationships in genetic regulatory networks
by: Pal, Ranadip
Published: (2004)

Application of Logic Synthesis Toward the Inference and Control of Gene Regulatory Networks
by: Lin, Pey Chang K
Published: (2013)

The role of structural pleiotropy and regulatory evolution in the retention of heteromers of paralogs
by: Axelle Marchant, et al.
Published: (2019-08-01)

Evolving Always-Critical Networks
by: Marco Villani, et al.
Published: (2020-03-01)

BoolFilter: an R package for estimation and identification of partially-observed Boolean dynamical systems
by: Levi D. Mcclenny, et al.
Published: (2017-11-01)

Genomic Regulatory Networks, Reduction Mappings and Control
by: Ghaffari, Noushin
Published: (2012)

Perturbations in Boolean Networks
by: Ghanbarnejad, Fakhteh
Published: (2012)

Validation of Gene Regulatory Network Inference Based on Controllability
by: Edward eDougherty, et al.
Published: (2013-12-01)

Griffin: A Tool for Symbolic Inference of Synchronous Boolean Molecular Networks
by: Stalin Muñoz, et al.
Published: (2018-03-01)

Boolean Feedforward Neural Network Modeling of Molecular Regulatory Networks for Cellular State Conversion
by: Sang-Mok Choo, et al.
Published: (2020-12-01)

Enhancer-Gene Interaction Analyses Identified the Epidermal Growth Factor Receptor as a Susceptibility Gene for Type 2 Diabetes Mellitus
by: Yang Yang, et al.
Published: (2021-03-01)

Approximating attractors of Boolean networks by iterative CTL model checking
by: Hannes eKlarner, et al.
Published: (2015-09-01)

Control in Boolean Networks With Model Checking
by: Cifuentes-Fontanals, L., et al.
Published: (2022)

STRONGLY CONNECTED COMPONENTS AND STEADY STATES IN GENE REGULATORY NETWORKS
by: MILES, RICHARD BRENT
Published: (2007)

Canalização: fenótipos robustos como consequência de características da rede de regulação gênica
by: Vitor Hugo Louzada Patricio
Published: (2011)

Canalização: fenótipos robustos como consequência de características da rede de regulação gênica
by: Patricio, Vitor Hugo Louzada
Published: (2011)

Analysis Tools for Interconnected Boolean Networks With Biological Applications
by: Madalena Chaves, et al.
Published: (2018-05-01)

Computational biology approaches for mapping transcriptional regulatory networks
by: Violaine Saint-André
Published: (2021-01-01)

Robustness Analysis of Gene Regulatory Networks
by: Kadelka, Claus Thomas
Published: (2016)

Reconstruction of a gene regulatory network of the induced systemic resistance defense response in Arabidopsis using boolean networks
by: Tania Timmermann, et al.
Published: (2020-04-01)

Derivation and Use of Gene Network Models to Make Quantitative Predictions of Genetic Interaction Data
by: Phenix, Hilary
Published: (2017)

Transcriptional and Microenvironmental Landscape of Macrophage Transition in Cancer: A Boolean Analysis
by: Ugo Avila-Ponce de León, et al.
Published: (2021-06-01)

Normal vs Malignant Hematopoiesis: the Complexity of Acute Leukemia Through Systems Biology
by: Jennifer eEnciso, et al.
Published: (2015-09-01)

Automatic Screening for Perturbations in Boolean Networks
by: Julian D. Schwab, et al.
Published: (2018-04-01)

BowSaw: Inferring Higher-Order Trait Interactions Associated With Complex Biological Phenotypes
by: Demetrius DiMucci, et al.
Published: (2021-06-01)

Gene Regulatory Networks: Modeling, Intervention and Context
Published: (2013)