The behaviour of gene regulatory networks (GRNs) is typically analysed using simulation-based statistical testing-like methods. In this paper, we demonstrate that we can replace this approach by a formal verification-like method that gives higher assurance and scalability. We focus on Wagner’s weighted GRN model with varying weights, which is used in evolutionary biology. In the model, weight p...

This limited review is intended as an introduction to the fast growing subject of mathematical modelling of cell metabolism and its biochemical pathways, and more precisely on pathways linked to apoptosis of cancerous cells. Some basic mathematical models of chemical kinetics, with emphasis on stochastic models, are presented.

Transcription factors (TFs) play a key role in determining the gene expression profiles of stem/progenitor cells, and defining their potential to differentiate into mature cell lineages. TF interactions within gene-regulatory networks are vital to these processes, and dysregulation of these networks by TF overexpression, deletion or abnormal gene fusions have been shown to cause malignancy. Whi...

Gene regulatory networks are a major focus of interest in molecular biology. A crucial question is how complex regulatory systems are encoded and controlled by the genome. Three recent publications have raised the question of what can be learned about gene regulatory networks from microarray experiments on gene deletion mutants. Using this indirect approach, topological features such as connect...

Transcriptional control of gene expression is one of the most important regulatory systems in animal development. Specific gene expression is basically determined by combinatorial regulation mediated by multiple sequence-specific transcription factors. The decoding of animal genomes has provided an opportunity for us to systematically examine gene regulatory networks consisting of successive la...

Precise spatiotemporal gene expression during animal development is achieved through gene regulatory networks, in which sequence-specific transcription factors (TFs) bind to cis-regulatory elements of target genes. Although numerous cis-regulatory elements have been identified in a variety of systems, their global architecture in the gene networks that regulate animal development is not well un...

The efficacy of a newly created software package for predictive modeling of developmental gene regulatory networks (GRNs) has recently been demonstrated (Peter et al., 2012 ). The program GeNeTool computes spatial gene expression patterns based on GRN interactions and thereby allows the direct comparison of predicted and observed spatial expression patterns. GeNeTool also permits in silico expl...

Genetic regulatory networks enable cells to respond to changes in internal and external conditions by dynamically coordinating their gene expression profiles. Our ability to make quantitative measurements in these biochemical circuits has deepened our understanding of what kinds of computations genetic regulatory networks can perform, and with what reliability. These advances have motivated res...