Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Olivier Roux
Olivier Roux
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Literature
Edit
Merge
See Links
Thesis:
La "fonction d'écrivain" dans l'oeuvre de Charles Sorel
La Mémoire dans les algorithmes à colonie de fourmis : applications à l'optimisation et à la programmation automatique
Directed Thesis:
Reachability Analysis and Revision of Dynamics of Biological Regulatory Networks
Étude de la dynamique des réseaux biologiques : apprentissage des modèles, intégration des données temporelles et analyse formelle des propriétés dynamiques
Modélisation hybride, analyse et vérification quantitative des grands réseaux de régulation biologique
Verification et execution d'applications temps-reel industrielles avec electre
Etude sur l'application de methodes formelles a la compilation et a la validation de programmes electre