Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Ahmed Hadj Kacem
Ahmed Hadj Kacem
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Thesis:
Systèmes à base de connaissances coopératifs : modélisation des connaissances et étude du contrôle
Directed Thesis:
Preuves d'algorithmes distribués par composition et raffinement.
Vérification formelle des systèmes multi-agents auto-adaptatifs
Codage d’algorithmes distribués d’agents mobiles à l’aide de calculs locaux