Ivan Rapaport

Un aperçu des graphes étiquetés et de leurs propriétés de vérification.

Méthodes pour la certification locale des graphes d'intersection géométrique en utilisant des certificats compacts.

Explorer des méthodes pour vérifier les propriétés des graphes via le calcul distribué.