Claudine Chaouiya

The paper introduces a framework for reproducible analysis of qualitative biological networks using an interactive notebook environment.

The paper introduces GINsim 3.0, a software tool for modeling and analyzing cellular regulatory networks using logical formalism, with a focus on the p53-Mdm2 network.

The paper outlines the logical modelling framework and achievements of the Consortium for Logical Models and Tools, emphasizing model reusability and interoperability.

The paper uses symbolic model checking to analyze T-helper cell plasticity by examining attractor switches in a logical model of their differentiation network.