2008 |
15 | EE | Grégory Batt,
Hidde de Jong,
Michel Page,
Johannes Geiselmann:
Symbolic reachability analysis of genetic regulatory networks using discrete abstractions.
Automatica 44(4): 982-989 (2008) |
14 | EE | Hidde de Jong,
Michel Page:
Search for Steady States of Piecewise-Linear Differential Equation Models of Genetic Regulatory Networks.
IEEE/ACM Trans. Comput. Biology Bioinform. 5(2): 208-222 (2008) |
2007 |
13 | EE | Grégory Batt,
Hidde de Jong,
Johannes Geiselmann,
Jean-Luc Gouzé,
Michel Page,
Delphine Ropers,
Sari Tewfik,
Dominique 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 Informatiques 26(1-2): 11-45 (2007) |
2005 |
12 | EE | Grégory Batt,
Delphine Ropers,
Hidde de Jong,
Johannes Geiselmann,
Michel Page,
Dominique Schneider:
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in.
HSCC 2005: 134-150 |
11 | EE | Grégory Batt,
Delphine Ropers,
Hidde de Jong,
Johannes Geiselmann,
Radu Mateescu,
Michel Page,
Dominique Schneider:
Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach.
IJCAI 2005: 370-375 |
10 | EE | Grégory Batt,
Delphine Ropers,
Hidde de Jong,
Johannes Geiselmann,
Radu Mateescu,
Michel Page,
Dominique Schneider:
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli.
ISMB (Supplement of Bioinformatics) 2005: 19-28 |
2003 |
9 | EE | Hidde de Jong,
Jean-Luc Gouzé,
Céline Hernandez,
Michel Page,
Sari Tewfik,
Johannes Geiselmann:
Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach.
HSCC 2003: 267-282 |
8 | | Hidde de Jong,
Johannes Geiselmann,
Céline Hernandez,
Michel Page:
Genetic Network Analyzer: qualitative simulation of genetic regulatory networks.
Bioinformatics 19(3): 336-344 (2003) |
2002 |
7 | | Hidde de Jong,
Jean-Luc Gouzé,
Céline Hernandez,
Michel Page,
Sari Tewfik,
Johannes Geiselmann:
Dealing with Discontinuities in the Qualitative Simulation of Genetic Regulatory Networks.
ECAI 2002: 412-416 |
6 | EE | Gisèle Bronner,
Bruno Spataro,
Michel Page,
Christian Gautier,
François Rechenmann:
Modeling Comparative Mapping using Objects and Associations.
Computers & Chemistry 26(5): 413-420 (2002) |
2001 |
5 | EE | Michel Page,
Jérôme Gensel,
Cécile Capponi,
Christophe Bruley,
Philippe Genoud,
Danielle Ziébelin,
Daniel Bardou,
Véronique Dupierris:
A New Approach in Object-Based Knowledge Representation: The AROM System.
IEA/AIE 2001: 113-118 |
4 | | Hidde de Jong,
Michel Page,
Céline Hernandez,
Johannes Geiselmann:
Qualitative Simulation of Genetic Regulatory Networks: Method and Application.
IJCAI 2001: 67-73 |
2000 |
3 | | Hidde de Jong,
Michel Page:
Qualitative Simulation of Large and Complex Genetic Regulation Systems.
ECAI 2000: 141-145 |
2 | | Michel Page,
Jérôme Gensel,
Cécile Capponi,
Christophe Bruley,
Philippe Genoud,
Danielle Ziébelin:
Représentation de connaissances au moyen de classes et d'associations : le système AROM.
LMO 2000: 91-106 |
1999 |
1 | EE | Michel Page,
Jérôme Gensel,
Mahfoud Boudis:
An algorithm for goal-driven simulation.
Winter Simulation Conference 1999: 578-585 |