M
Michel Page
Researcher at French Institute for Research in Computer Science and Automation
Publications - 38
Citations - 2116
Michel Page is an academic researcher from French Institute for Research in Computer Science and Automation. The author has contributed to research in topics: Model checking & Modeling and simulation. The author has an hindex of 21, co-authored 38 publications receiving 2037 citations. Previous affiliations of Michel Page include Pierre Mendès-France University & University of Grenoble.
Papers
More filters
Journal ArticleDOI
Qualitative Simulation of Genetic Regulatory Networks Using Piecewise-Linear Models
Hidde de Jong,Jean-Luc Gouzé,Céline Hernandez,Michel Page,Michel Page,Tewfik Sari,Johannes Geiselmann +6 more
TL;DR: Given a qualitative model of a genetic regulatory network, consisting of a system of PL differential equations and inequality constraints on the parameter values, the method produces a graph of qualitative states and transitions between qualitative states, summarizing the qualitative dynamics of the system.
Journal ArticleDOI
Genetic Network Analyzer: qualitative simulation of genetic regulatory networks.
TL;DR: The tool is based on a qualitative simulation method that employs coarse-grained models of regulatory networks and illustrated by a case study of the network of genes and interactions regulating the initiation of sporulation in Bacillus subtilis.
Journal ArticleDOI
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli
Gregory Batt,Delphine Ropers,Hidde de Jong,Johannes Geiselmann,Radu Mateescu,Michel Page,Dominique Schneider +6 more
TL;DR: The model-validation approach has been applied to the analysis of the network controlling the nutritional stress response in Escherichia coli and is supported by a new version of the computer tool Genetic Network Analyzer (GNA).
Journal ArticleDOI
Qualitative simulation of the carbon starvation response in Escherichia coli
Delphine Ropers,Hidde de Jong,Michel Page,Michel Page,Dominique Schneider,Johannes Geiselmann +5 more
TL;DR: This work model the carbon starvation response network and simulate the response of E. coli cells to carbon deprivation to identify essential features of the transition between exponential and stationary phase and to make new predictions on the qualitative system behavior following a carbon upshift.
Journal ArticleDOI
SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools.
Claudine Chaouiya,Duncan Berenguier,Sarah M. Keating,Aurélien Naldi,Martijn P. van Iersel,Nicolas Rodriguez,Nicolas Rodriguez,Andreas Dräger,Andreas Dräger,Finja Büchel,Thomas Cokelaer,Bryan Kowal,Benjamin Wicks,Emanuel Gonçalves,Julien Dorier,Michel Page,Michel Page,Pedro T. Monteiro,Pedro T. Monteiro,Axel von Kamp,Ioannis Xenarios,Hidde de Jong,Michael Hucka,Steffen Klamt,Denis Thieffry,Nicolas Le Novère,Nicolas Le Novère,Julio Saez-Rodriguez,Tomáš Helikar +28 more
TL;DR: The Systems Biology Markup Language (SBML) Qualitative Models Package (qual) as discussed by the authors is an extension of the SBML Level 3 standard designed for computer representation of qualitative models of biological networks.