Delphine Ropers

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, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings