Sylvain Soliman

Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman: Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri. CoRR abs/1304.2948 (2013)

Sylvain Soliman: Invariants and Other Structural Properties of Biochemical Models as a Constraint Satisfaction Problem. Algorithms for Molecular Biology 7: 15 (2012)

François Fages, Sylvain Soliman: Guest Editors' Introduction to the Special Section on Computational Methods in Systems Biology. IEEE/ACM Trans. Comput. Biology Bioinform. 9(5): 1314-1315 (2012)

François Fages, Steven Gay, Sylvain Soliman: Inferring Reaction Models from ODEs. CMSB 2012: 370-373

Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman: A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. CP 2012: 798-814

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)

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)

Steven Gay, Sylvain Soliman, François Fages: A graphical method for reducing and relating models in systems biology. Bioinformatics 26(18) (2010)

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)

Faten Nabli, Sylvain Soliman: Steady-state solution of biochemical systems, beyond S-systems via T-invariants. CMSB 2010: 14-22

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)

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

François Fages, Sylvain Soliman: Abstract interpretation and types for systems biology. Theor. Comput. Sci. 403(1): 52-70 (2008)

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

François Fages, Sylvain Soliman: From Reaction Models to Influence Graphs and Back: A Theorem. FMSB 2008: 90-102

François Fages, Sylvain Soliman: Model Revision from Temporal Logic Properties in Computational Systems Biology. Probabilistic Inductive Logic Programming 2008: 287-304

François Fages, Sylvain Soliman: Formal Cell Biology in Biocham. SFM 2008: 54-80

François Fages, Francesca Rossi, Sylvain Soliman (Eds.): 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. Lecture Notes in Computer Science 5129, Springer 2008, isbn 978-3-540-89811-5

Jean Clairambault, François Fages, Sylvain Soliman: Patient-Tailored Cancer Therapeutics - The Tempo Project. ERCIM News 2007(69) (2007)

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)

Rémy Haemmerlé, François Fages, Sylvain Soliman: Closures and Modules Within Linear Logic Concurrent Constraint Programming. FSTTCS 2007: 544-556

Laurence Calzone, François Fages, Sylvain Soliman: BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14): 1805-1807 (2006)

Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman: Machine Learning Biochemical Networks from Temporal Logic Properties. : 68-94 (2006)

François Fages, Sylvain Soliman: Type Inference in Systems Biology. CMSB 2006: 48-62

François Fages, Sylvain Soliman (Eds.): Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings. Lecture Notes in Computer Science 3703, Springer 2005, isbn 3-540-28793-0

François Fages, Sylvain Soliman, Rémi Coolen: CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. Constraints 9(4): 241-262 (2004)

Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman: The Biochemical Abstract Machine BIOCHAM. CMSB 2004: 172-191

Sylvain Soliman, François Fages: CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems. CMSB 2004: 231-235

Sylvain Soliman: Pi-calcul et LCC, une odyssée de l'espace. JFPLC 2004

François Fages, Paul Ruet, Sylvain Soliman: Linear Concurrent Constraint Programming: Operational and Phase Semantics. Inf. Comput. 165(1): 14-41 (2001)

François Fages, Paul Ruet, Sylvain Soliman: Phase Semantics and Verification of Concurrent Constraint Programs. LICS 1998: 141-152