Soliman, Sylvain.
Soliman, Sylvain, 19..-...., chercheur en informatique
Sylvain Soliman researcher
VIAF ID: 16744715 ( Personal )
Permalink: http://viaf.org/viaf/16744715
Preferred Forms
- 100 1 _ ‡a Soliman, Sylvain (sparse)
-
-
-
- 100 1 _ ‡a Soliman, Sylvain
-
- 100 1 _ ‡a Soliman, Sylvain,
- 100 1 _ ‡a Soliman, Sylvain, ‡d 19..-...., ‡c chercheur en informatique
-
- 100 0 _ ‡a Sylvain Soliman ‡c researcher
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Approches de programmation par contraintes pour l'analyse des propriétés structurelles des réseaux de Petri et application aux réseaux biochimiques | |
A Constraint programming approach to the analysis of Petri nets structural properties and application to biochemical networks. | |
CSCLP 2007 | |
Modélisation computationnelle de la reprogrammation métabolique des fibroblastes synoviaux de polyarthrite rhumatoïde et fibroblastes associés au cancer. | |
Modélisation hybride, analyse et vérification quantitative des grands réseaux de régulation biologique | |
PPSWR 2005 | |
Principles and practice of Semantic Web reasoning : third international workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 ; proceedings | |
Programmation Concurrente avec Contraintes et Logique Linéaire | |
Programmation spatio-temporelle : un langage synchrone par contraintes pour l'exploration combinatoire. | |
Recent advances in constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers | |
Spacetime programming : a synchronous language for constraint search |