Publications

Francois Fages, Francesca Rossi, Sylvain Soliman (2007). Proceedings of CSCLP 2007: Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming.

Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Loïc Fosse, Sylvain Soliman (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.

Rémy Haemmerlé, François Fages, Sylvain Soliman (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.

Remy Haemmerle, Francois Fages, Sylvain Soliman (2006). On Internalizing Modules as Agents in Concurrent Constraint Programming. Research Report.

Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman (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.

Laurence Calzone, Sylvain Soliman (2006). Coupling the Cell cycle and the Circadian Cycle. Research Report.

Laurence Calzone, François Fages, Sylvain Soliman (2006). BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics, 22 (14):1805–1807.

Nathalie Chabrier-Rivier, Francois Fages, Sylvain Soliman, Laurence Calzone (2005). Learning Transition Rules from Temporal Logic Properties. Research Report.

Laurence Calzone, Nathalie Chabrier-Rivier, Francois Fages, Sylvain Soliman (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.

Laurence Calzone, Nathalie Chabrier-Rivier, Francois Fages, Sylvain Soliman (2005). Apprentissage de règles de réactions biochimiques à partir de propriétés en logique temporelle. In Alain Guénoche et Christophe Geourjon Guy Perrière, editor, Actes de JOBIM'05, pages 183–192.