Следене
Michel Page
Michel Page
INRIA Grenoble, France
Потвърден имейл адрес: iae-grenoble.fr
Заглавие
Позовавания
Позовавания
Година
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
5502004
Genetic Network Analyzer: qualitative simulation of genetic regulatory networks
H De Jong, J Geiselmann, C Hernandez, M Page
Bioinformatics 19 (3), 336-344, 2003
3662003
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
2452005
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-15, 2013
1892013
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
1812006
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, 261-299, 2004
1682004
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
852003
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
842010
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 5 (2), 208-222, 2008
832008
Qualitative simulation of genetic regulatory networks: Method and application
H De Jong, M Page, C Hernandez, J Geiselmann
IJCAI, 67-73, 2001
812001
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
742008
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
642005
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
532001
Qualitative simulation of large and complex genetic regulatory systems
H de Jong, M Page
ECAI, 141-145, 2000
472000
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: Methods and Protocols, 439-462, 2012
432012
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
372005
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
372000
Knowledge-based simulation of settlement systems
M Page, C Parisel, D Pumain, L Sanders
Computers, environment and urban systems 25 (2), 167-193, 2001
322001
Robust reconstruction of gene expression profiles from reporter gene data using linear inversion
V Zulkower, M Page, D Ropers, J Geiselmann, H De Jong
Bioinformatics 31 (12), i71-i79, 2015
262015
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-12, 2009
252009
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20