Article-Journal

MetaLo: metabolic analysis of Logical models extracted from molecular interaction maps

Molecular interaction maps (MIMs) are static graphical representations depicting complex biochemical networks that can be formalized using one of the Systems Biology Graphical …

Sahar Aghakhani
Read more

Drug-target identification in COVID-19 disease mechanisms using computational systems biology approaches

Introduction The COVID-19 Disease Map project is a large-scale community effort uniting 277 scientists from 130 Institutions around the globe. We use high-quality, mechanistic …

Anna Niarakis Et Al
Read more

Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding

Boolean network modeling of gene regulation but also of post-transcriptomic systems has proven over the years that it can bring powerful analyses and corresponding insight to the …

Van-Giang Trinh
Read more

Hybrid computational modeling highlights reverse warburg effect in breast cancer-associated fibroblasts

Cancer-associated fibroblasts (CAFs) are amongst the key players of the tumor microenvironment (TME) and are involved in cancer initiation, progression, and resistance to therapy. …

Sahar Aghakhani
Read more

A large-scale Boolean model of the rheumatoid arthritis fibroblast-like synoviocytes predicts drug synergies in the arthritic joint

Abstract Rheumatoid arthritis (RA) is a complex autoimmune disease with an unknown aetiology. However, rheumatoid arthritis fibroblast-like synoviocytes (RA-FLS) play a …

Vidisha Singh
Read more

Metabolic Reprogramming in Rheumatoid Arthritis Synovial Fibroblasts: a Hybrid Modeling Approach

Rheumatoid Arthritis (RA) is an autoimmune disease characterized by a highly invasive pannus formation consisting mainly of Synovial Fibroblasts (RASFs). This pannus leads to …

Sahar Aghakhani
Read more

Addressing barriers in comprehensiveness, accessibility, reusability, interoperability and reproducibility of computational models in systems biology

Computational models are often employed in systems biology to study the dynamic behaviours of complex systems. With the rise in the number of computational models, finding ways to …

Anna Niarakis Et Al
Read more

Setting the basis of best practices and standards for curation and annotation of logical models in biology—highlights of the [BC]2 2019 CoLoMoTo/SysMod Workshop

The fast accumulation of biological data calls for their integration, analysis and exploitation through more systematic approaches. The generation of novel, relevant hypotheses …

Anna Niarakis Et Al
Read more

COVID19 Disease Map, a computational knowledge repository of virus-host interaction mechanisms

We need to effectively combine the knowledge from surging literature with complex datasets to propose mechanistic models of SARS-CoV-2 infection, improving data interpretation and …

Marek Ostaszewski Et Al
Read more

Model learning to identify systemic regulators of the peripheral circadian clock

Motivation: Personalized medicine aims at providing patient-tailored therapeutics based on multi-type data towards improved treatment outcomes. Chronotherapy that consists in …

Julien Martinelli Et Al
Read more

SBML Level 3: an extensible format for the exchange and reuse of biological models

Systems biology has experienced dramatic growth in the number, size, and complexity of computational models. To reproduce simulation results and reuse models, researchers must …

Sarah Keating Et Al
Read more

Automated inference of Boolean models from molecular interaction maps using CaSQ

Molecular interaction maps have emerged as a meaningful way of representing biological mechanisms in a comprehensive and systematic manner. However, their static nature provides …

Sara Sadat Aghamiri Et Al
Read more

Influence Networks compared with Reaction Networks: Semantics, Expressivity and Attractors

Biochemical reaction networks are one of the most widely used formalism in systems biology to describe the molecular mechanisms of high-level cell processes. However modellers …

François Fages
Read more

Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels

Thomas's necessary conditions for the existence of multiple steady states in gene networks have been proved by Soulé with high generality for dynamical systems defined by …

Adrien Baudier
Read more

Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosis

Experimental observations have put in evidence autonomous self-sustained circadian oscillators in most mammalian cells, and proved the existence of molecular links between the …

Pauline Traynard
Read more

Inferring reaction systems from ordinary differential equations

In Mathematical Biology, many dynamical models of biochemical reaction systems are presented with Ordinary Differential Equations (ODE). Once kinetic parameter values are fixed, …

François Fages
Read more

A constraint solving approach to model reduction by tropical equilibration

Model reduction is a central topic in systems biology and dynamical systems theory, for reducing the complexity of detailed models, finding important parameters, and developing …

Sylvain Soliman
Read more

On the subgraph Epimorphism Problem

In this paper we study the problem of deciding the existence of a subgraph epimorphism between two graphs. Our interest in this variant of graph matching problem stems from the …

Steven Gay
Read more