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
3
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
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 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
|
Addressing barriers in comprehensiveness, accessibility, reusability, interoperability and reproducibility of computational models in systems biologyBriefings in Bioinformatics, 2022, 23 (4), pp.1-11. ⟨10.1093/bib/bbac212⟩
Article dans une revue
hal-03690604v1
|
|
Setting the basis of best practices and standards for curation and annotation of logical models in biology—highlights of the [BC]2 2019 CoLoMoTo/SysMod WorkshopBriefings in Bioinformatics, 2021, 22 (2), pp.1848--1859. ⟨10.1093/bib/bbaa046⟩
Article dans une revue
hal-02549796v1
|
|
SBML Level 3: an extensible format for the exchange and reuse of biological modelsMolecular Systems Biology, 2020, 16 (8), pp.1-21. ⟨10.15252/msb.20199110⟩
Article dans une revue
hal-02924909v1
|