The SCEAS System
| |||||||

## Search the dblp DataBase
Sylvain Soliman:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman
**The Biochemical Abstract Machine BIOCHAM.**[Citation Graph (0, 0)][DBLP] CMSB, 2004, pp:172-191 [Conf] - François Fages, Sylvain Soliman
**Type Inference in Systems Biology.**[Citation Graph (0, 0)][DBLP] CMSB, 2006, pp:48-62 [Conf] - 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] - Sylvain Soliman
**Pi-calcul et LCC, une odyssée de l'espace.**[Citation Graph (0, 0)][DBLP] JFPLC, 2004, pp:- [Conf] - 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] - 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] - 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] - 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] - 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] **On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle.**[Citation Graph (, )][DBLP]**On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology.**[Citation Graph (, )][DBLP]**Closures and Modules Within Linear Logic Concurrent Constraint Programming.**[Citation Graph (, )][DBLP]**Model Revision from Temporal Logic Properties in Computational Systems Biology.**[Citation Graph (, )][DBLP]**Formal Cell Biology in Biocham.**[Citation Graph (, )][DBLP]**From Reaction Models to Influence Graphs and Back: A Theorem.**[Citation Graph (, )][DBLP]**A general computational method for robustness analysis with applications to synthetic gene networks.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |