Formalization of Shannon's Theorems. - Reynald Affeldt; Manabu Hagiwara; Jonas Sénizergues (J. Autom. Reason., 2014)

Self-stabilization and Byzantine Tolerance for Maximal Independent Set. - Johanne Cohen; Laurence Pilard; Jonas Sénizergues (SSS, 2021)

Making Self-Stabilizing any Locally Greedy Problem. - Johanne Cohen; Laurence Pilard; Mikaël Rabie; Jonas Sénizergues (CoRR, 2022)

Self-stabilization and byzantine tolerance for maximal independt setb ELF-STABILIZATION. - Johanne Cohen; Laurence Pilard; François Pirot; Jonas Sénizergues (CoRR, 2022)

Ensembles indépendants et au-delà, à travers le prisme des systèmes distribués et des graphes colorés. (Independent sets and beyond, through the prism of distributed systems and colored graphs). - Jonas Sénizergues (2022)

Making Self-Stabilizing Algorithms for Any Locally Greedy Problem. - Johanne Cohen; Laurence Pilard; Mikaël Rabie; Jonas Sénizergues (SAND, 2023)

A unified convention for achievement positional games. - Florian Galliot; Jonas Sénizergues (CoRR, 2025)

Maker-Maker games of rank 4 are PSPACE-complete. - Florian Galliot; Jonas Sénizergues (CoRR, 2025)