Search the dblp DataBase

Publications of Author

1. Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman
   The Biochemical Abstract Machine BIOCHAM. [Citation Graph (0, 0)][DBLP]
   CMSB, 2004, pp:172-191 [Conf]
   
2. François Fages, Sylvain Soliman
   Type Inference in Systems Biology. [Citation Graph (0, 0)][DBLP]
   CMSB, 2006, pp:48-62 [Conf]
   
3. Sylvain Soliman, François Fages
   CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems. [Citation Graph (0, 0)][DBLP]
   CMSB, 2004, pp:231-235 [Conf]
   
4. Sylvain Soliman
   Pi-calcul et LCC, une odyssée de l'espace. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2004, pp:- [Conf]
   
5. François Fages, Paul Ruet, Sylvain Soliman
   Phase Semantics and Verification of Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
   LICS, 1998, pp:141-152 [Conf]
   
6. Laurence Calzone, François Fages, Sylvain Soliman
   BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. [Citation Graph (0, 0)][DBLP]
   Bioinformatics, 2006, v:22, n:14, pp:1805-1807 [Journal]
   
7. François Fages, Sylvain Soliman, Rémi Coolen
   CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
   Constraints, 2004, v:9, n:4, pp:241-262 [Journal]
   
8. François Fages, Paul Ruet, Sylvain Soliman
   Linear Concurrent Constraint Programming: Operational and Phase Semantics. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2001, v:165, n:1, pp:14-41 [Journal]
   
9. Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman
   Machine Learning Biochemical Networks from Temporal Logic Properties. [Citation Graph (0, 0)][DBLP]
   , 2006, v:, n:, pp:68-94 [Journal]
   
10. 
    On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. [Citation Graph (, )][DBLP]
    
    
11. 
    On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. [Citation Graph (, )][DBLP]
    
    
12. 
    Closures and Modules Within Linear Logic Concurrent Constraint Programming. [Citation Graph (, )][DBLP]
    
    
13. 
    Model Revision from Temporal Logic Properties in Computational Systems Biology. [Citation Graph (, )][DBLP]
    
    
14. 
    Formal Cell Biology in Biocham. [Citation Graph (, )][DBLP]
    
    
15. 
    From Reaction Models to Influence Graphs and Back: A Theorem. [Citation Graph (, )][DBLP]
    
    
16. 
    A general computational method for robustness analysis with applications to synthetic gene networks. [Citation Graph (, )][DBLP]