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.

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.

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.

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.

Francois Fages, Sylvain Soliman (2008). Model Revision from Temporal Logic Properties in Computational Systems Biology.

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.

François Fages, Sylvain Soliman (2008). Abstract interpretation and types for systems biology. Theoretical Computer Science, 403 (1):52–70.

Domitille Heitzler Et Al (2008). Modelling of FSHR-induced signalling network. In International Conference for Gonadotropins & their Receptors, pages n.p..

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.

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.