Michel Page
According to our database1,
Michel Page
authored at least 21 papers
between 1990 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
0
1
2
3
4
1
1
1
1
1
2
1
1
1
3
1
1
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
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
Bioinform., 2003
Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach.
Proceedings of the Hybrid Systems: Computation and Control, 2003
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
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
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