About this collection

Recent Submissions

  • Bringing LTL Model Checking to Biologists 

    Ahmed, Z; Benque, D; Berezin, S; Dahl, ACE; Fisher, J; Hall, BA; Ishtiaq, S et al.
    The BioModelAnalyzer (BMA) is a web based tool for the development of discrete models of biological systems. Through a graphical user interface, it allows rapid development of complex models of gene and protein interaction ...
  • Mitochondrial metabolites: Undercover signalling molecules 

    Frezza, C (The Royal Society Publishing, 2017-04-06)
    Mitochondria are one of most characterized metabolic hubs of the cell. Here, crucial biochemical reactions occur and most of the cellular adenosine triphosphate (ATP) is produced. In addition, mitochondria act as signalling ...
  • Fumarate drives EMT in renal cancer 

    Sciacovelli, M; Frezza, C (Nature Publishing Group, 2017-01-01)
  • Epigenetic determinants of metastasis 

    Patel, SA; Vanharanta, S (Elsevier, 2016-07-15)
    Genetic analyses of cancer progression in patient samples and model systems have thus far failed to identify specific mutational drivers of metastasis. Yet, at least in experimental systems, metastatic cancer clones display ...

View more