Knowledge Tree

researcher / Michel Diaz

Michel Diaz

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Fine Arts and decorative arts

Edit Merge See Links

Thesis:

Bibliographie d'Arthur Adamov (1926-1993) : œuvres d'Adamov, écrits sur Adamov, textes joués

Directed Thesis:

Modélisation et vérification de protocoles pour des communications sécurisées de groupes

Vérification formelle de systèmes : contribution à la réduction de l'explosion combinatoire

Conception et évaluation d'un protocole multimédia multicast pour l'Internet

Contribution à la modélisation des systèmes à temps contraint et application au multimédia

Spécifications et conceptions d'applications coopératives

Système multi-agents pour l'auto-organisation de communautés d'intérêts dynamiques et distribuées

Mise en Œuvre de la synchronisation dans les systemes distribues hypermedias

Conception et formalisation d'une application de visioconférence coopérative. Application et extension pour la téléformation

Contribution à la modélisation des systèmes multimédias et hypermédias

Conception de services et de protocoles pour la gestion de groupes coopératifs

Un système de types étiquetés polymorphes pour typer les calculs de processus à liaison noms-canaux dynamiques

Architecture de transport multimédia à connexions d'ordre partiel

Conception et verification d'un service d'appel de procedure a distance dans les reseaux heterogenes

Contribution a la description formelle de protocoles

Conception et realisation d'un observateur d'architectures multicouches dans les reseaux d'ordinateurs

Reseaux de donnees abstraites et application aux protocoles de signalisation