Enseignant - chercheur

MICHEL PAGE

Maître de conférences

Fonctions

Systèmes d'Information et d'Organisation

Disciplines enseignées

informatique de gestion

Thèmes de recherche

Recherche :

  • Bio-informatique

Publications :

  • V. Zulkower, M. Page, D. Ropers, J. Geiselmann, H. de Jong: Robust reconstruction of gene expression profiles from reporter gene data using linear inversion. Bioinformatics 31 (12), i71-i79, 2016.
  • C. Chaouiya, D. Bérenguier, S.M. Keating, A. Naldi, M.P. van Iersel, N. Rodriguez, A. Dräger, F. Büchel, T. Cokelaer, B. Kowal, B. Wicks, E. Gonçalves, J. Dorier, M. Page, P.T. Monteiro, A. von Kamp, I. Xenarios, H. de Jong, M. Hucka, S. Klamt, D. Thieffry, N. Le Novère, J. Saez-Rodriguez, T. Helikar. SBML qualitative models : a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools, BMC Systems Biology, 7(1):135, 2014.
  • G. Batt, B. Besson, P.-E. Ciron, H. de Jong, E. Dumas, J. Geiselmann, R. Monte, P.T. Monteiro, M. Page, F. Rechenmann, D. Ropers, J. van Helden, A. Toussaint, D. Thieffry (eds) Genetic Network Analyzer : A tool for the qualitative modeling and simulation of bacterial regulatory networks, Bacterial Molecular Networks, Humana Press, Springer, New York, 439-462, 2012.
  • V. Baldazzi, P.T. Monteiro, M. Page, D. Ropers, J. Geiselmann, H. de Jong. Qualitative analysis of genetic regulatory networks in bacteria. In : W. Dubitzky, J. Southgate, H. Fuss (eds.), Understanding the Dynamics of Biological Systems : Lessons Learned from Integrative Systems Biology, Springer-Verlag, Berlin, 2011.
  • G. Batt, M. Page, I. Cantone, G. Goessler, P. Monteiro, H. de Jong. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinformatics, 26(18) :i603-i610, 2010.
  • P.T. Monteiro, E. Dumas, B. Besson, R. Mateescu, M. Page, A.T. Freitas, H. de Jong. A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks. BMC Bioinformatics, 10:450, 2009.
  • H. de Jong, M. Page. Search for steady states of piecewise-linear differential equation models of genetic regulatory networks, ACM/IEEE Transactions on Computational Biology and Bioinformatics, 5(2):508-522, 2008.
  • G. Batt, H. de Jong, M. Page, J. Geiselmann. Symbolic reachability analysis of genetic regulatory networks using qualitative abstractions, Automatica, 44(4):982-989, 2008.
  • G. Batt, H. de Jong, J. Geiselmann, J.-L. Gouzé, M. Page, D. Ropers, T. Sari, D. Schneider. Analyse qualitative de la dynamique de réseaux de régulation génique par des modèles linéaires par morceaux, Technique et Science Informatique, 26(1-2):11-45, 2007.
  • G. Batt, D. Ropers, H. de Jong, M. Page, J. Geiselmann. Symbolic reachability analysis of genetic regulatory networks using qualitative abstractions, Technical report INRIA, RR-6136, 2007.
  • D. Ropers, H. de Jong, M. Page, D. Schneider, J. Geiselmann. Qualitative simulation of the carbon starvation response in Escherichia coli. BioSystems, 2006, 84(2) : 124-152.
  • G. Batt, R. Casey, H. de Jong, J. Geiselmann, J.-L. Gouzé, M. Page, D. Ropers, T. Sari, D. Schneider. Qualitative analysis of the dynamics of genetic regulatory networks using piecewise-linear models. A. Maass, S. Martinez, E. Pécou (eds), Mathematical and Computational Methods in Biology, Hermann, Paris, 2006, 206-239.
  • G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page, D. Schneider. Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli. Bioinformatics, 21:i19-i28, 2005.
  • G. Batt, D. Ropers, H. de Jong, J. Geiselmann, M. Page, D. Schneider. Piecewise-linear models of genetic regulatory networks : Analysis of the carbon starvation response in Escherichia coli. Proceedings of the European Conference on Mathematical and Theoretical Biology (ECMTB) 2005, Modeling and Simulation in Science, Engineering and Technology, Birkhaüser Boston and Basel.
  • G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page and D. Schneider. Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli. Workshop on Dynamical Modeling and Analysis of Biological Regulatory Networks, May 2005, Marseille, France.
  • G. Batt, D. Ropers, H. de Jong, J. Geiselmann, M. Page, D. Schneider. Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli. Eighth International Workshop on Hybrid Systems : Computation and Control (HSCC 2005), in M. Morari and L. Thiele, eds, LNCS 3414, pp 134-150. Springer, 2005.
  • G. Batt, H. de Jong, J. Geiselmann, M. Page, D. Ropers, D. Schneider. Symbolic Reachability Analysis of Genetic Regulatory Networks using Qualitative Abstraction. rapport de recherche INRIA RR-5362, 2004.
  • H. de Jong, J.-L. Gouzé, C. Hernandez, M. Page, T. Sari, J. Geiselmann. Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bulletin of Mathematical Biology, 66(2):301-340, 2004.
  • H. de Jong, J. Geiselmann, G. Batt, C. Hernandez, M. Page. Qualitative simulation of the initiation of sporulation in Bacillus subtilis. Bulletin of Mathematical Biology, 66(2):261-300, 2004.
  • G. Batt, H. de Jong, J. Geiselmann, M. Page. Qualitative analysis of genetic regulatory networks: A model-checking approach. Working Notes of IJCAI Workshop on Model Checking and Artificial Intelligence, MoChArt-03, Acapulco, Mexico, 51-58, 2003.
  • H. de Jong, J. Geiselmann, C. Hernandez, M. Page. Genetic Network Analyzer: Qualitative simulation of genetic regulatory networks. Bioinformatics, 19(3): 336-344, 2003.
  • G. Batt, H. de Jong, J. Geiselmann, M. Page. Qualitative analysis of genetic regulatory networks: A model-checking approach. Working Notes of Seventeenth International Workshop on Qualitative Reasoning, QR 2003, Brasilia, Brazil, 31-38, 2003.
  • H. de Jong, J.-L. Gouzé, C. Hernandez, M. Page, T. Sari, J. Geiselmann. Hybrid modeling and simulation of genetic regulatory networks: A qualitative approach Hybrid Systems: Computation and Control, HSCC 2003, Lecture Notes in Computer Science 2623, Springer-Verlag, Berlin, 267-282, 2003.
  • H. de Jong, J.-L. Gouzé, C. Hernandez, M. Page, T. Sari, J. Geiselmann. Dealing with discontinuities in the qualitative simulation of genetic regulatory networks. Proceedings of 15th European Conference on Artifical Intelligence, ECAI 2002, pp. 412-416, IOS Press, Amsterdam, 2002.
  • M. Page, C. Parisel, D. Pumain, L. Sanders. Knowledge-based simulation of settlement systems. Computers and Environment and Urban Systems, 25(2):167-193, 2001.
  • H. de Jong, M. Page, C. Hernandez, J. Geiselmann. Qualitative simulation of genetic regulatory networks : Method and application. Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01, B. Nebel (ed.), Morgan Kaufmann, San Mateo, CA, 67-73, 2001.
  • H. de Jong, M. Page. Qualitative simulation of large and complex genetic regulatory systems. Proceedings of Fourteenth European Conference on Artificial Intelligence, ECAI 2000, W. Horn (ed.), IOS Press, Amsterdam, 141-145, 2000.
  • M. Page, J. Gensel, C. Capponi, C. Bruley, P. Genoud, D. Ziébelin. Représentation de connaissances au moyen de classes et d'associations : le système AROM. Actes Langages et Modèles à Objets, pp 91-106, Mont Saint-Hilaire (QC, CA), 25-28 janvier 2000.
  • H. de Jong, M. Page. Qualitative Simulation of Large and Complex Genetic Regulatory Systems. European Conference on Artificial Intelligence (ECAI 2000), W. Horn (éditeur), IOS Press, p. 141-145, Berlin, Germany, août 2000.
  • P. Genoud, V. Dupierris, M. Page, C. Bruley, D. Ziébelin, J. Gensel, D. Bardou. From AROM, a new Object Based Knowledge Representation System, to WebAROM, a Knowledge Bases Server. In: Workshop Application of Advanced Information Technologies to Medecine (AAITM), AIMSA 2000, Varna, Bulgarie, septembre 2000. ISBN 954-9958-05-1
  • C. Capponi, M. Page, E. Bravais, M. Roux-Rouquié. GENINTER, a Database Dedicated to the Compilation of Interactions Among Genes and Gene Products. Actes des Journées Ouvertes: Biologie, Informatique et Mathématiques (JOBIM), Montpellier, mai 2000.
  • M. Page, C. Parisel. Modélisation automatique dans les domaines faiblement formalisés.Actes Reconnaissance des Formes et Intelligence Artificielle (RFIA 2000), II, p. 391-398, Paris, France, février 2000.
  • H. de Jong, M. Page. Qualitative Simulation of Large and Complex Genetic Regulatory Systems. Working Notes 14th International Workshop on Qualitative Reasoning (QR 2000), J. Flores (éditeur), p. 32-39, Morélia, Mexico, juin 2000.
  • M. Page, J. Gensel, M. Boudis. AMIA: an environment for knowledge-based discrete-time simulation., AAAI Spring Symposium on "Hybrid systems and AI", Stanford University, 22-24 mars 2000.

Curriculum vitae

  • Doctorat d'Informatique INPG - 1991
  • Ingénieur ENSIMAG - 1986