Publications

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.

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.

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.

François Fages, Sylvain Soliman, Rémi Coolen (2004). CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. Constraints, 9 (4):241 - 262.

Sylvain Soliman, Francois Fages (2004). La programmation par contraintes. Interstices.

Sylvain Soliman (2003). Pi-calculus and LCC, a Space Odyssey. Research Report.

Sylvain Soliman (2001). Concurrent constraint programming and linear logic. Theses, Université Paris Diderot - Paris 7.

François Fages, Paul Ruet, Sylvain Soliman (2001). Linear Concurrent Constraint Programming: Operational and Phase Semantics. Information and Computation, 165 (1):14–41.