Michel Page
Michel Page
INRIA Grenoble, France
Dirección de correo verificada de iae-grenoble.fr
TítuloCitado porAño
Qualitative simulation of genetic regulatory networks using piecewise-linear models
H De Jong, JL Gouzé, C Hernandez, M Page, T Sari, J Geiselmann
Bulletin of mathematical biology 66 (2), 301-340, 2004
4782004
Genetic Network Analyzer: qualitative simulation of genetic regulatory networks
H De Jong, J Geiselmann, C Hernandez, M Page
Bioinformatics 19 (3), 336-344, 2003
3032003
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli
G Batt, D Ropers, H De Jong, J Geiselmann, R Mateescu, M Page, ...
Bioinformatics 21 (suppl_1), i19-i28, 2005
2202005
Qualitative simulation of the carbon starvation response in Escherichia coli
D Ropers, H De Jong, M Page, D Schneider, J Geiselmann
Biosystems 84 (2), 124-152, 2006
1602006
Qualitative simulation of the initiation of sporulation in Bacillus subtilis
H De Jong, J Geiselmann, G Batt, C Hernandez, M Page
Bulletin of mathematical biology 66 (2), 261-299, 2004
1452004
SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools
C Chaouiya, D Bérenguier, SM Keating, A Naldi, MP Van Iersel, ...
BMC systems biology 7 (1), 135, 2013
932013
Hybrid modeling and simulation of genetic regulatory networks: A qualitative approach
H De Jong, JL Gouzé, C Hernandez, M Page, T Sari, J Geiselmann
International Workshop on Hybrid Systems: Computation and Control, 267-282, 2003
792003
Search for steady states of piecewise-linear differential equation models of genetic regulatory networks
H De Jong, M Page
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) 5 …, 2008
722008
Qualitative simulation of genetic regulatory networks: Method and application
H De Jong, M Page, C Hernandez, J Geiselmann
IJCAI, 67-73, 2001
692001
Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
G Batt, H De Jong, M Page, J Geiselmann
Automatica 44 (4), 982-989, 2008
662008
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking
G Batt, M Page, I Cantone, G Goessler, P Monteiro, H De Jong
Bioinformatics 26 (18), i603-i610, 2010
622010
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli
G Batt, D Ropers, H De Jong, J Geiselmann, M Page, D Schneider
International Workshop on Hybrid Systems: Computation and Control, 134-150, 2005
592005
A new approach in object-based knowledge representation: The AROM system
M Page, J Gensel, C Capponi, C Bruley, P Genoud, D Ziébelin, D Bardou, ...
International Conference on Industrial, Engineering and Other Applications …, 2001
492001
Qualitative simulation of large and complex genetic regulatory systems
H De Jong, M Page
ECAI, 141-145, 2000
422000
Analysis and verification of qualitative models of genetic regulatory networks: A model-checking approach
G Batt, D Ropers, H De Jong, J Geiselmann, R Mateescu, M Page, ...
IJCAI, 370-375, 2005
352005
Représentation de connaissances au moyen de classes et d'associations: le système AROM.
M Page, J Gensel, C Capponi, C Bruley, P Genoud, D Ziébelin
LMO, 91-106, 2000
342000
Knowledge-based simulation of settlement systems
M Page, C Parisel, D Pumain, L Sanders
Computers, environment and urban systems 25 (2), 167-193, 2001
282001
Genetic network analyzer: a tool for the qualitative modeling and simulation of bacterial regulatory networks
G Batt, B Besson, PE Ciron, H De Jong, E Dumas, J Geiselmann, R Monte, ...
Bacterial Molecular Networks, 439-462, 2012
262012
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks
PT Monteiro, E Dumas, B Besson, R Mateescu, M Page, AT Freitas, ...
BMC bioinformatics 10 (1), 450, 2009
202009
Analysis of genetic regulatory networks: A model-checking approach
G Batt, H De Jong, J Geiselmann, M Page
Proc. 17th Int. Work. Qualitative Reasoning (QR-03), 31-38, 2003
122003
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20