Michel Page

According to our database1, Michel Page authored at least 21 papers between 1990 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
WellInverter: a web application for the analysis of fluorescent reporter gene data.
BMC Bioinform., 2019

2015
Robust reconstruction of gene expression profiles from reporter gene data using linear inversion.
Bioinform., 2015

2013
SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools.
BMC Syst. Biol., 2013

2010
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking.
Bioinform., 2010

2009
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.
BMC Bioinform., 2009

2008
Search for Steady States of Piecewise-Linear Differential Equation Models of Genetic Regulatory Networks.
IEEE ACM Trans. Comput. Biol. Bioinform., 2008

Symbolic reachability analysis of genetic regulatory networks using discrete abstractions.
Autom., 2008

2007
Analyse qualitative de la dynamique de réseaux de régulation génique par des modèles linéaires par morceaux.
Tech. Sci. Informatiques, 2007

2005
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in <i>Escherichia coli</i>.
Proceedings of the Proceedings Thirteenth International Conference on Intelligent Systems for Molecular Biology 2005, 2005

Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

2003
Genetic Network Analyzer: qualitative simulation of genetic regulatory networks.
Bioinform., 2003

Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach.
Proceedings of the Hybrid Systems: Computation and Control, 2003

2002
Modeling Comparative Mapping using Objects and Associations.
Comput. Chem., 2002

Dealing with Discontinuities in the Qualitative Simulation of Genetic Regulatory Networks.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002

2001
Qualitative Simulation of Genetic Regulatory Networks: Method and Application.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

A New Approach in Object-Based Knowledge Representation: The AROM System.
Proceedings of the Engineering of Intelligent Systems, 2001

2000
Représentation de connaissances au moyen de classes et d'associations : le système AROM.
Proceedings of the Actes des journées Langages et Modèles à Objets, 2000

Qualitative Simulation of Large and Complex Genetic Regulation Systems.
Proceedings of the ECAI 2000, 2000

1999
An algorithm for goal-driven simulation.
Proceedings of the 31st conference on Winter simulation: Simulation, 1999

1990
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).
PhD thesis, 1990


  Loading...