Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Michaël Périn
Michaël Périn
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Directed Thesis:
Nouvelle algorithmique pour le calcul polyédral via programmation linéaire paramétrique
Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle
Automatisation de la certification formelle de systèmes critiques par instrumentation d'interpréteurs abstraits
Lien entre modèles symboliques et computationnels pour les protocoles cryptographiques utilisant des hachages