Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Rachid Echahed a rédigé la thèse suivante :
Sur l'intégration des langages algébriques et logiques
par Rachid Echahed sous la direction de Didier Bert - Grenoble INPG
Informatique
Soutenue en 1990
Rachid Echahed a dirigé les 3 thèses suivantes :
Physique formelle de spin diagrammatique
par Richard East sous la direction de Rachid Echahed et de Dominic Horsman . - Université Grenoble Alpes
Mathématiques et informatique
Soutenue le 07-03-2022
Hoare-like verification of graph transformation
par Jon Haël Brenas sous la direction de Rachid Echahed - Université Grenoble Alpes (ComUE)
Mathématiques et informatique
Soutenue le 13-10-2016
Étude de la programmation logico-fonctionnelle concurrente
par Wendelin Bernhard Serwe sous la direction de Rachid Echahed - Grenoble INPG
Informatique
Soutenue en 2002
Rachid Echahed a été rapporteur de la thèse suivante :
Transformations de graphes pour la modélisation géométrique à base topologique
par Thomas Bellet sous la direction de Yves Bertrand , Pascale Le Gall et de Agnès Arnould . - Poitiers
Informatique et applications
Soutenue le 10-07-2012
