Sylvain Soliman
Since 2002 I am a permanent researcher (CR) in the Lifeware (formerly Contraintes) group of Inria Saclay (formerly Paris-Rocquencourt).
77%
Open access
78
Documents
Current affiliations
- 454733
Researcher identifiers
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
Web site
Presentation
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
- 3
- 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
- 56
- 9
- 9
- 7
- 6
- 5
- 4
- 4
- 4
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
On BIOCHAM Symbolic Computation Pipeline for Compiling Mathematical Functions into BiochemistryISSAC 2024 - 49th International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States
Conference papers
hal-04602764v1
|
|
Graphical conditions for the existence, unicity and number of regular modelsICLP 2024 - 40th International Conference on Logic Programming, Oct 2024, Dallas, United States
Conference papers
hal-04708861v1
|
|
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⟩
Conference papers
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⟩
Conference papers
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⟩
Conference papers
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
Conference papers
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
Conference papers
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
Conference papers
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
Conference papers
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
Conference papers
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
Conference papers
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⟩
Conference papers
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
Conference papers
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
Conference papers
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⟩
Conference papers
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⟩
Conference papers
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⟩
Conference papers
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⟩
Conference papers
hal-01098529v1
|
|
|
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
Conference papers
hal-00906419v1
|
|
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
Conference papers
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⟩
Conference papers
hal-00913292v1
|
|
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⟩
Conference papers
hal-02308495v1
|
|
|
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
Conference papers
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⟩
Conference papers
hal-02308508v1
|
|
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⟩
Conference papers
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
Conference papers
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
Conference papers
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⟩
Conference papers
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⟩
Conference papers
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⟩
Conference papers
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⟩
Conference papers
inria-00419921v1
|
|
Modelling of FSHR-induced signalling networkInternational Conference for Gonadotropins & their Receptors, Jul 2008, Hertfordshire, United Kingdom. n.p
Conference papers
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
Conference papers
hal-01779531v1
|
|
Machine Learning Biochemical Networks from Temporal Logic PropertiesTransactions on Computational Systems Biology VI, 2006, Berlin, Heidelberg, Unknown Region. pp.68--94
Conference papers
hal-01779529v1
|
|
|
Machine Learning Bio-molecular Interactions from Temporal Logic PropertiesThird Workshop on Computational Methods in Systems Biology, Apr 2005, Edinburgh, Scotland
Conference papers
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
Conference papers
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
Conference papers
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
Conference papers
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⟩
Book sections
hal-01431378v1
|
|
Concurrent constraint programming and linear logicLangage de programmation [cs.PL]. Université Paris Diderot - Paris 7, 2001. Français. ⟨NNT : ⟩
Theses
tel-01431238v1
|
|
A structural perspective on the dynamics of biochemical systemsBioinformatics [q-bio.QM]. Université Paris Sud - Orsay, 2016
Accreditation to supervise research
tel-01403712v1
|