Radu Mateescu

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

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings