Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Olivier Michel

est l'auteur d'une thèse
a dirigé 1 thèse
a été président de jury pour 1 thèse

Analyse musicale BSP Complexes semi-simpliciaux Complexes simpliciaux Informatique musicale Langage MGS Langages de programmation Parallélisme Parallélisme Preuves de programmes Programmation de haut niveau Programmation fonctionnelle Programmation fonctionnelle Programmation spatiale Systèmes informatiques -- Mesures de sûreté Sémantique Sûreté des langages Tonnetz Typage

Fullscreen

Analyse musicale BSP Complexes semi-simpliciaux Complexes simpliciaux Informatique musicale Langage MGS Langages de programmation Parallélisme Parallélisme Preuves de programmes Programmation de haut niveau Programmation fonctionnelle Programmation fonctionnelle Programmation spatiale Systèmes informatiques -- Mesures de sûreté Sémantique Sûreté des langages Tonnetz Typage

Olivier Michel a rédigé la thèse suivante :

Representations dynamiques de l'espace dans un langage declaratif de simulation

par Olivier Michel sous la direction de Jean-Paul Sansonnet - Paris 11

Sciences appliquées

Soutenue en 1996

Thèse soutenue

Olivier Michel a dirigé la thèse suivante :

Représentations symboliques musicales et calcul spatial

par Louis Bigo sous la direction de Olivier Michel - Paris Est

Informatique

Soutenue le 13-12-2013

Thèse soutenue

Accéder en ligne

Olivier Michel a été président de jury de la thèse suivante :

Développement systématique et sûreté d’exécution en programmation parallèle structurée

par Louis Gesbert sous la direction de Frédéric Loulergue - Paris Est

Sciences informatiques

Soutenue le 05-03-2009

Thèse soutenue

Accéder en ligne