| 2008 |
|---|
| 12 | EE | François Fages,
Sylvain Soliman:
Model Revision from Temporal Logic Properties in Computational Systems Biology.
Probabilistic Inductive Logic Programming 2008: 287-304 |
| 2007 |
|---|
| 11 | EE | Rémy Haemmerlé,
François Fages,
Sylvain Soliman:
Closures and Modules Within Linear Logic Concurrent Constraint Programming.
FSTTCS 2007: 544-556 |
| 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 |
