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
1
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
- 1
- 1
|
|
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-02900758v1
|