Michel Page

2 papers in the IJCAI proceedings

IJCAI 2005

Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach

with Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Dominique Schneider

Details PDF

IJCAI 2001

Qualitative Simulation of Genetic Regulatory Networks: Method and Application

with Hidde de Jong, Céline Hernandez, Johannes Geiselmann

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings