Verifiable biology

S Konur, M Gheorghe… - Journal of the Royal …, 2023 - royalsocietypublishing.org
The formalization of biological systems using computational modelling approaches as an
alternative to mathematical-based methods has recently received much interest because …

Advances and challenges in logical modeling of cell cycle regulation: perspective for multi-scale, integrative yeast cell models

M Barberis, RG Todd, L van der Zee - Yeast Research, 2017 - academic.oup.com
The eukaryotic cell cycle is robustly designed, with interacting molecules organized within a
definite topology that ensures temporal precision of its phase transitions. Its underlying …

A Dynamic Gene Regulatory Network Model That Recovers the Cyclic Behavior of Arabidopsis thaliana Cell Cycle

E Ortiz-Gutiérrez, K García-Cruz… - PLoS computational …, 2015 - journals.plos.org
Cell cycle control is fundamental in eukaryotic development. Several modeling efforts have
been used to integrate the complex network of interacting molecular components involved in …

Integrating microfluidic generation, handling and analysis of biomimetic giant unilamellar vesicles

DJ Paterson, J Reboud, R Wilson, M Tassieri… - Lab on a Chip, 2014 - pubs.rsc.org
The key roles played by phospholipids in many cellular processes, has led to the
development of model systems, to explore both lipid–lipid and lipid–peptide interactions …

Diversified dynamic effects and their order origins in Boolean functions

Y Yao, ZG Huang, D Pei - Chaos, Solitons & Fractals, 2025 - Elsevier
Interaction relationships are fundamental to the behavior of complex systems. This study,
grounded in Boolean discrete systems, conducts a comprehensive investigation of ordered …

[HTML][HTML] Beyond Boolean: Ternary networks and dynamics

YX Yao, JQ Dong, JY Zhu, L Huang, DQ Pei… - … Journal of Nonlinear …, 2022 - pubs.aip.org
Boolean networks introduced by Kauffman, originally intended as a prototypical model for
gaining insights into gene regulatory dynamics, have become a paradigm for understanding …

Random parametric perturbations of gene regulatory circuit uncover state transitions in cell cycle

A Katebi, V Kohar, M Lu - Iscience, 2020 - cell.com
Many biological processes involve precise cellular state transitions controlled by complex
gene regulation. Here, we use budding yeast cell cycle as a model system and explore how …

Quantitative systems biology to decipher design principles of a dynamic cell cycle network: the “Maximum Allowable mammalian Trade–Off–Weight”(MAmTOW)

M Barberis, P Verbruggen - NPJ systems biology and applications, 2017 - nature.com
Network complexity is required to lend cellular processes flexibility to respond timely to a
variety of dynamic signals, while simultaneously warranting robustness to protect cellular …

A toolbox for discrete modelling of cell signalling dynamics

YZ Paterson, D Shorthouse, MW Pleijzier… - Integrative …, 2018 - academic.oup.com
In an age where the volume of data regarding biological systems exceeds our ability to
analyse it, many researchers are looking towards systems biology and computational …

Boolean genetic network model for the control of C. elegans early embryonic cell cycles

X Huang, L Chen, H Chim, LL Hang Chan… - Biomedical engineering …, 2013 - Springer
Abstract Background In Caenorhabditis elegans early embryo, cell cycles only have two
phases: DNA synthesis and mitosis, which are different from the typical 4-phase cell cycle …