Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Louis Féraud

Louis Féraud

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Thesis:

Etude d'une représentation des objets partagés : définition, implantation, méthodes de preuve

Directed Thesis:

Investigation dans des systèmes abstraits avec entrées et sorties comme fonctions partielles de temps
Une approche catégorique unifiée pour la réécriture de graphes attribués
Une approche de la transformation de modèles fondée sur les grammaires attribuées
Modèle utilisateur et modélisation utilisateur dans les systèmes de gestion des connaissances : une approche fondée sur les ontologies
Analyse des références mémoires en C par interprétation abstraite
Un modèle orienté objet pour la programmation distribuée fondé sur des classes de configuration