Sylvain Soliman Since 2002 I am a permanent researcher (CR) in the Lifeware (formerly Contraintes) group of Inria Saclay (formerly Paris-Rocquencourt).

Identifiants chercheurs

IdHAL :

sylvain-soliman

ORCID :

0000-0001-5525-7418

IdRef :

089050983

ResearcherID :

http://www.researcherid.com/rid/B-7445-2009

Présentation

My research interests focus around Computational Biology and Theoretical Computer Science. In this context I’m one of the main developers and maintainers of the BIOCHAM platform. This is where most of the techniques I develop, using Constraint Programming, Model-Checking, and other formal methods get implemented.

Publications

Article dans une revue (39)

On BIOCHAM Symbolic Computation Pipeline for Compiling Mathematical Functions into Biochemistry François Fages,Mathieu Hemery,Sylvain Soliman ACM Communications in Computer Algebra, 2025, 58 (2), pp.15-22. ⟨10.1145/3712023.3712024⟩ Article dans une revue hal-04602764v1
Drug-target identification in COVID-19 disease mechanisms using computational systems biology approaches Anna Niarakis,Marek Ostaszewski,Alexander Mazein,Inna Kuperstein,Martina Kutmonet al. Frontiers in Immunology, 2024, 14, ⟨10.3389/fimmu.2023.1282859⟩ Article dans une revue hal-04454379v1
MetaLo: metabolic analysis of Logical models extracted from molecular interaction maps Sahar Aghakhani,Anna Niarakis,Sylvain Soliman Journal of Integrative Bioinformatics, 2024, 21 (1), pp.20230048. ⟨10.1515/jib-2023-0048⟩ Article dans une revue hal-04439008v1
Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding Van-Giang Trinh,Belaid Benhamou,Sylvain Soliman Theoretical Computer Science, 2023, 971, pp.114073. ⟨10.1016/j.tcs.2023.114073⟩ Article dans une revue hal-04167028v1
A large-scale Boolean model of the rheumatoid arthritis fibroblast-like synoviocytes predicts drug synergies in the arthritic joint Vidisha Singh,Aurélien Naldi,Sylvain Soliman,Anna Niarakis npj Systems Biology and Applications, 2023, 9 (33), ⟨10.1038/s41540-023-00294-5⟩ Article dans une revue hal-04187223v1
Hybrid computational modeling highlights reverse warburg effect in breast cancer-associated fibroblasts Sahar Aghakhani,Sacha E Silva-Saffar,Sylvain Soliman,Anna Niarakis Computational and Structural Biotechnology Journal, 2023, 21, pp.4196-4206. ⟨10.1016/j.csbj.2023.08.015⟩ Article dans une revue hal-04192259v1
Metabolic Reprogramming in Rheumatoid Arthritis Synovial Fibroblasts: a Hybrid Modeling Approach Sahar Aghakhani,Sylvain Soliman,Anna Niarakis PLoS Computational Biology, 2022, 18 (12), pp.e1010408. ⟨10.1371/journal.pcbi.1010408⟩ Article dans une revue hal-03880870v2
Addressing barriers in comprehensiveness, accessibility, reusability, interoperability and reproducibility of computational models in systems biology Anna Niarakis,Dagmar Waltemath,James Glazier,Falk Schreiber,Sarah Keatinget al. Briefings in Bioinformatics, 2022, 23 (4), pp.1-11. ⟨10.1093/bib/bbac212⟩ Article dans une revue hal-03690604v1
Setting the basis of best practices and standards for curation and annotation of logical models in biology—highlights of the [BC]2 2019 CoLoMoTo/SysMod Workshop Anna Niarakis,Martin Kuiper,Marek Ostaszewski,Rahuman Malik Sheriff,Cristina Casals-Casaset al. Briefings in Bioinformatics, 2021, 22 (2), pp.1848--1859. ⟨10.1093/bib/bbaa046⟩ Article dans une revue hal-02549796v1
Model learning to identify systemic regulators of the peripheral circadian clock Julien Martinelli,Sandrine Dulong,Xiao-Mei Li,Michèle Teboul,Sylvain Solimanet al. Bioinformatics, 2021, 37 (Supplement_1), pp.9. ⟨10.1093/bioinformatics/btab297⟩ Article dans une revue hal-03183579v1
COVID19 Disease Map, a computational knowledge repository of virus-host interaction mechanisms Marek Ostaszewski,Anna Niarakis,Alexander Mazein,Inna Kuperstein,Robert Phairet al. Molecular Systems Biology, 2021, 17 (10), pp.e10387. ⟨10.15252/msb.202110387⟩ Article dans une revue hal-03385317v2
SBML Level 3: an extensible format for the exchange and reuse of biological models Sarah Keating,Frank Bergmann,Tomáš Helikar,Rahuman Malik‐sheriff,Ion Moraruet al. Molecular Systems Biology, 2020, 16 (8), pp.1-21. ⟨10.15252/msb.20199110⟩ Article dans une revue (article de synthèse) hal-02924909v1
Automated inference of Boolean models from molecular interaction maps using CaSQ Sara Sadat Aghamiri,Vidisha Singh,Aurélien Naldi,Tomáš Helikar,Sylvain Solimanet al. Bioinformatics, 2020, 36 (16), pp.4473-4482. ⟨10.1093/bioinformatics/btaa484⟩ Article dans une revue hal-02590714v1
Influence Networks compared with Reaction Networks: Semantics, Expressivity and Attractors François Fages,Thierry Martinez,David A Rosenblueth,Sylvain Soliman IEEE/ACM Transactions on Computational Biology and Bioinformatics, In press, PP (99), pp.1-14. ⟨10.1109/TCBB.2018.2805686⟩ Article dans une revue hal-01510216v3
Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels Adrien Baudier,François Fages,Sylvain Soliman Journal of Theoretical Biology, 2018, 459, pp.79--89. ⟨10.1016/j.jtbi.2018.09.024⟩ Article dans une revue hal-01879735v1
Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosis Pauline Traynard,Céline Feillet,Sylvain Soliman,Franck Delaunay,François Fages BioSystems, 2016, 149, pp.59--69. ⟨10.1016/j.biosystems.2016.07.003⟩ Article dans une revue hal-01378466v1
On Enumerating Minimal Siphons in Petri nets using CLP and SAT solvers: Theoretical and Practical Complexity Faten Nabli,Thierry Martinez,François Fages,Sylvain Soliman Constraints, 2016, 21 (2), pp.251--276. ⟨10.1007/s10601-015-9190-1⟩ Article dans une revue hal-01170962v1
Inferring reaction systems from ordinary differential equations François Fages,Steven Gay,Sylvain Soliman Theoretical Computer Science, 2015, 599, pp.64--78. ⟨10.1016/j.tcs.2014.07.032⟩ Article dans une revue hal-01103692v1
Hybrid Simulations of Heterogeneous Biochemical Models in SBML Hui-Ju Chiang,François Fages,Jie-Hong Jiang,Sylvain Soliman ACM Transactions on Modeling and Computer Simulation, 2015, 25 (2), pp.14:1-14:22. ⟨10.1145/2742545⟩ Article dans une revue hal-01170947v1
On the subgraph Epimorphism Problem Steven Gay,François Fages,Thierry Martinez,Sylvain Soliman,Christine Solnon Discrete Applied Mathematics, 2014, 162, pp.214--228. ⟨10.1016/j.dam.2013.08.008⟩ Article dans une revue hal-01098527v1
A constraint solving approach to model reduction by tropical equilibration Sylvain Soliman,François Fages,Ovidiu Radulescu Algorithms for Molecular Biology, 2014, 9 (1), pp.24. ⟨10.1186/s13015-014-0024-2⟩ Article dans une revue hal-01098530v1
A stronger necessary condition for the multistationarity of chemical reaction networks Sylvain Soliman Bulletin of Mathematical Biology, 2013, 75 (11), pp.2289-2303. ⟨10.1007/s11538-013-9893-7⟩ Article dans une revue hal-00772438v5
Invariants and Other Structural Properties of Biochemical Models as a Constraint Satisfaction Problem Sylvain Soliman Algorithms for Molecular Biology, 2012, 7 (1), pp.15. ⟨10.1186/1748-7188-7-15⟩ Article dans une revue hal-00784404v1
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 Elisabetta de Maria,François Fages,Aurélien Rizk,Sylvain Soliman Theoretical Computer Science, 2011, 412 (21), pp.2108--2127. ⟨10.1016/j.tcs.2010.10.036⟩ Article dans une revue hal-01285815v2
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures Aurélien Rizk,Grégory Batt,François Fages,Sylvain Soliman Theoretical Computer Science, 2011, 412 (26), pp.2827 - 2839. ⟨10.1016/j.tcs.2010.05.008⟩ Article dans une revue hal-01431314v1
A Unique Transformation from Ordinary Differential Equations to Reaction Networks Sylvain Soliman,Monika Heiner PLoS ONE, 2010, 5 (12), pp.e14284. ⟨10.1371/journal.pone.0014284⟩ Article dans une revue hal-01431261v1
Computational Systems Biology in BIOCHAM François Fages,Gregory Batt,Elisabetta de Maria,Dragana Jovanovska,Aurélien Rizket al. ERCIM News, 2010, 2010 (82), pp.36-37 Article dans une revue hal-05292498v1
SBGN support in BIOCHAM Dragana Jovanovska,Francois Fages,Sylvain Soliman Nature Precedings, 2010, ⟨10.1038/npre.2010.5189⟩ Article dans une revue hal-02308513v1
A graphical method for reducing and relating models in systems biology Steven Gay,Sylvain Soliman,François Fages Bioinformatics, 2010, 26 (18), pp.i575--i581. ⟨10.1093/bioinformatics/btq388⟩ Article dans une revue hal-01431335v1
A general computational method for robustness analysis with applications to synthetic gene networks Aurélien Rizk,Grégory Batt,Francois Fages,Sylvain Soliman Bioinformatics, 2009, 25 (12), pp.il69--il78. ⟨10.1093/bioinformatics/btp200⟩ Article dans une revue inria-00419708v1
Dynamics of the interlocked positive feedback loops explaining the robust epigenetic switching in Candida albicans Krishnamachari Sriram,Sylvain Soliman,Francois Fages Journal of Theoretical Biology, 2009, 258 (1), pp.71--88. ⟨10.1016/j.jtbi.2009.01.008⟩ Article dans une revue istex inria-00419777v1
Abstract interpretation and types for systems biology François Fages,Sylvain Soliman Theoretical Computer Science, 2008, 403 (1), pp.52--70. ⟨10.1016/j.tcs.2008.04.024⟩ Article dans une revue hal-01431355v1
Patient-Tailored Cancer Therapeutics - The Tempo Project Jean Clairambault,François Fages,Sylvain Soliman ERCIM News, 2007, Special Theme: The Digital Patient, 2007 (69), pp.24-25 Article dans une revue hal-05292433v1
Langages formels dans la machine abstraite biochimique BIOCHAM Laurence Calzone,Nathalie Chabrier-Rivier,François Fages,Loïc Fosse,Sylvain Soliman Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2007, 26 (1-2), pp.47--72. ⟨10.3166/tsi.26.47-72⟩ Article dans une revue hal-01431369v1
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge Laurence Calzone,François Fages,Sylvain Soliman Bioinformatics, 2006, 22 (14), pp.1805--1807. ⟨10.1093/bioinformatics/btl172⟩ Article dans une revue hal-01431364v1
La programmation par contraintes Sylvain Soliman,Francois Fages Interstices, 2004 Article dans une revue inria-00000571v1
Modelling and Querying Interaction Networks in the Biochemical Abstract Machine BIOCHAM Francois Fages,Sylvain Soliman,Nathalie Chabrier-Rivier Journal of Biological Physics and Chemistry, 2004, 4 (2), pp.64--73 Article dans une revue hal-01431345v1
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming François Fages,Sylvain Soliman,Rémi Coolen Constraints, 2004, 9 (4), pp.241 - 262. ⟨10.1023/B:CONS.0000049203.53383.c1⟩ Article dans une revue istex hal-01431350v1
Linear Concurrent Constraint Programming: Operational and Phase Semantics François Fages,Paul Ruet,Sylvain Soliman Information and Computation, 2001, 165 (1), pp.14--41. ⟨10.1006/inco.2000.3002⟩ Article dans une revue hal-01431358v1

