2008 |
18 | | François Fages,
Francesca Rossi,
Sylvain Soliman:
Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007, Revised Selected Papers
Springer 2008 |
17 | EE | Aurélien Rizk,
Grégory Batt,
François Fages,
Sylvain Soliman:
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology.
CMSB 2008: 251-268 |
16 | EE | François Fages,
Sylvain Soliman:
From Reaction Models to Influence Graphs and Back: A Theorem.
FMSB 2008: 90-102 |
15 | EE | François Fages,
Sylvain Soliman:
Model Revision from Temporal Logic Properties in Computational Systems Biology.
Probabilistic Inductive Logic Programming 2008: 287-304 |
14 | EE | François Fages,
Sylvain Soliman:
Formal Cell Biology in Biocham.
SFM 2008: 54-80 |
13 | EE | François Fages,
Sylvain Soliman:
Abstract interpretation and types for systems biology.
Theor. Comput. Sci. 403(1): 52-70 (2008) |
2007 |
12 | EE | Rémy Haemmerlé,
François Fages,
Sylvain Soliman:
Closures and Modules Within Linear Logic Concurrent Constraint Programming.
FSTTCS 2007: 544-556 |
11 | EE | Laurence Calzone,
Nathalie Chabrier-Rivier,
François Fages,
L. Fosse,
Sylvain Soliman:
Langages formels dans la machine abstraite biochimique BIOCHAM.
Technique et Science Informatiques 26(1-2): 47-72 (2007) |
2006 |
10 | EE | François Fages,
Sylvain Soliman:
Type Inference in Systems Biology.
CMSB 2006: 48-62 |
9 | EE | Laurence Calzone,
François Fages,
Sylvain Soliman:
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge.
Bioinformatics 22(14): 1805-1807 (2006) |
8 | EE | Laurence Calzone,
Nathalie Chabrier-Rivier,
François Fages,
Sylvain Soliman:
Machine Learning Biochemical Networks from Temporal Logic Properties.
T. Comp. Sys. Biology: 68-94 (2006) |
2005 |
7 | | François Fages,
Sylvain Soliman:
Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings
Springer 2005 |
2004 |
6 | EE | Nathalie Chabrier-Rivier,
François Fages,
Sylvain Soliman:
The Biochemical Abstract Machine BIOCHAM.
CMSB 2004: 172-191 |
5 | EE | Sylvain Soliman,
François Fages:
CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems.
CMSB 2004: 231-235 |
4 | | Sylvain Soliman:
Pi-calcul et LCC, une odyssée de l'espace.
JFPLC 2004 |
3 | EE | François Fages,
Sylvain Soliman,
Rémi Coolen:
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming.
Constraints 9(4): 241-262 (2004) |
2001 |
2 | | François Fages,
Paul Ruet,
Sylvain Soliman:
Linear Concurrent Constraint Programming: Operational and Phase Semantics.
Inf. Comput. 165(1): 14-41 (2001) |
1998 |
1 | | François Fages,
Paul Ruet,
Sylvain Soliman:
Phase Semantics and Verification of Concurrent Constraint Programs.
LICS 1998: 141-152 |