Making decisions on how best to treat cancer patients requires the integration of different
data sets, including genomic profiles, tumour histopathology, radiological images, proteomic …

Discrete, logic-based models are increasingly used to describe biological mechanisms.
Initially introduced to study gene regulation, these models evolved to cover various …

Blood malignancies arise from the dysregulation of haematopoiesis. The type of blood cell
and the specific order of oncogenic events initiating abnormal growth ultimately determine …

The formalization of biological systems using computational modelling approaches as an
alternative to mathematical-based methods has recently received much interest because …

BioModelAnalyzer (BMA) is an open‐source graphical tool for the development of
executable models of protein and gene networks within cells. Based upon the Qualitative …

Dysregulation of biological processes in normal cells can lead to the abnormal growth of
tumours. Oncogenesis requires the acquisition of advantageous mutations to expand in a …

This paper reviews most frequently used computational modelling approaches and formal
verification techniques in computational biology. The paper also compares a number of …

Blood malignancies arise from the dysregulation of haematopoiesis. The type of blood cell
and the specific order of oncogenic events initiating abnormal growth ultimately determine …