Publications

Steven Gay, François Fages, Thierry Martinez, Sylvain Soliman, Christine Solnon (2014). On the subgraph Epimorphism Problem. Discrete Applied Mathematics, 162:214–228.

Sylvain Soliman (2013). A stronger necessary condition for the multistationarity of chemical reaction networks. Bulletin of Mathematical Biology, 75 (11):2289-2303.

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.

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.

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.

Sylvain Soliman (2012). Invariants and Other Structural Properties of Biochemical Models as a Constraint Satisfaction Problem. Algorithms for Molecular Biology, 7 (1):15.

Francois Fages, Sylvain Soliman (2012). Reifying Global Constraints. Research Report.

Francois Fages, Steven Gay, Sylvain Soliman (2012). Inferring Reaction Models from ODEs. In CMSB 2012: Computational Methods in Systems Biology, pages 370-373.

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.

Francois Fages, Steven Gay, Sylvain Soliman (2012). Automatic Curation of SBML Models based on their ODE Semantics. Research Report.