
Sylvain Soliman
77%
Libre accès
78
Documents
Affiliation actuelle
- Computational systems biology and optimization (Lifeware)
Identifiants chercheurs
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.
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
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
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
5
5
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
6
5
3
2
1
1
1
1
Publications
|
Graphical conditions for the existence, unicity and number of regular modelsICLP 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-04708861
v1
|
|
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
Communication dans un congrès
hal-04602764
v1
|
|
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-04523118
v1
|
|
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-04209296
v1
|
|
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-03721508
v1
|
|
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-03220725
v3
|
|
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-03271828
v1
|
|
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-02900798
v2
|
|
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-02900758
v1
|
|
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-02173721
v1
|
|
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-02163862
v1
|
|
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-01814854
v1
|
|
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-01519826
v2
|
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-01651833
v1
|
|
|
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-01378470
v1
|
|
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-01140761
v1
|
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-01236264
v1
|
|
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-01098529
v1
|
|
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
istex
hal-00913292
v1
|
|
|
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-00908973
v1
|
|
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-00906419
v1
|
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-02308508
v1
|
|
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-02308495
v1
|
|
|
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-00810486
v1
|
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-01779507
v1
|
|
|
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-02308529
v1
|
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-00419776
v1
|
|
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-01779515
v1
|
|
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
istex
inria-00419781
v1
|
|
|
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-02308547
v1
|
Modelling of FSHR-induced signalling networkInternational Conference for Gonadotropins & their Receptors, Jul 2008, Hertfordshire, United Kingdom. n.p
Communication dans un congrès
hal-02822871
v1
|
|
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
istex
inria-00419921
v1
|
|
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-01779531
v1
|
|
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-01779529
v1
|
|
|
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-00000812
v1
|
|
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-00000813
v1
|
|
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-00000117
v1
|
|
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-00000814
v1
|
|
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-01431378
v1
|
|
Concurrent constraint programming and linear logicLangage de programmation [cs.PL]. Université Paris Diderot - Paris 7, 2001. Français. ⟨NNT : ⟩
Thèse
tel-01431238
v1
|
|
A structural perspective on the dynamics of biochemical systemsBioinformatics [q-bio.QM]. Université Paris Sud - Orsay, 2016
HDR
tel-01403712
v1
|
Chargement...
Chargement...