Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
François Le Berre
François Le Berre a dirigé les 5 thèses suivantes :
Logiques temporelles pour la vérification : expressivité, complexité, algorithmes
par Nicolas Markey sous la direction de François Le Berre - Orléans
Informatique
Soutenue en 2003
Conception des circuits programmables par la réécriture conditionnelle et étude des aspects vectoriels des fonctions booléennes
par Zahir Maazouzi sous la direction de François Le Berre - Orléans
Informatique
Soutenue en 2001
Un modèle de coût symbolique pour les programmes parallèles asynchrones à dépendances structurées
par Xavier Rebeuf sous la direction de François Le Berre - Orléans
Informatique
Soutenue en 2000
Génération automatique d'interfaces pour langages fonctionnels
par Younès El Amrani sous la direction de François Le Berre - Orléans
Informatique
Soutenue en 1996
La généricité et les grammaires attribuées
par Carole Le Bellec sous la direction de François Le Berre - Orléans
Informatique
Soutenue en 1993
