Travelled to:1 × USA
2 × Italy
Collaborated with:F.Fages T.Martinez P.Ruet
Talks about:constraint (2) program (1) concurr (1) biocham (1) semant (1) search (1) propag (1) formal (1) biolog (1) verif (1)
Person: Sylvain Soliman
DBLP: Soliman:Sylvain
Contributed to:
2015
2008
1998Wrote 3 papers:
- PPDP-2015-MartinezFS #constraints
- Search by constraint propagation (TM, FF, SS), pp. 173–183.
- SFM-2008-FagesS #biology
- Formal Cell Biology in Biocham (FF, SS), pp. 54–80.
- LICS-1998-FagesRS #concurrent #constraints #semantics #source code #verification
- Phase Semantics and Verification of Concurrent Constraint Programs (FF, PR, SS), pp. 141–152.