Publications

Steven Gay, François Fages, Thierry Martinez, Sylvain Soliman, Christine Solnon (2014). On the subgraph Epimorphism Problem. Discrete Applied Mathematics, 162:214–228.
PDF HAL DOI
Sylvain Soliman (2013). A stronger necessary condition for the multistationarity of chemical reaction networks. Bulletin of Mathematical Biology, 75 (11):2289-2303.
PDF HAL DOI
Steven Gay, François Fages, Francesco Santini, Sylvain Soliman (2013). Solving Subgraph Epimorphism Problems using CLP and SAT. In WCB - ninth Workshop on Constraint Based Methods for Bioinformatics, colocated with CP 2013 (2013), pages 67–74.
PDF HAL
Katherine Chiang, François Fages, Jie-Hong Jiang, Sylvain Soliman (2013). On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models. In Gupta, Ashutosh, Henzinger, Thomas A., editor, CMSB - 11th International Conference on Computational Methods for Systems Biology - 2013, volume 8130 of Lecture Notes in Computer Science, pages 192–205, Springer.
HAL DOI
Sylvain Soliman, François Fages, Ovidiu Radulescu (2013). A Constraint Solving Approach to Tropical Equilibration and Model Reduction. In WCB - ninth Workshop on Constraint Based Methods for Bioinformatics, colocated with CP 2013, pages 27–36.
PDF HAL
Sylvain Soliman (2012). Invariants and Other Structural Properties of Biochemical Models as a Constraint Satisfaction Problem. Algorithms for Molecular Biology, 7 (1):15.
PDF HAL DOI
Francois Fages, Sylvain Soliman (2012). Reifying Global Constraints. Research Report.
PDF HAL
Francois Fages, Steven Gay, Sylvain Soliman (2012). Inferring Reaction Models from ODEs. In CMSB 2012: Computational Methods in Systems Biology, pages 370-373.
HAL DOI
Faten Nabli, Francois Fages, Thierry Martinez, Sylvain Soliman (2012). A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. In CP 2012: Principles and Practice of Constraint Programming, pages 798-814.
HAL DOI
Francois Fages, Steven Gay, Sylvain Soliman (2012). Automatic Curation of SBML Models based on their ODE Semantics. Research Report.
PDF HAL
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.
PDF HAL
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.
PDF HAL DOI
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.
PDF HAL DOI
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.
HAL DOI
Sylvain Soliman, Monika Heiner (2010). A Unique Transformation from Ordinary Differential Equations to Reaction Networks. PLoS ONE, 5 (12):e14284.
PDF HAL DOI
Dragana Jovanovska, Francois Fages, Sylvain Soliman (2010). SBGN support in BIOCHAM. Nature Precedings.
HAL DOI
Steven Gay, Sylvain Soliman, François Fages (2010). A graphical method for reducing and relating models in systems biology. Bioinformatics, 26 (18):i575–i581.
PDF HAL DOI
Sylvain Soliman Et Al (2010). Modelling molecular networks: relationships between different formalisms and levels of details. Research Report.
PDF HAL
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.
HAL
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.
PDF HAL