Publications

Laurence Calzone, François Fages, Sylvain Soliman (2006). BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics, 22 (14):1805–1807.
HAL DOI
Nathalie Chabrier-Rivier, Francois Fages, Sylvain Soliman, Laurence Calzone (2005). Learning Transition Rules from Temporal Logic Properties. Research Report.
HAL PDF
Laurence Calzone, Nathalie Chabrier-Rivier, Francois Fages, Sylvain Soliman (2005). A Machine Learning approach to Biochemical Reaction Rules Discovery. In Francis J. Doyle III, editor, Proceedings of Foundations of Systems Biology and Engineering FOSBE'05, pages 375–379.
HAL PDF
Laurence Calzone, Nathalie Chabrier-Rivier, Francois Fages, Sylvain Soliman (2005). Apprentissage de règles de réactions biochimiques à partir de propriétés en logique temporelle. In Alain Guénoche et Christophe Geourjon Guy Perrière, editor, Actes de JOBIM'05, pages 183–192.
HAL PDF
Laurence Calzone, Nathalie Chabrier-Rivier, Francois Fages, Lucie Gentils, Sylvain Soliman (2005). Machine Learning Bio-molecular Interactions from Temporal Logic Properties. In Gordon Plotkin, editor, Third Workshop on Computational Methods in Systems Biology.
HAL PDF
Nathalie Chabrier-Rivier, Francois Fages, Sylvain Soliman (2004). The Biochemical Abstract Machine BIOCHAM. In Vincent Danos, Vincent Schächter, editor, CMSB'04: Proceedings of the second Workshop on Computational Methods in Systems Biology, pages 172–191, Springer-Verlag.
HAL PDF
Francois Fages, Sylvain Soliman, Nathalie Chabrier-Rivier (2004). Modelling and Querying Interaction Networks in the Biochemical Abstract Machine BIOCHAM. Journal of Biological Physics and Chemistry, 4 (2):64–73.
HAL
François Fages, Sylvain Soliman, Rémi Coolen (2004). CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. Constraints, 9 (4):241 - 262.
HAL DOI
Sylvain Soliman, Francois Fages (2004). La programmation par contraintes. Interstices.
HAL
Sylvain Soliman (2003). Pi-calculus and LCC, a Space Odyssey. Research Report.
HAL PDF
Sylvain Soliman (2001). Concurrent constraint programming and linear logic. Theses, Université Paris Diderot - Paris 7.
HAL PDF
François Fages, Paul Ruet, Sylvain Soliman (2001). Linear Concurrent Constraint Programming: Operational and Phase Semantics. Information and Computation, 165 (1):14–41.
HAL PDF DOI