The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sylvain Soliman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002