Publications

Krishnamachari Sriram, Sylvain Soliman, Francois Fages (2009). Dynamics of the interlocked positive feedback loops explaining the robust epigenetic switching in Candida albicans. Journal of Theoretical Biology, 258 (1):71–88.
HAL DOI
Elisabetta De Maria, Francois Fages, Sylvain Soliman (2009). On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. In CMSB 2009: Computational Methods in Systems Biology, pages 142-157.
HAL DOI
Aurélien Rizk, Grégory Batt, Francois Fages, Sylvain Soliman (2009). A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics, 25 (12):il69–il78.
HAL DOI
Sylvain Soliman (2009). Modelling Biochemical Reaction Networks with BIOCHAM Extracting Qualitative and Quantitative Information from the Structure. In Proceedings of the 6th Vienna Conference on Mathematical Modelling MATHMOD'09, pages 2304–2312, ARGESIM.
HAL
Francois Fages, Sylvain Soliman (2008). Model Revision from Temporal Logic Properties in Computational Systems Biology.
PDF HAL DOI
Aurélien Rizk, Grégory Batt, Francois Fages, Sylvain Soliman (2008). On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. In Springer-Verlag, editor, CMSB'08: Proceedings of the fourth international conference on Computational Methods in Systems Biology, volume 5307 of Lecture Notes in Computer Science, pages 251–268.
HAL DOI
François Fages, Sylvain Soliman (2008). Abstract interpretation and types for systems biology. Theoretical Computer Science, 403 (1):52–70.
PDF HAL DOI
Domitille Heitzler Et Al (2008). Modelling of FSHR-induced signalling network. In International Conference for Gonadotropins & their Receptors, pages n.p..
HAL
Francois Fages, Sylvain Soliman (2008). Formal Cell Biology in Biocham. In SFM 2008: Formal Methods for Computational Systems Biology, volume 5016 of Lecture Notes in Computer Science, pages 54-80, Springer Berlin Heidelberg.
HAL DOI
Francois Fages, Sylvain Soliman (2008). From reaction models to influence graphs and back: a theorem. In Springer-Verlag, editor, Proceedings of Formal Methods in Systems Biology FMSB'08, volume 5054 of LNCS.
HAL DOI
Francois Fages, Francesca Rossi, Sylvain Soliman (2007). Proceedings of CSCLP 2007: Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming.
PDF HAL
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.
PDF HAL DOI
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.
HAL
Remy Haemmerle, Francois Fages, Sylvain Soliman (2006). On Internalizing Modules as Agents in Concurrent Constraint Programming. Research Report.
PDF HAL
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.
HAL
Laurence Calzone, Sylvain Soliman (2006). Coupling the Cell cycle and the Circadian Cycle. Research Report.
PDF HAL
Laurence Calzone, François Fages, Sylvain Soliman (2006). BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics, 22 (14):1805–1807.
HAL DOI
Nathalie Chabrier-Rivier, Francois Fages, Sylvain Soliman, Laurence Calzone (2005). Learning Transition Rules from Temporal Logic Properties. Research Report.
PDF HAL
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.
PDF HAL
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.
PDF HAL