Accéder directement au contenu

Sylvain Soliman

Since 2002 I am a permanent researcher (CR) in the Lifeware (formerly Contraintes) group of Inria Saclay (formerly Paris-Rocquencourt).
1
Documents
Affiliations actuelles
  • 454733
Identifiants chercheurs
  • IdHAL sylvain-soliman
  • ResearcherId : B-7445-2009
  • ORCID 0000-0001-5525-7418
  • IdRef : 089050983
  • Google Scholar : https://scholar.google.fr/citations?user=8WmCFEkAAAAJ
  • ResearcherId : http://www.researcherid.com/rid/B-7445-2009
Contact

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

"pascale-crepieux"

Modelling of FSHR-induced signalling network

Domitille Heitzler , Guillaume Durand , Laurence Dupuy , Christophe Gauthier , Vincent Piketty
International Conference for Gonadotropins & their Receptors, Jul 2008, Hertfordshire, United Kingdom. n.p
Communication dans un congrès hal-02822871v1