Communication dans un congrès (38)

On the Trap Space Semantics of Normal Logic Programs Van-Giang Trinh,Sylvain Soliman,François Fages,Belaid Benhamou ICLP 2025 - 41st International Conference on Logic Programming, Sep 2025, Rende, Italy. pp.294-319, ⟨10.4204/EPTCS.439.21⟩ Communication dans un congrès hal-05299701v1
Graphical conditions for the existence, unicity and number of regular models Van-Giang Trinh,Belaid Benhamou,Sylvain Soliman,François Fages ICLP 2024 - 40th International Conference on Logic Programming, Oct 2024, Dallas, United States. pp.175-187, ⟨10.4204/EPTCS.416.16⟩ Communication dans un congrès hal-04708861v1
Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming Giang Trinh,Belaid Benhamou,Samuel Pastva,Sylvain Soliman AAAI 2024 - The 38th Annual Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada. pp.10714-10722, ⟨10.1609/aaai.v38i9.28943⟩ Communication dans un congrès hal-04523118v1
Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming Van-Giang Trinh,Belaid Benhamou,Sylvain Soliman 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), Aug 2023, Toronto, Canada. pp.35:1--35:19, ⟨10.4230/LIPIcs.CP.2023.35⟩ Communication dans un congrès hal-04209296v1
Minimal trap spaces of Logical models are maximal siphons of their Petri net encoding Van-Giang Trinh,Belaid Benhamou,Kunihiko Hiraishi,Sylvain Soliman CMSB 2022 - International Conference on Computational Methods in Systems Biology, Sep 2022, Bucarest, Romania. pp.158--176, ⟨10.1007/978-3-031-15034-0_8⟩ Communication dans un congrès hal-03721508v1
A Polynomialization Algorithm for Elementary Functions and ODEs, and their Compilation into Chemical Reaction Networks Mathieu Hemery,François Fages,Sylvain Soliman CASC'21 - Computer Algebra in Scientific Computing., Sep 2021, Sochi, Russia Communication dans un congrès hal-03271828v1
Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs Mathieu Hemery,François Fages,Sylvain Soliman CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France Communication dans un congrès hal-03220725v3
On the Complexity of Quadratization for Polynomial Differential Equations Mathieu Hemery,François Fages,Sylvain Soliman CMSB 2020 - 18th International Conference on Computational Methods in Systems Biology, Sep 2020, Konstanz / Online, Germany Communication dans un congrès hal-02900798v2
Graphical Conditions for Rate Independence in Chemical Reaction Networks Elisabeth Degrand,François Fages,Sylvain Soliman CMSB 2020 - 18th International Conference on Computational Methods in Systems Biology, Sep 2020, Konstanz / Online, Germany Communication dans un congrès hal-02900758v1
On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics Julien Martinelli,Jeremy Grignard,Sylvain Soliman,François Fages CMSB 2019 - 17th Computational Methods in Systems Biology, Sep 2019, Trieste, Italy Communication dans un congrès hal-02173721v1
A Statistical Unsupervised Learning Algorithm for Inferring Reaction Networks from Time Series Data Julien Martinelli,Jeremy Grignard,Sylvain Soliman,François Fages ICML 2019 - Workshop on Computational Biology, Jun 2019, Long Beach, CA, United States Communication dans un congrès hal-02163862v1
On Robustness Computation and Optimization in BIOCHAM-4 François Fages,Sylvain Soliman 16th Int. Conf. on Computational Methods in Systems Biology, Sep 2018, Brno, Czech Republic. ⟨10.1007/978-3-319-99429-1_18⟩ Communication dans un congrès hal-01814854v1
Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data Arthur Carcano,François Fages,Sylvain Soliman CMSB'17 - 15th International Conference on Computational Methods for Systems Biology, Sep 2017, Darmstadt, Germany. pp.74-90 Communication dans un congrès hal-01519826v2
Model-based Investigation of the Circadian Clock and Cell Cycle Coupling in Mouse Embryonic Fibroblasts: Prediction of RevErb-α Up-regulation During Mitosis Pauline Traynard,Celine Feillet,Sylvain Soliman,Franck Delaunay,François Fages Dynamics Days 2017 - XXXVII Dynamics Days Europe International Conference, Jun 2017, Szeged, Hungary Communication dans un congrès hal-01651833v1
Influence Systems vs Reaction Systems François Fages,Thierry Martinez,David Rosenblueth,Sylvain Soliman CMSB'16: Proceedings of the fourteenth international conference on Computational Methods in Systems Biology, Sep 2016, Cambridge, UK, United Kingdom. pp.98-115, ⟨10.1007/978-3-319-45177-0_7⟩ Communication dans un congrès hal-01378470v1
Search by Constraint Propagation Thierry Martinez,François Fages,Sylvain Soliman PPDP '15- 17th International Symposium on Principles and Practice of Declarative Programming, Jul 2015, Siena, Italy. pp.173--183, ⟨10.1145/2790449.2790527⟩ Communication dans un congrès hal-01140761v1
Model-based Investigation of the Effect of the Cell Cycle on the Circadian Clock through Transcription Inhibition during Mitosis Pauline Traynard,François Fages,Sylvain Soliman CMSB'15 - Proceedings of the thirteenth international conference on Computational Methods in Systems Biology, 2015, Nantes, France. pp.208--221, ⟨10.1007/978-3-319-23401-4_18⟩ Communication dans un congrès hal-01236264v1
Trace Simplifications preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock (Best Student Paper Prize) Pauline Traynard,François Fages,Sylvain Soliman CMSB'14: Proceedings of the twelth international conference on Computational Methods for Systems Biology, Nov 2014, Manchester, United Kingdom. pp.114--128, ⟨10.1007/978-3-319-12982-2⟩ Communication dans un congrès hal-01098529v1
A Constraint Solving Approach to Tropical Equilibration and Model Reduction Sylvain Soliman,François Fages,Ovidiu Radulescu WCB - ninth Workshop on Constraint Based Methods for Bioinformatics, colocated with CP 2013, Sep 2013, Uppsala, Sweden. pp.27--36 Communication dans un congrès hal-00906419v1
On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models Katherine Chiang,François Fages,Jie-Hong Jiang,Sylvain Soliman CMSB - 11th International Conference on Computational Methods for Systems Biology - 2013, Sep 2013, Klosterneuburg, Austria. pp.192--205, ⟨10.1007/978-3-642-40708-6_15⟩ Communication dans un congrès istex hal-00913292v1
Solving Subgraph Epimorphism Problems using CLP and SAT Steven Gay,François Fages,Francesco Santini,Sylvain Soliman WCB - ninth Workshop on Constraint Based Methods for Bioinformatics, colocated with CP 2013 (2013), Sep 2013, Uppsala, Sweden. pp.67--74 Communication dans un congrès hal-00908973v1
Inferring Reaction Models from ODEs Francois Fages,Steven Gay,Sylvain Soliman CMSB 2012: Computational Methods in Systems Biology, Oct 2012, London, United Kingdom. pp.370-373, ⟨10.1007/978-3-642-33636-2_23⟩ Communication dans un congrès hal-02308508v1
A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets Faten Nabli,Francois Fages,Thierry Martinez,Sylvain Soliman CP 2012: Principles and Practice of Constraint Programming, Oct 2012, Québec, Canada. pp.798-814, ⟨10.1007/978-3-642-33558-7_57⟩ Communication dans un congrès hal-02308495v1
Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri Faten Nabli,François Fages,Thierry Martinez,Sylvain Soliman JFPC 2012 - Huitièmes Journées Francophones de Programmation par Contraintes, AFPC, May 2012, Toulouse, France Communication dans un congrès hal-00810486v1
Steady-state Solution of Biochemical Systems, Beyond S-systems via T-invariants Faten Nabli,Sylvain Soliman Proceedings of the 8th International Conference on Computational Methods in Systems Biology, 2010, New York, NY, USA, Unknown Region. pp.14--22, ⟨10.1145/1839764.1839768⟩ Communication dans un congrès hal-01779507v1
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle Elisabetta de Maria,Francois Fages,Sylvain Soliman CMSB 2009: Computational Methods in Systems Biology, Aug 2009, Bologna, Italy. pp.142-157, ⟨10.1007/978-3-642-03845-7_10⟩ Communication dans un congrès hal-02308529v1
Modelling Biochemical Reaction Networks with BIOCHAM Extracting Qualitative and Quantitative Information from the Structure Sylvain Soliman Proceedings of the 6th Vienna Conference on Mathematical Modelling MATHMOD'09, Feb 2009, Vienna, Austria. pp.2304--2312 Communication dans un congrès inria-00419776v1
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle Elisabetta de Maria,Francois Fages,Sylvain Soliman Computational Methods in Systems Biology, 2009, Berlin, Heidelberg, Unknown Region. pp.142--157 Communication dans un congrès hal-01779515v1
Formal Cell Biology in Biocham Francois Fages,Sylvain Soliman SFM 2008: Formal Methods for Computational Systems Biology, Jun 2008, Bertinoro, Italy. pp.54-80, ⟨10.1007/978-3-540-68894-5_3⟩ Communication dans un congrès hal-02308547v1
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology Aurélien Rizk,Grégory Batt,Francois Fages,Sylvain Soliman CMSB'08: Proceedings of the fourth international conference on Computational Methods in Systems Biology, Monika Heiner and Adeline Uhrmacher, Oct 2008, Rostock, Germany. pp.251--268, ⟨10.1007/978-3-540-88562-7_19⟩ Communication dans un congrès istex inria-00419781v1
Modelling of FSHR-induced signalling network Domitille Heitzler,Guillaume Durand,Laurence Dupuy,Christophe Gauthier,Vincent Pikettyet al. International Conference for Gonadotropins & their Receptors, Jul 2008, Hertfordshire, United Kingdom. n.p Communication dans un congrès hal-02822871v1
From reaction models to influence graphs and back: a theorem Francois Fages,Sylvain Soliman Proceedings of Formal Methods in Systems Biology FMSB'08, Feb 2008, Cambridge, United Kingdom. ⟨10.1007/978-3-540-68413-8_7⟩ Communication dans un congrès istex inria-00419921v1
Closures and Modules Within Linear Logic Concurrent Constraint Programming Rémy Haemmerlé,François Fages,Sylvain Soliman FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007, Berlin, Heidelberg, Unknown Region. pp.544--556 Communication dans un congrès hal-01779531v1
Machine Learning Biochemical Networks from Temporal Logic Properties Laurence Calzone,Nathalie Chabrier-Rivier,François Fages,Sylvain Soliman Transactions on Computational Systems Biology VI, 2006, Berlin, Heidelberg, Unknown Region. pp.68--94 Communication dans un congrès hal-01779529v1
A Machine Learning approach to Biochemical Reaction Rules Discovery Laurence Calzone,Nathalie Chabrier-Rivier,Francois Fages,Sylvain Soliman Proceedings of Foundations of Systems Biology and Engineering {FOSBE'05}, 2005, Santa Barbara, pp.375--379 Communication dans un congrès inria-00000812v1
Apprentissage de règles de réactions biochimiques à partir de propriétés en logique temporelle Laurence Calzone,Nathalie Chabrier-Rivier,Francois Fages,Sylvain Soliman Actes de {JOBIM}'05, Jul 2005, Lyon, pp.183--192 Communication dans un congrès inria-00000813v1
Machine Learning Bio-molecular Interactions from Temporal Logic Properties Laurence Calzone,Nathalie Chabrier-Rivier,Francois Fages,Lucie Gentils,Sylvain Soliman Third Workshop on Computational Methods in Systems Biology, Apr 2005, Edinburgh, Scotland Communication dans un congrès inria-00000117v1
The Biochemical Abstract Machine {BIOCHAM} Nathalie Chabrier-Rivier,Francois Fages,Sylvain Soliman {CMSB'04}: Proceedings of the second Workshop on Computational Methods in Systems Biology, 2004, Paris, pp.172--191 Communication dans un congrès inria-00000814v1

Ouvrages (1)

Proceedings of CSCLP 2007: Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming Francois Fages,Francesca Rossi,Sylvain Soliman INRIA, 2007 Ouvrages inria-00160403v1

Chapitre d'ouvrage (1)

Model Revision from Temporal Logic Properties in Computational Systems Biology Francois Fages,Sylvain Soliman Luc de Raedt and Paolo Frasconi and Kristian Kersting and Stephen Muggleton. Probabilistic Inductive Logic Programming, pp.287--304, 2008, ⟨10.1007/978-3-540-78652-8_11⟩ Chapitre d'ouvrage hal-01431378v1

Thèse (1)

Concurrent constraint programming and linear logic Sylvain Soliman Langage de programmation [cs.PL]. Université Paris Diderot - Paris 7, 2001. Français. ⟨NNT : ⟩ Thèse tel-01431238v1

HDR (1)

A structural perspective on the dynamics of biochemical systems Sylvain Soliman Bioinformatics [q-bio.QM]. Université Paris Sud - Orsay, 2016 HDR tel-01403712v1