Publications

Sylvain Soliman (2016). A structural perspective on the dynamics of biochemical systems. Accreditation to supervise research, Université Paris Sud - Orsay.

Pauline Traynard, Céline Feillet, Sylvain Soliman, Franck Delaunay, François Fages (2016). Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosis. BioSystems, 149:59–69.

François Fages, Thierry Martinez, David Rosenblueth, Sylvain Soliman (2016). Influence Systems vs Reaction Systems. In Ezio Bartocci, Pietro Lio, Nicola Paoletti, editor, CMSB'16: Proceedings of the fourteenth international conference on Computational Methods in Systems Biology, volume 9859 of Lecture Notes in Computer Science, pages 98-115, Springer-Verlag.

Faten Nabli, Thierry Martinez, François Fages, Sylvain Soliman (2016). On Enumerating Minimal Siphons in Petri nets using CLP and SAT solvers: Theoretical and Practical Complexity. Constraints, 21 (2):251–276.

Pauline Traynard, François Fages, Sylvain Soliman (2015). Model-based Investigation of the Effect of the Cell Cycle on the Circadian Clock through Transcription Inhibition during Mitosis. In Olivier Roux, Jérémie Bourdon, editor, CMSB'15 - Proceedings of the thirteenth international conference on Computational Methods in Systems Biology, volume 9308 of Lecture Notes in BioInformatics, pages 208–221, Springer-Verlag.

François Fages, Steven Gay, Sylvain Soliman (2015). Inferring reaction systems from ordinary differential equations. Theoretical Computer Science, 599:64–78.

Thierry Martinez, François Fages, Sylvain Soliman (2015). Search by Constraint Propagation. In ACM, editor, PPDP ‘15- 17th International Symposium on Principles and Practice of Declarative Programming, pages 173–183.

Hui-Ju Chiang, François Fages, Jie-Hong Jiang, Sylvain Soliman (2015). Hybrid Simulations of Heterogeneous Biochemical Models in SBML. ACM Transactions on Modeling and Computer Simulation, 25 (2):14:1-14:22.

Sylvain Soliman, François Fages, Ovidiu Radulescu (2014). A constraint solving approach to model reduction by tropical equilibration. Algorithms for Molecular Biology, 9 (1):24.

Pauline Traynard, François Fages, Sylvain Soliman (2014). Trace Simplifications preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock (Best Student Paper Prize). In CMSB'14: Proceedings of the twelth international conference on Computational Methods for Systems Biology, LNBI, pages 114–128, Springer Verlag.