Sylvain Soliman
- Computational systems biology and optimization (Lifeware)
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
Publications
|
|
On the Trap Space Semantics of Normal Logic ProgramsICLP 2025 - 41st International Conference on Logic Programming, Sep 2025, Rende, Italy. pp.294-319, ⟨10.4204/EPTCS.439.21⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
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 |
|
|
Graphical Conditions for Rate Independence in Chemical Reaction NetworksCMSB 2020 - 18th International Conference on Computational Methods in Systems Biology, Sep 2020, Konstanz / Online, Germany |
|
|
On the Complexity of Quadratization for Polynomial Differential EquationsCMSB 2020 - 18th International Conference on Computational Methods in Systems Biology, Sep 2020, Konstanz / Online, Germany |
|
|
On Inferring Reactions from Data Time Series by a Statistical Learning Greedy HeuristicsCMSB 2019 - 17th Computational Methods in Systems Biology, Sep 2019, Trieste, Italy |
|
|
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 |
|
|
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⟩ |
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 |
|
|
|
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 |
|
|
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⟩ |
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⟩ |
|
|
|
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⟩ |
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⟩ |
|
|
|
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 |
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⟩ |
|
|
|
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 |
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⟩ |
|
|
|
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 |
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⟩ |
|
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⟩ |
|
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 |
|
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 |
|
|
|
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⟩ |
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⟩ |
|
|
|
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⟩ |
Modelling of FSHR-induced signalling networkInternational Conference for Gonadotropins & their Receptors, Jul 2008, Hertfordshire, United Kingdom. n.p |
|
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⟩ |
|
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 |
|
Machine Learning Biochemical Networks from Temporal Logic PropertiesTransactions on Computational Systems Biology VI, 2006, Berlin, Heidelberg, Unknown Region. pp.68--94 |
|
|
|
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 |
|
|
Machine Learning Bio-molecular Interactions from Temporal Logic PropertiesThird Workshop on Computational Methods in Systems Biology, Apr 2005, Edinburgh, Scotland |
|
|
A Machine Learning approach to Biochemical Reaction Rules DiscoveryProceedings of Foundations of Systems Biology and Engineering {FOSBE'05}, 2005, Santa Barbara, pp.375--379 |
|
|
The Biochemical Abstract Machine {BIOCHAM}{CMSB'04}: Proceedings of the second Workshop on Computational Methods in Systems Biology, 2004, Paris, pp.172--191 |
|
|
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⟩ |
|
|
Concurrent constraint programming and linear logicLangage de programmation [cs.PL]. Université Paris Diderot - Paris 7, 2001. Français. ⟨NNT : ⟩ |
|
|
A structural perspective on the dynamics of biochemical systemsBioinformatics [q-bio.QM]. Université Paris Sud - Orsay, 2016 |