Sylvain Soliman

Since 2002 I am a permanent researcher (CR) in the Lifeware (formerly Contraintes) group of Inria Saclay (formerly Paris-Rocquencourt).
75 %
Libre accès
81
Documents
Affiliation actuelle
  • Computational systems biology and optimization (Lifeware)
Contact

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

12
4
4
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
59
9
9
7
6
5
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
5
5
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
6
5
3
2
1
1
1
1
1

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Drug-target identification in COVID-19 disease mechanisms using computational systems biology approaches

Anna Niarakis , Marek Ostaszewski , Alexander Mazein , Inna Kuperstein , Martina Kutmon et al.

Frontiers in Immunology, 2024, 14, ⟨10.3389/fimmu.2023.1282859⟩

Article dans une revue hal-04454379v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Addressing barriers in comprehensiveness, accessibility, reusability, interoperability and reproducibility of computational models in systems biology

Anna Niarakis , Dagmar Waltemath , James Glazier , Falk Schreiber , Sarah Keating et al.

Briefings in Bioinformatics, 2022, 23 (4), pp.1-11. ⟨10.1093/bib/bbac212⟩

Article dans une revue hal-03690604v1
Deposit thumbnail

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-Casas et al.

Briefings in Bioinformatics, 2021, 22 (2), pp.1848--1859. ⟨10.1093/bib/bbaa046⟩

Article dans une revue hal-02549796v1
Deposit thumbnail

Model learning to identify systemic regulators of the peripheral circadian clock

Julien Martinelli , Sandrine Dulong , Xiao-Mei Li , Michèle Teboul , Sylvain Soliman et al.

Bioinformatics, 2021, 37 (Supplement_1), pp.9. ⟨10.1093/bioinformatics/btab297⟩

Article dans une revue hal-03183579v1
Deposit thumbnail

COVID19 Disease Map, a computational knowledge repository of virus-host interaction mechanisms

Marek Ostaszewski , Anna Niarakis , Alexander Mazein , Inna Kuperstein , Robert Phair et al.

Molecular Systems Biology, 2021, 17 (10), pp.e10387. ⟨10.15252/msb.202110387⟩

Article dans une revue hal-03385317v2
Deposit thumbnail

SBML Level 3: an extensible format for the exchange and reuse of biological models

Sarah Keating , Frank Bergmann , Tomáš Helikar , Rahuman Malik‐sheriff , Ion Moraru et al.

Molecular Systems Biology, 2020, 16 (8), pp.1-21. ⟨10.15252/msb.20199110⟩

Article dans une revue (article de synthèse) hal-02924909v1
Deposit thumbnail

Automated inference of Boolean models from molecular interaction maps using CaSQ

Sara Sadat Aghamiri , Vidisha Singh , Aurélien Naldi , Tomáš Helikar , Sylvain Soliman et al.

Bioinformatics, 2020, 36 (16), pp.4473-4482. ⟨10.1093/bioinformatics/btaa484⟩

Article dans une revue hal-02590714v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

Computational Systems Biology in BIOCHAM

François Fages , Gregory Batt , Elisabetta de Maria , Dragana Jovanovska , Aurélien Rizk et al.

ERCIM News, 2010, 2010 (82), pp.36-37

Article dans une revue hal-05292498v1
Deposit thumbnail

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

SBGN support in BIOCHAM

Dragana Jovanovska , Francois Fages , Sylvain Soliman

Nature Precedings, 2010, ⟨10.1038/npre.2010.5189⟩

Article dans une revue hal-02308513v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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

La programmation par contraintes

Sylvain Soliman , Francois Fages

Interstices, 2004

Article dans une revue inria-00000571v1

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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

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

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

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

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

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

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

Modelling of FSHR-induced signalling network

Domitille Heitzler , Guillaume Durand , Laurence Dupuy , Christophe Gauthier , Vincent Piketty et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

A structural perspective on the dynamics of biochemical systems

Sylvain Soliman

Bioinformatics [q-bio.QM]. Université Paris Sud - Orsay, 2016

HDR tel-01403712v1