Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / François Le Berre

François Le Berre

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Directed Thesis:

Logiques temporelles pour la vérification : expressivité, complexité, algorithmes
Conception des circuits programmables par la réécriture conditionnelle et étude des aspects vectoriels des fonctions booléennes
Un modèle de coût symbolique pour les programmes parallèles asynchrones à dépendances structurées
Génération automatique d'interfaces pour langages fonctionnels
La généricité et les grammaires attribuées