Publications

Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman (2012). Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri. In JFPC 2012 - Huitièmes Journées Francophones de Programmation par Contraintes.

Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman (2011). Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theoretical Computer Science, 412 (26):2827 - 2839.

Elisabetta De Maria, François Fages, Aurélien Rizk, Sylvain Soliman (2011). Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints. Theoretical Computer Science, 412 (21):2108–2127.

Faten Nabli, Sylvain Soliman (2010). Steady-state Solution of Biochemical Systems, Beyond S-systems via T-invariants. In Proceedings of the 8th International Conference on Computational Methods in Systems Biology, CMSB ‘10, pages 14–22, ACM.

Sylvain Soliman, Monika Heiner (2010). A Unique Transformation from Ordinary Differential Equations to Reaction Networks. PLoS ONE, 5 (12):e14284.

Dragana Jovanovska, Francois Fages, Sylvain Soliman (2010). SBGN support in BIOCHAM. Nature Precedings.

Steven Gay, Sylvain Soliman, François Fages (2010). A graphical method for reducing and relating models in systems biology. Bioinformatics, 26 (18):i575–i581.

Sylvain Soliman Et Al (2010). Modelling molecular networks: relationships between different formalisms and levels of details. Research Report.

Elisabetta De Maria, Francois Fages, Sylvain Soliman (2009). On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. In Degano, Pierpaoloand Gorrieri, Roberto, editor, Computational Methods in Systems Biology, pages 142–157, Springer Berlin Heidelberg.

Elisabetta De Maria, Francois Fages, Sylvain Soliman (2009). Model-based Predictions of the Influence of Circadian Clock Genes Knock-Outs on the Cell Cycle. Research Report.