Knowledge Tree

researcher / Denis Lugiez

Denis Lugiez

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Régularité et contraintes de descendance : équations algébriques.

Edition collaborative des documents semi-structurés

Vérification de protocoles cryptographiques en présence de théories équationnelles

Méthodes d'ordre partiel pour la vérification de systèmes concurrents et temps réel

Trust : un système de vérification automatique de protocoles cryptographiques

Méthodes de schématisation pour la démonstration automatique

Décision des problèmes de compléments associatifs-commutatifs

Outils pour la preuve