Sylvain Soliman

	2011
26		Elisabetta De Maria, François Fages, Aurélien Rizk, Sylvain Soliman: Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints. Theor. Comput. Sci. 412(21): 2108-2127 (2011)
25		Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman: Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theor. Comput. Sci. 412(26): 2827-2839 (2011)
	2010
24		Faten Nabli, Sylvain Soliman: Steady-state solution of biochemical systems, beyond S-systems via T-invariants. CMSB 2010: 14-22
23		Steven Gay, Sylvain Soliman, François Fages: A graphical method for reducing and relating models in systems biology. Bioinformatics 26(18): (2010)
22		François Fages, Grégory Batt, Elisabetta De Maria, Dragana Jovanovska, Aurélien Rizk, Sylvain Soliman: Computational Systems Biology in BIOCHAM. ERCIM News 2010(82): 36 (2010)
	2009
21		Elisabetta De Maria, François Fages, Sylvain Soliman: On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. CMSB 2009: 142-157
20		Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman: A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 25(12): (2009)
	2008
19		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
18		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
17		François Fages, Sylvain Soliman: From Reaction Models to Influence Graphs and Back: A Theorem. FMSB 2008: 90-102
16		François Fages, Sylvain Soliman: Model Revision from Temporal Logic Properties in Computational Systems Biology. Probabilistic Inductive Logic Programming 2008: 287-304
15		François Fages, Sylvain Soliman: Formal Cell Biology in Biocham. SFM 2008: 54-80
14		François Fages, Sylvain Soliman: Abstract interpretation and types for systems biology. Theor. Comput. Sci. 403(1): 52-70 (2008)
	2007
13		Rémy Haemmerlé, François Fages, Sylvain Soliman: Closures and Modules Within Linear Logic Concurrent Constraint Programming. FSTTCS 2007: 544-556
12		Jean Clairambault, François Fages, Sylvain Soliman: Patient-Tailored Cancer Therapeutics - The Tempo Project. ERCIM News 2007(69): (2007)
11		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		François Fages, Sylvain Soliman: Type Inference in Systems Biology. CMSB 2006: 48-62
9		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		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		Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman: The Biochemical Abstract Machine BIOCHAM. CMSB 2004: 172-191
5		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		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

Coauthor Index

1	Grégory Batt	[18] [20] [22] [25]
2	Laurence Calzone	[8] [9] [11]
3	Nathalie Chabrier-Rivier	[6] [8] [11]
4	Jean Clairambault	[12]
5	Rémi Coolen	[3]
6	François Fages	[1] [2] [3] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [25] [26]
7	L. Fosse	[11]
8	Steven Gay	[23]
9	Rémy Haemmerlé	[13]
10	Dragana Jovanovska	[22]
11	Elisabetta De Maria	[21] [22] [26]
12	Faten Nabli	[24]
13	Aurélien Rizk	[18] [20] [22] [25] [26]
14	Francesca Rossi	[19]
15	Paul Ruet	[1] [2]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page