Sylvain Soliman
Since 2002 I am a permanent researcher (CR) in the Lifeware (formerly Contraintes) group of Inria Saclay (formerly Paris-Rocquencourt).
100%
Libre accès
2
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
- 2
- 2
|
A constraint solving approach to model reduction by tropical equilibrationAlgorithms for Molecular Biology, 2014, 9 (1), pp.24. ⟨10.1186/s13015-014-0024-2⟩
Article dans une revue
hal-01098530v1
|
|
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
|