Behaviours of complex biomolecular systems are often irreducible to the elementary
properties of their individual components. Explanatory and predictive mathematical models …

Model checking is a well-established technique for automatically verifying complex systems.
Recently, model checkers have appeared in computer tools for the analysis of biochemical …

To study gene regulatory networks, we work on an iterative approach that permits us via
formal modelling to elaborate models in silico and to validate them in vivo and/or in vitro. An …

Boolean networks are discrete dynamical systems extensively used to model biological
regulatory networks. The dynamical analysis of these networks suffers from the …

Abstract Background In Thomas' formalism for modeling gene regulatory networks (GRNs),
branching time, where a state can have more than one possible future, plays a prominent …

Dynamical modeling has proven useful for understanding how complex biological
processes emerge from the many components and interactions composing genetic …

Sepsis is one of the major causes of human morbidity and results in a considerable number
of deaths each year. Lipopolysaccharide-induced sepsis has been associated with TLR4 …

Background A growing demand for tools to assist the building and analysis of biological
networks exists in systems biology. We argue that the use of a formal approach is relevant …

Numerous biological mechanisms are synchronized by the circadian rhythm in species so
diverse as mushrooms, drosophiles or mammals. Because of its ubiquity and of its …

Additive manufacturing (AM) has grown quickly in popularity as a fast, flexible fabrication
technique. However, the physical complexity of most AM processes makes it difficult to …