Publications

(2007). Langages formels dans la machine abstraite biochimique BIOCHAM. Revue des Sciences et Technologies de l’Information - Série TSI : Technique et Science Informatiques, 26 (1-2):47–72.
(2007). Closures and Modules Within Linear Logic Concurrent Constraint Programming. In Arvind, V. and Prasad, Sanjiva, editor, FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, pages 544–556, Springer Berlin Heidelberg.
(2006). Machine Learning Biochemical Networks from Temporal Logic Properties. In Priami, Corradoand Plotkin, Gordon, editor, Transactions on Computational Systems Biology VI, pages 68–94, Springer Berlin Heidelberg.
(2005). A Machine Learning approach to Biochemical Reaction Rules Discovery. In Francis J. Doyle III, editor, Proceedings of Foundations of Systems Biology and Engineering FOSBE'05, pages 375–379.