Dominique Schneider

1 paper 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, Michel Page

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings