Sylvain Soliman
Since 2002 I am a permanent researcher (CR) in the Lifeware (formerly Contraintes) group of Inria Saclay (formerly Paris-Rocquencourt).
76%
Libre accès
76
Documents
Affiliations actuelles
- 454733
Identifiants chercheurs
sylvain-soliman- ResearcherId : B-7445-2009
-
0000-0001-5525-7418
- IdRef : 089050983
- Google Scholar : https://scholar.google.fr/citations?user=8WmCFEkAAAAJ
- ResearcherId : http://www.researcherid.com/rid/B-7445-2009
Site web
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<a rel="me" href="https://pouet.chapril.org/@soliman">.</a>
Publications
- 12
- 4
- 3
- 3
- 3
- 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
- 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
- 54
- 9
- 9
- 7
- 6
- 5
- 4
- 4
- 4
- 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
- 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
- 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
- 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
- 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
- 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
- 1
- 1
- 1
- 1
- 1
|
|
Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set ProgrammingAAAI 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 Programming29th 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 encodingCMSB 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 NetworksCASC'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 ODEsCMSB 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 EquationsCMSB 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 NetworksCMSB 2020 - 18th International Conference on Computational Methods in Systems Biology, Sep 2020, Konstanz / Online, Germany
Communication dans un congrès
hal-02900758v1
|
|
|
A Statistical Unsupervised Learning Algorithm for Inferring Reaction Networks from Time Series DataICML 2019 - Workshop on Computational Biology, Jun 2019, Long Beach, CA, United States
Communication dans un congrès
hal-02163862v1
|
|
|
On Inferring Reactions from Data Time Series by a Statistical Learning Greedy HeuristicsCMSB 2019 - 17th Computational Methods in Systems Biology, Sep 2019, Trieste, Italy
Communication dans un congrès
hal-02173721v1
|
|
|
On Robustness Computation and Optimization in BIOCHAM-416th 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 MitosisDynamics Days 2017 - XXXVII Dynamics Days Europe International Conference, Jun 2017, Szeged, Hungary
Communication dans un congrès
hal-01651833v1
|
|
|
|
Probably Approximately Correct Learning of Regulatory Networks from Time-Series DataCMSB'17 - 15th International Conference on Computational Methods for Systems Biology, Sep 2017, Darmstadt, Germany. pp.74-90
Communication dans un congrès
hal-01519826v2
|
|
|
Influence Systems vs Reaction SystemsCMSB'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 MitosisCMSB'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
|
|
|
|
Search by Constraint PropagationPPDP '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)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
|
|
|
|
Solving Subgraph Epimorphism Problems using CLP and SATWCB - 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
|
On the Hybrid Composition and Simulation of Heterogeneous Biochemical ModelsCMSB - 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
hal-00913292v1
|
|
|
|
A Constraint Solving Approach to Tropical Equilibration and Model ReductionWCB - 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
|
|
|
Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de PetriJFPC 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 ODEsCMSB 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 NetsCP 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
|
|
Steady-state Solution of Biochemical Systems, Beyond S-systems via T-invariantsProceedings 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 CycleComputational Methods in Systems Biology, 2009, Berlin, Heidelberg, Unknown Region. pp.142--157
Communication dans un congrès
hal-01779515v1
|
|
Modelling Biochemical Reaction Networks with BIOCHAM Extracting Qualitative and Quantitative Information from the StructureProceedings 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 CycleCMSB 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
|
|
Formal Cell Biology in BiochamSFM 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 BiologyCMSB'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
inria-00419781v1
|
|
From reaction models to influence graphs and back: a theoremProceedings 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
inria-00419921v1
|
|
Modelling of FSHR-induced signalling networkInternational Conference for Gonadotropins & their Receptors, Jul 2008, Hertfordshire, United Kingdom. n.p
Communication dans un congrès
hal-02822871v1
|
|
Closures and Modules Within Linear Logic Concurrent Constraint ProgrammingFSTTCS 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 PropertiesTransactions on Computational Systems Biology VI, 2006, Berlin, Heidelberg, Unknown Region. pp.68--94
Communication dans un congrès
hal-01779529v1
|
|
|
|
Machine Learning Bio-molecular Interactions from Temporal Logic PropertiesThird Workshop on Computational Methods in Systems Biology, Apr 2005, Edinburgh, Scotland
Communication dans un congrès
inria-00000117v1
|
|
|
Apprentissage de règles de réactions biochimiques à partir de propriétés en logique temporelleActes de {JOBIM}'05, Jul 2005, Lyon, pp.183--192
Communication dans un congrès
inria-00000813v1
|
|
|
A Machine Learning approach to Biochemical Reaction Rules DiscoveryProceedings of Foundations of Systems Biology and Engineering {FOSBE'05}, 2005, Santa Barbara, pp.375--379
Communication dans un congrès
inria-00000812v1
|
|
|
The Biochemical Abstract Machine {BIOCHAM}{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
|
|
|
Model Revision from Temporal Logic Properties in Computational Systems BiologyLuc 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
|
|
|
Concurrent constraint programming and linear logicLangage de programmation [cs.PL]. Université Paris Diderot - Paris 7, 2001. Français. ⟨NNT : ⟩
Thèse
tel-01431238v1
|
|
|
A structural perspective on the dynamics of biochemical systemsBioinformatics [q-bio.QM]. Université Paris Sud - Orsay, 2016
HDR
tel-01403712v1
|