Johannes Geiselmann

Laboratoire Adaptation et Pathogénie des Microorganismes , Université Joseph Fourier , Grenoble , France,

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, Radu Mateescu, Michel Page, Dominique Schneider

Details PDF

IJCAI 2001

Qualitative Simulation of Genetic Regulatory Networks: Method and Application

with Hidde de Jong, Michel Page, Céline Hernandez

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings