1. Discrete abstractions of hybrid systems;Alur;Proceedings of the IEEE,2000
2. Validation of qualitative models of genetic regulatory networks by model checking;Batt;Bioinformatics,2005
3. Batt, G., Ropers, D., de Jong, H., Geiselmann, J., Page, M., & Schneider, D. (2005). Qualitative analysis and verification of hybrid models of genetic regulatory networks. In M. Morari, & L. Thiele (Eds.), Proceedings of HSCC 2005. Lecture notes in computer science (Vol. 3414, pp. 134–150). Berlin: Springer.
4. Batt, G., Ropers, D., de Jong, H., Page, M., & Geiselmann, J. (2007). Symbolic reachability analysis of genetic regulatory networks using qualitative abstractions. Technical Report RR-6136, INRIA, 〈http://hal.inria.fr〉.
5. Computational techniques for analysis of genetic network dynamics;Belta;International Journal of Robotics Research,2005