Sylvain Soliman
Since 2002 I am a permanent researcher (CR) in the Lifeware (formerly Contraintes) group of Inria Saclay (formerly Paris-Rocquencourt).
67%
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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
|
Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraintsTheoretical Computer Science, 2011, 412 (21), pp.2108--2127. ⟨10.1016/j.tcs.2010.10.036⟩
Article dans une revue
hal-01285815v2
|
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
Communication dans un congrès
hal-01779515v1
|
|
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⟩
Communication dans un congrès
hal-02308529v1
|