Systèmes experts à base de connaissances profondes : application à un poste de travail intelligent pour le comptable. (Expert systems based on deep knowledge : application to an intelligent workstation for the accountant). - Michel Page (1990)

An algorithm for goal-driven simulation. - Michel Page; Jérôme Gensel; Mahfoud Boudis (WSC, 1999)

Qualitative Simulation of Large and Complex Genetic Regulation Systems. - Hidde de Jong; Michel Page (ECAI, 2000)

Représentation de connaissances au moyen de classes et d'associations : le système AROM. - Michel Page; Jérôme Gensel; Cécile Capponi; Christophe Bruley; Philippe Genoud; Danielle Ziébelin (LMO, 2000)

A New Approach in Object-Based Knowledge Representation: The AROM System. - Michel Page; Jérôme Gensel; Cécile Capponi; Christophe Bruley; Philippe Genoud; Danielle Ziébelin; Daniel Bardou; Véronique Dupierris (IEA/AIE, 2001)

Qualitative Simulation of Genetic Regulatory Networks: Method and Application. - Hidde de Jong; Michel Page; Céline Hernandez; Johannes Geiselmann (IJCAI, 2001)

Dealing with Discontinuities in the Qualitative Simulation of Genetic Regulatory Networks. - Hidde de Jong; Jean-Luc Gouzé; Céline Hernandez; Michel Page; Sari Tewfik; Johannes Geiselmann (ECAI, 2002)

Modeling Comparative Mapping using Objects and Associations. - Gisèle Bronner; Bruno Spataro; Michel Page; Christian Gautier; François Rechenmann (Comput. Chem., 2002)

Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach. - Hidde de Jong; Jean-Luc Gouzé; Céline Hernandez; Michel Page; Sari Tewfik; Johannes Geiselmann (HSCC, 2003)

Genetic Network Analyzer: qualitative simulation of genetic regulatory networks. - Hidde de Jong; Johannes Geiselmann; Céline Hernandez; Michel Page (Bioinform., 2003)

Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in. - Grégory Batt; Delphine Ropers; Hidde de Jong; Johannes Geiselmann; Michel Page; Dominique Schneider (HSCC, 2005)

Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach. - Grégory Batt; Delphine Ropers; Hidde de Jong; Johannes Geiselmann; Radu Mateescu 001; Michel Page; Dominique Schneider (IJCAI, 2005)

Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. - Grégory Batt; Delphine Ropers; Hidde de Jong; Johannes Geiselmann; Radu Mateescu 001; Michel Page; Dominique Schneider (ISMB (Supplement of Bioinformatics), 2005)

Analyse qualitative de la dynamique de réseaux de régulation génique par des modèles linéaires par morceaux. - Grégory Batt; Hidde de Jong; Johannes Geiselmann; Jean-Luc Gouzé; Michel Page; Delphine Ropers; Sari Tewfik; Dominique Schneider (Tech. Sci. Informatiques, 2007)

Symbolic reachability analysis of genetic regulatory networks using discrete abstractions. - Grégory Batt; Hidde de Jong; Michel Page; Johannes Geiselmann (Autom., 2008)

Search for Steady States of Piecewise-Linear Differential Equation Models of Genetic Regulatory Networks. - Hidde de Jong; Michel Page (IEEE ACM Trans. Comput. Biol. Bioinform., 2008)

A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks. - Pedro T. Monteiro 001; Estelle Dumas; Bruno Besson; Radu Mateescu 001; Michel Page; Ana T. Freitas; Hidde de Jong (BMC Bioinform., 2009)

Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. - Grégory Batt; Michel Page; Irene Cantone; Gregor Goessler; Pedro T. Monteiro 001; Hidde de Jong (Bioinform., 2010)

SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools. - Claudine Chaouiya; Duncan Bérenguier; Sarah M. Keating; Aurélien Naldi; Martijn P. van Iersel; Nicolas Rodriguez 001; Andreas Dräger; Finja Büchel; Thomas Cokelaer; Bryan M. Kowal; Benjamin Wicks; Emanuel J. V. Gonçalves; et al. (BMC Syst. Biol., 2013)

Robust reconstruction of gene expression profiles from reporter gene data using linear inversion. - Valentin Zulkower; Michel Page; Delphine Ropers; Johannes Geiselmann; Hidde de Jong (Bioinform., 2015)

WellInverter: a web application for the analysis of fluorescent reporter gene data. - Yannick Martin; Michel Page; Christophe Blanchet; Hidde de Jong (BMC Bioinform., 2019)